The Department of Computer Science & Engineering
STUART C. SHAPIRO: CSE 663
Maximum Points: 45
Assigned: September 2, 2005
Due: September 23, 2005
Before this homework is due, submit a file containing your solution, suitable for loading and running, by executing the Unix command
Make sure the file is headed with a comment identifying it and you.
Then, hand in a hard-copy of your solution at the beginning of class. The hard-copy must be prepared in LaTeX or other suitable formatting program, and must be formatted for human reading.
For this homework, you are to axiomatize, in SNePSLOG, the theory presented in the paper, Thomas Bittner and Maureen Donnelly, Computational ontologies of parthood, componenthood, and containment, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI-05), 2005, 382 - 387.
For an example of how you should present your work, see Stuart
C. Shapiro, CarPool
World in SNePSLOG, September 1, 2004. For your information, the
LaTeX source of this paper is available at
Sect. 2.1, R-structures 6 Sect. 2.2, Properties listed in Table 2 12 Sect. 2.3, Parthood-containment-component structures 6 Syntax/Semantics of every symbol used 12 Example of parthood 3 Example of componenthood 3 Example of containment 3 Total 45