Abstract
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 language | English (US) |
|---|---|
| Title of host publication | Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) |
| Editors | P. Brusilovsky, A. Corbett, F. Rosis |
| Pages | 373-377 |
| Number of pages | 5 |
| Volume | 2702 |
| State | Published - 2003 |
| Externally published | Yes |
| Event | 9th International Conference, UM 2003 - Johnstown, PA, United States Duration: Jun 22 2003 → Jun 26 2003 |
Other
| Other | 9th International Conference, UM 2003 |
|---|---|
| Country/Territory | United States |
| City | Johnstown, PA |
| Period | 6/22/03 → 6/26/03 |
ASJC Scopus subject areas
- Hardware and Architecture