A real-time coaching environment for triangle congruence proofs

  • Steven H. Greve
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 360)


This paper describes a real-time system that coaches students in developing high school geometry proofs. The program consists of an expert that creates the proof solution and the coach that helps the student develop a proof. The expert is described elsewhere. The tutor consists of three parts: a student model module, the coach, and the interface. The student model keeps track of the student's progress through the geometry concepts and guides the coach if remediation is required. The coach manages the environment by responding to the student's questions and by posing problems and doing example solutions. The interface establishes communication between student and coach through the use of four windows. Two windows are used for text and two for graphics. The interface also handles the graphical dialogue, allowing the student to propose problems for the program to solve. The system is designed and implemented to provide students with a hands-on environment for real-time proof generation.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Anderson, John R., C. Franklin Boyle and Brian Reiser. (1985). Intelligent Tutoring Systems. Science, Vol. 228, pp. 456–462.Google Scholar
  2. Burton, Richard R. and Brown, John Seely. (1982) An Investigation of Computer Coaching for Informal Learning Activities. In D. Sleeman & J.S. Brown (Eds.), Intelligent Tutoring Systems, pp. 79–98. New York: Academic Press.Google Scholar
  3. Carr, Brian and Ira P. Goldstein. (1977) Overlays: A Theory of Modelling for Computer Assisted Instruction. AI Memo No. 406. MIT Artificial Intelligence Lab.Google Scholar
  4. Greve, Steven H. (1988) Performance Considerations in the Design and Implementation of Intelligent Tutoring Systems. Proceedings of the Third International Conference on Symbolic and Logic Computing.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • Steven H. Greve
    • 1
  1. 1.Department of Computer ScienceUniversity of ReginaReginaCanada

Personalised recommendations