Diagrammatic Reasoning for Geometry ITS to Teach Auxiliary Line Construction Problems

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.

[1]  H. Gelernter,et al.  Realization of a geometry theorem proving machine , 1995, IFIP Congress.

[2]  John A. Brown,et al.  A Study of Problem Solving , 1962 .

[3]  John R. Anderson,et al.  The Geometry Tutor , 1985, IJCAI.

[4]  J. Greeno,et al.  Theory of constructions and set in problem solving , 1979 .

[5]  R. Glaser.  Advances in Instructional Psychology , 1978 .

[6]  Kenneth R. Koedinger,et al.  Emergent Properties and Structural Constraints: Advantages Diagrammatic Representations for Reasoning and Learning , 1992 .

[7]  Kevin Dunbar,et al.  Constraints on the experimental design process in real-world science , 1996 .

[8]  Jiajie Zhang,et al.  The Nature of External Representations in Problem Solving , 1997, Cogn. Sci..

[9]  T. Mcdougal,et al.  A recognition model of geometry theorem-proving , 1992 .

[10]  John R. Anderson,et al.  Abstract Planning and Perceptual Chunks: Elements of Expertise in Geometry , 1990, Cogn. Sci..

[11]  A. J. Nevins,et al.  Plane Geometry Theorem Proving Using Forward Chaining , 1975, Artif. Intell..

[12]  Josette Morinet-Lambert,et al.  A New Way for Visual Reasoning in Geometry Education , 1996, Intelligent Tutoring Systems.

[13]  Hiroshi Motoda,et al.  Acquisition of associative knowledge by the frustration-based learning method in an auxiliary-line problem , 1989 .

[14]  Herbert A. Simon,et al.  Why a Diagram is (Sometimes) Worth Ten Thousand Words , 1987, Cogn. Sci..

[15]  Richard Wong,et al.  Construction Heuristics for Geometry and a Vector Algebra Representation of Geometry. , 1972 .

[16]  N. Hari Narayanan,et al.  Reasoning Visually about Spatial Interactions , 1991, IJCAI.