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.