Skip to main content
SpringerLink
Log in

Diagrammatic Reasoning for Geometry ITS to Teach Auxiliary Line Construction Problems

  • Conference paper
  • First Online:
Intelligent Tutoring Systems (ITS 1998)

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

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J. R. Anderson, C. F. Boyle, and G. Yost. The geometry tutor. In Proceedings of the 9th IJCAI, pages 1–7, 1985. 244, 244

    Google Scholar 

  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. 246

    Google Scholar 

  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. 244

    Google Scholar 

  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. 244

    Google Scholar 

  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, 249

    Google Scholar 

  6. J. G. Greeno. A Study of Problem Solving, volume 1 of R. Glaser (Ed.), Advances in Instructional Psychology. Erlbaum, Hillsdale, N.J, 1978. 247

    Google Scholar 

  7. J. G. Greeno and M. E. Magone. Theory of constructions and set in problem solving. Memory & Cognition, 7(6):445–461, 1979. 244

    Google Scholar 

  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. 244

    Google Scholar 

  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, 246

    Article  Google Scholar 

  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. 244

    Google Scholar 

  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. 246

    Google Scholar 

  12. J. H. Larkin and H. A. Simon. Why a diagram is (sometimes) worth ten thousand words. Cognitive Science, 11:65–99, 1987. 244

    Article  Google Scholar 

  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. 244

    Google Scholar 

  14. N. H. Narayanan and B. Chandrasekaran. Reasoning visually about spatial interactions. In Proc. of IJCAI, pages 360–365, 1991. 244

    Google Scholar 

  15. A. J. Nevins. Plane geometry theorem proving using forward chaining. Artificial Intelligence, 6:1–23, 1975. 244, 246

    Article  MATH  MathSciNet  Google Scholar 

  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. 244

    Article  Google Scholar 

  17. University Joseph Fourier of Grenoble and the CNRS. CABRI Geometry. http://www-cabri.imag.fr/index-e.html. 244, 244

  18. R. Wong. Construction heuristics for geometry and a vector algebra representation of geometry. Technical report, Project MAC, MIT, 1972. 244

    Google Scholar 

  19. J. Zhang. The nature of external representation in problem solving. Cognitive Science, 21(2):179–217, 1996. 244

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Graduate School of Information Systems, University of Electro-Communications, Japan

    Noboru Matsuda & Toshio Okamoto

Authors
  1. Noboru Matsuda
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Toshio Okamoto
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Air Force Research Laboratory, 1880 Carswell Avenue, Lackland, AFB, TX, 78236-5507, USA

    Barry P. Goettl  & Valerie J. Shute  & 

  2. Mei Technology Corporation, 8930 Fourwinds Drive, #450, San Antonio, TX, 78239, USA

    Henry M. Halff

  3. Computer Science Department, St. Mary’s University, 1 Camino Santa Maria, San Antonio, TX, 78228-8524, USA

    Carol L. Redfield

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Matsuda, N., Okamoto, T. (1998). Diagrammatic Reasoning for Geometry ITS to Teach Auxiliary Line Construction Problems. In: Goettl, B.P., Halff, H.M., Redfield, C.L., Shute, V.J. (eds) Intelligent Tutoring Systems. ITS 1998. Lecture Notes in Computer Science, vol 1452. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-68716-5_30

Download citation

  • DOI: https://doi.org/10.1007/3-540-68716-5_30

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-64770-6

  • Online ISBN: 978-3-540-68716-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation