Modeling hinting strategies for geometry theorem proving

Noboru Matsuda, Kurt VanLehn

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Scopus citations


This study characterizes hinting strategies used by a human tutor to help students learn geometry theorem proving. Current tutoring systems for theorem proving provide hints that encourage (or force) the student to follow a fixed forward and/or backward chaining strategy. In order to find out if human tutors observed a similar constraint, a study was conducted with students proving geometry theorems individually with a human tutor, When working successfully (without hints), students did not consistently follow the forward and/or backward chaining strategy. Moreover, the human tutor hinted steps that were seldom ones that would be picked by such tutoring systems. Lastly, we discovered a simple categorization of hints that covered 97% of the hints given by the human tutor.

Original languageEnglish (US)
Title of host publicationLecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)
EditorsP. Brusilovsky, A. Corbett, F. Rosis
Number of pages5
StatePublished - 2003
Externally publishedYes
Event9th International Conference, UM 2003 - Johnstown, PA, United States
Duration: Jun 22 2003Jun 26 2003


Other9th International Conference, UM 2003
Country/TerritoryUnited States
CityJohnstown, PA

ASJC Scopus subject areas

  • Hardware and Architecture


Dive into the research topics of 'Modeling hinting strategies for geometry theorem proving'. Together they form a unique fingerprint.

Cite this