CSCE 781 Spring 2011: Final Project
This project is in place of the final exam.
It is a team project. Each team is the same as for the paper presentation.
Implement the
Theorist system
in
SWI Prolog.
The code (or at least most of it is on p.350 of
D. Poole, R. Goebel and R. Aleliunas,
``Theorist: a logical reasoning system for defaults and diagnosis'',
in N. Cercone and G. McCalla (Eds.)
The Knowledge Frontier: Essays in
the Representation of Knowledge,
Springer Varlag, New York, 1987, pp. 331-352.
Also Research Report CS-86-06, Department of Computer Science,
University of Waterloo, February 1986
(local copy).
Turn a zip file with your code and one or more scripts showing that it
works correctly on the examples of Figures 13-2 and 13-3 of the above
reference.
Your project must be submitted using the departmental dropbox by
1700 (5pm) on May 4.
Additional submission details may be provided.