The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge

MSc Thesis #9647

Title:A Wave Rule Tutor
Date: 1996
Abstract:In the field of automated theorem proving, rippling is a heuristic used in finding inductive proofs. It features the use of annotated rewrite rules called wave-rules. As part of the Automated Reasoning module, students are expected to understand and derive samples of wave-rules. Many students find this a challenging task. In this thesis we trace the development of a tutor to assist students learning about wave-rules and rippling. In the opening chapters the relevant concepts are presented and the problem is examined from the student's point of view. Based on the outcome of this analysis a design is proposed which is then implemented and tested on potential users. The results of testing are discussed. Finally, the project as a whole is assessed and directions for future development are sketched.

[Search These Pages] [DAI Home Page] [Comment]