Abductive Theorem Proving for Analyzing Student Explanations to Guide Feedback in Intelligent Tutoring Systems.
Maxim MakatchevPamela W. JordanKurt VanLehnPublished in: J. Autom. Reason. (2004)
Keyphrases
- intelligent tutoring systems
- theorem proving
- proof procedure
- student model
- tutoring system
- web based learning systems
- inference rules
- tutorial dialogue
- first order logic
- theorem prover
- parallel search
- authoring tool
- human tutors
- intelligent tutoring
- intelligent tutors
- proof planning
- constraint based modeling
- consequence finding
- cognitive tutor
- affective states
- abductive reasoning
- logic programming
- cognitive model
- affect recognition
- student knowledge
- predicate calculus
- instructional systems
- geometry theorem proving
- student modeling
- pedagogical agents
- machine learning
- concept maps
- online learning
- knowledge representation