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.
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
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
Your project must be submitted using the departmental dropbox by
1700 (5pm) on May 4.
Additional submission details may be provided.