Diagrammatic Reasoning for Geometry ITS to Teach Auxiliary Line Construction Problems

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1452)


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.


Problem Solver Semantic Network Tutoring System Problem Figure Cognitive Science Society 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    J. R. Anderson, C. F. Boyle, and G. Yost. The geometry tutor. In Proceedings of the 9th IJCAI, pages 1–7, 1985. 244, 244Google Scholar
  2. 2.
    L. M. Baker and K. Dunbar. Constraints on the experimental design process in real-world science. In Proc. of Cognitive Science Society, pages 154–159. Lawrence Erlbaum Associates, 1996. 246Google Scholar
  3. 3.
    P. Bernat and J. Morinet-Lambert. A new way for visual reasoning in geometry education. In Proc. of ITS96, pages 448–456. Springer Verlag, 1996. Lecture Notes in Computer Science No.1086. 244Google Scholar
  4. 4.
    C. Desmoulins. On relationship between semantics and explanation in an ITS for teaching geometry. In Proc. of Artificial Intelligence in Education, pages 129–136, 1993. 244Google Scholar
  5. 5.
    H. Gelernter. Realization of a geometry-theorem proving machine. In E. A. Feigenbaum and J. Feldman, editors, Computers and Thought, pages 134–152. McGraw-Hill Book Company, 1963. 244, 249Google Scholar
  6. 6.
    J. G. Greeno. A Study of Problem Solving, volume 1 of R. Glaser (Ed.), Advances in Instructional Psychology. Erlbaum, Hillsdale, N.J, 1978. 247Google Scholar
  7. 7.
    J. G. Greeno and M. E. Magone. Theory of constructions and set in problem solving. Memory & Cognition, 7(6):445–461, 1979. 244Google Scholar
  8. 8.
    K. R. Koedinger. Emergent properties and structural constraints: Advantages of diagrammatic representations for reasoning. In Working Notes of AAAI Stanford Spring Symposium on Diagrammatic Reasoning, pages 151–156, 1992. 244Google Scholar
  9. 9.
    K. R. Koedinger and J. R. Anderson. Abstract planning and perceptual chunks: Elements of experties in geometry. Cognitive Science, 14:511–550, 1990. 244, 246CrossRefGoogle Scholar
  10. 10.
    K. R. Koedinger and J. R. Anderson. Reifying implicit planning in geometry: Guidelines for model-based intelligent tutoring system design. In S. Lajoie and S. Derry, editors, Computers as Cognitive Tools. Erlbaum, 1993. 244Google Scholar
  11. 11.
    A. W. Kushniruk, V. L. Patel, and D. M. Fleiszer. Complex dicision making in providing surgical intensive care. In Proc. of Cognitive Science Society, pages 287–292. Lawrence Erlbaum Associates, 1995. 246Google Scholar
  12. 12.
    J. H. Larkin and H. A. Simon. Why a diagram is (sometimes) worth ten thousand words. Cognitive Science, 11:65–99, 1987. 244CrossRefGoogle Scholar
  13. 13.
    T. McDougal and K. Hammond. A recognition model of geometry theorem-proving. In Proc. of Cognitive Science Society, pages 106–111. Lawrence Erlbaum Associates, 1992. 244Google Scholar
  14. 14.
    N. H. Narayanan and B. Chandrasekaran. Reasoning visually about spatial interactions. In Proc. of IJCAI, pages 360–365, 1991. 244Google Scholar
  15. 15.
    A. J. Nevins. Plane geometry theorem proving using forward chaining. Artificial Intelligence, 6:1–23, 1975. 244, 246zbMATHCrossRefMathSciNetGoogle Scholar
  16. 16.
    M. Suwa and H. Motoda. Acquisition of associative knowledge by the frustration-based learning method in an auxiliary-line problem. Knowledge Aquisition, 1:113–137, 1989. 244CrossRefGoogle Scholar
  17. 17.
    University Joseph Fourier of Grenoble and the CNRS. CABRI Geometry. 244, 244
  18. 18.
    R. Wong. Construction heuristics for geometry and a vector algebra representation of geometry. Technical report, Project MAC, MIT, 1972. 244Google Scholar
  19. 19.
    J. Zhang. The nature of external representation in problem solving. Cognitive Science, 21(2):179–217, 1996. 244CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  1. 1.Graduate School of Information SystemsUniversity of Electro-CommunicationsJapan

Personalised recommendations