The Department of Computer Science & Engineering

CSE663: Advanced Knowledge Representation
Stuart C. Shapiro
Fall, 2005

Homework 1
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

submit_cse663 hw1.snepslog
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 /projects/shapiro/CSE663/formalize.tex


Sect. 2.1, R-structures6
Sect. 2.2, Properties listed in Table 212
Sect. 2.3, Parthood-containment-component structures 6
Syntax/Semantics of every symbol used12
Example of parthood3
Example of componenthood3
Example of containment3

Last modified: Fri Sep 2 12:59:47 EDT 2005
Stuart C. Shapiro <>