Computer Science – Artificial Intelligence
Scientific paper
2012-02-22
EPTCS 79, 2012, pp. 1-28
Computer Science
Artificial Intelligence
In Proceedings THedu'11, arXiv:1202.4535
Scientific paper
10.4204/EPTCS.79.1
Computer-supported learning is an increasingly important form of study since it allows for independent learning and individualized instruction. In this paper, we discuss a novel approach to developing an intelligent tutoring system for teaching textbook-style mathematical proofs. We characterize the particularities of the domain and discuss common ITS design models. Our approach is motivated by phenomena found in a corpus of tutorial dialogs that were collected in a Wizard-of-Oz experiment. We show how an intelligent tutor for textbook-style mathematical proofs can be built on top of an adapted assertion-level proof assistant by reusing representations and proof search strategies originally developed for automated and interactive theorem proving. The resulting prototype was successfully evaluated on a corpus of tutorial dialogs and yields good results.
Autexier Serge
Dietrich Dominik
Schiller Marvin
No associations
LandOfFree
Towards an Intelligent Tutor for Mathematical Proofs does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Towards an Intelligent Tutor for Mathematical Proofs, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Towards an Intelligent Tutor for Mathematical Proofs will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-414684