UNIVERSITY AT BUFFALO - STATE UNIVERSITY OF NEW YORK
The Department of Computer Science & Engineering

STUART C. SHAPIRO: CSE 663

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

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

Points:

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