Advanced Geometry Tutor: An intelligent tutor that teaches proof-writing with construction

Noboru Matsuda, Kurt VanLehn

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

24 Scopus citations

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).

Original languageEnglish (US)
Title of host publicationArtificial Intelligence in Education
Subtitle of host publicationSupporting Learning through Intelligent and Socially Informed Technology
EditorsChee-Kit Looi, Gord McCalla, Bert Bredeweg, Joost Breuker
PublisherIOS Press BV
Pages443-450
Number of pages8
ISBN (Electronic)1586035304, 9781586035303
StatePublished - 2005
Externally publishedYes
Event12th International Conference on Artificial Intelligence in Education, AIED 2005 - Amsterdam, Netherlands
Duration: Jul 18 2005Jul 22 2005

Publication series

NameFrontiers in Artificial Intelligence and Applications
Volume125
ISSN (Print)0922-6389

Conference

Conference12th International Conference on Artificial Intelligence in Education, AIED 2005
Country/TerritoryNetherlands
CityAmsterdam
Period7/18/057/22/05

ASJC Scopus subject areas

  • Artificial Intelligence

Fingerprint

Dive into the research topics of 'Advanced Geometry Tutor: An intelligent tutor that teaches proof-writing with construction'. Together they form a unique fingerprint.

Cite this