|
The Department of Computer Science & Engineering
|
|
STUART C. SHAPIRO: CSE
663
|
 |
Homework 1
Maximum Points: 40
Assigned: August 30, 2007
Due: September 20, 2007
Before this homework is due, submit a file containing your axioms and examples suitable for loading and running, by executing the Unix command
submit_cse663 hw1.snepslog
Make sure the file begins with comments (lines beginning with
";;;") identifying it and you.
Then, hand in a hard-copy of your paper 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, Basic Inclusion Theory for Class (BIT + CL), presented in the paper,
Maureen Donnelly, Thomas Bittner, and Cornelius Rosse, A formal theory for spatial representation and reasoning in biomedical ontologies, Artificial Intelligence in Medicine 36, 1 (January 2006), 1-27
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:
Axioms of BIT + CL 0 ≤ x ≤ 10 Examples showing the axioms working 0 ≤ w ≤ x Syntax and semantics of all atomic symbols 0 ≤ s ≤ x Quality of paper 0 ≤ p ≤ 10 Total 0 ≤ x+w+s+p ≤ 40