Abductive theorem proving for analyzing student explanations to guide feedback in intelligent tutoring systems

Maxim Makatchev, Pamela W. Jordan, Kurt VanLehn

Research output: Contribution to journalArticle

16 Scopus citations

Abstract

The Why2-Atlas tutoring system presents students with qualitative physics questions and encourages them to explain their answers through natural language. Although there are inexpensive techniques for analyzing explanations, we claim that better understanding is necessary for use within tutoring systems. In this paper we motivate and describe how the system creates and uses a deeper proof-based representation of student essays in order to provide students with substantive feedback on their explanations. We describe in detail the abductive reasoner, Tacitus-lite+, that we use within the tutoring system. We also discuss evaluation results for an early version of the Why2-Atlas system and a subsequent evaluation of the theorem-proving module. We conclude with the discussion of work in progress and additional future work for deriving more benefits from a proof-based approach for tutoring applications.

Original languageEnglish (US)
Pages (from-to)187-226
Number of pages40
JournalJournal of Automated Reasoning
Volume32
Issue number3
DOIs
StatePublished - Nov 5 2004
Externally publishedYes

Keywords

  • Abductive reasoning
  • Intelligent tutoring systems
  • Qualitative physics

ASJC Scopus subject areas

  • Software
  • Computational Theory and Mathematics
  • Artificial Intelligence

Fingerprint Dive into the research topics of 'Abductive theorem proving for analyzing student explanations to guide feedback in intelligent tutoring systems'. Together they form a unique fingerprint.

  • Cite this