|
|
Overview:
The aim of this project is to build an intelligent tutoring system
(Advanced Geometry Tutor: AGT) for use in advanced
geometry classes. In particular, AGT tutors geometry theorem
proving with construction, which is one of the most challenging and
creative parts of geometry. Building such an ITS requires
an automated geometry theorem prover that can do auxiliary line construction.
We have build following systems to achieve the goal of the project:
GRAMY: An
automated Euclidian geometry theorem prover
that can find proofs with construction
GRAMY-GUI:
A graphical user interface to reify a search
strategy (i.e., to make it visible and manipulable)
Advanced Geometry Tutor: An intelligent tutoring system for
geometry theorem proving with construction
People:
-
Kurt VanLehn, University of
Pittsburgh, Computer Science Professor, Principal Investigator
-
Noboru Matsuda, University of
Pittsburgh, PhD candidate in Intelligent Systems Program
Publications:
|
Journal papers: |
Noboru Matsuda and Kurt VanLehn. (2004).
GRAMY: A geometry theorem prover
capable of construction. Journal of Automated Reasoning, 32(1), 3-33.
|
|
Peer reviewed conference papers: |
Matsuda, N., & VanLehn, K. (2005, to appear).
Advanced Geometry
Tutor: An intelligent tutor that teaches proof-writing with construction. In
Proceedings of The 12th International Conference on Artificial Intelligence in
Education. (acceptance rate: 0.31)Noboru Matsuda and Kurt VanLehn. (2003). Modeling Hinting
Strategies for Geometry Theorem Proving. In Proc. of the 9th
International Conference on User Modeling, Pittsburgh, PA., pp.373-377.
Noboru Matsuda and Kurt VanLehn. (2000). A Reification
of a Strategy for Geometry Theorem Proving. poster
presented at ITS2000, Montreal.
|
|
Ph.D Dissertation |
Noboru Matsuda. (2004)
The Impact
of Different Proof Strategies On Learning Geometry Theorem Proving,
Unpublished Ph.D dissertation, University of Pittsburgh, Pittsburgh, PA.
|
Related publications: (not CIRCLE products)
Download
Advanced Geometry Tutor is available for an academic use
only. Please contact
Noboru for details.
Sponsors:
This project is affiliated with CIRCLE:
an NSF center for the study of tutoring.
The National Science Foundation through a grant to the Center
for Interdisciplinary Research on Constructive Learning Environments (CIRCLE)
at the University of Pittsburgh and Carnegie Mellon University.
For questions
regarding this project, contact Noboru Matsuda (mazda[at]cs.cmu.edu) |
