Results 1 -
3 of
3
An Intelligent Tutoring System for Induction Proofs
"... interfaces. We will specify and implement abstract interfaces for the student model, the dialogue history and the problem state. 4 Diagnosis and Therapy. We will view the diagnosis task as a plan recognition problem. We will explore the possibilities (i) of using proof plans and Oyster/Clam's proof ..."
Abstract
- Add to MetaCart
interfaces. We will specify and implement abstract interfaces for the student model, the dialogue history and the problem state. 4 Diagnosis and Therapy. We will view the diagnosis task as a plan recognition problem. We will explore the possibilities (i) of using proof plans and Oyster/Clam's proof planning facility to support the diagnosis and therapy task; (ii) of adapting a probabilistic plan recognition approach using Bayes's belief networks. This is the approach taken in Andes, a physics tutoring system [GCV98] with similar domain properties. Since specifying and implementing the diagnosis and therapy module of Intuition will be a significant project in itself, we will recruit a PhD student who will concentrate his research efforts solely on these components: 4.1 Knowledge acquisition (6pm), literature survey (3pm), and summarisation of intermediate results (1pm). 4.2 Diagnosis module (9pm), and summarisation of intermediate results (1pm). 4.3 Therapy module (9pm), and summar...
Proof Systems -- A Vade-mecum
- ESSLLI2000, BIRMINGHAM
, 2000
"... This package contains the following items: A brief overview of the course. A package of slides and notes for the course. A set of practice exercises for the course material. Solutions to selected exercises. A short bibliography. ..."
Abstract
- Add to MetaCart
This package contains the following items: A brief overview of the course. A package of slides and notes for the course. A set of practice exercises for the course material. Solutions to selected exercises. A short bibliography.

