This paper presents results on using a theory revision system to automatically debug logic programs. FORTE is a recently developed system for revising function-free Horn-clause theories. Given a theory and a set of training examples, it performs a hill-climbing search in an attempt to minimally modify the theory to correctly classify all of the examples. FORTE makes use of methods from propositional theory revision, Horn-clause induction (FOIL), and inverse resolution. The system has has been successfully used to debug logic programs written by undergraduate students for a programming languages course.

PDF, PS

In Proceedings of the Second International Workshop on Inductive Logic Programming (ILP-92), Tokyo, Japan 1992.

@InProceedings{mooney:ilp92, title={Automated Debugging of Logic Programs via Theory Revision}, author={Raymond J. Mooney and Bradley L. Richards}, booktitle={Proceedings of the Second International Workshop on Inductive Logic Programming (ILP-92)}, address={Tokyo, Japan}, key={FORTE}, url="http://www.cs.utexas.edu/users/ai-lab?mooney:ilp92", year={1992} }