Paper Info
Title
Advanced Geometry Tutor: An intelligent tutor that teaches proof-writing with construction
Abstract
Two problem solving strategies, forward chaining and backward chaining, were compared to see how they affect students' learning of geometry theorem proving with construction. In order to determine which strategy accelerates learning the most, an intelligent tutoring system, the Advanced Geometry Tutor, was developed that can teach either strategy while controlling all other instructional variable. 52 students were randomly assigned to one of the two strategies. Although computational modeling suggests an advantage for backwards chaining, especially on construction problems, the result shows that (1) the students who learned forward chaining showed better performance on proof-writing, especially on the proofs with construction, than those who learned backward chaining, (2) both forward and backward chaining conditions wrote wrong proofs equally frequently, and (3) the major reason for the difficulty in applying backward chaining appears to lie in the assertion of premises as unjustified propositions (i.e., subgoaling).
Year
Venue
Keywords
2005
AIED
advanced geometry tutor,construction problem,computational modeling,geometry theorem,backwards chaining,major reason,intelligent tutoring system,instructional variable,better performance,chaining condition,theorem proving,computer model
Field
DocType
Volume
Forward chaining,TUTOR,Chaining,Intelligent tutoring system,Computer science,Assertion,Mathematical proof,Backward chaining,Inference engine,Artificial intelligence,Machine learning
Conference
125
ISSN
ISBN
Citations 
0922-6389
1-58603-530-4
17
PageRank 
References 
Authors
1.00
3
2
Name
Order
Citations
PageRank
Noboru Matsuda120023.45
Kurt VanLehn22352417.44