Paper Info
Title
Diagrammatic Reasoning for Geometry ITS to Teach Auxiliary Line Construction Problems
Abstract
A new model of problem solver for geometric theorems with construction of auxiliary lines is discussed. The problem solver infers based on schematic knowledge with diagrammatic information (diagrammatic schema, DS for short). The inference algorithm invokes forward and backward chaining. The diagrammatic schema as well as the inference algorithm was designed through a series of observations of human problem solving. This paper also describes that DS is beneficial for instructions, especially for teaching students how to draw auxiliary lines.
Year
Venue
Keywords
1998
Lecture Notes in Computer Science
teaching student,human problem,diagrammatic information,teach auxiliary line construction,inference algorithm,problem solver,diagrammatic reasoning,schematic knowledge,diagrammatic schema,new model,auxiliary line,geometric theorem,geometry,adaptive system
Field
DocType
Volume
Auxiliary line,Diagrammatic reasoning,Computer science,Inference,Schematic,Theoretical computer science,Semantic network,Backward chaining,Artificial intelligence,Solver,Machine learning,Knowledge acquisition
Conference
1452
ISSN
ISBN
Citations 
0302-9743
3-540-64770-8
3
PageRank 
References 
Authors
0.66
8
2
Name
Order
Citations
PageRank
Noboru Matsuda120023.45
toshio okamoto247697.94