PROGRAMMING PROJECT 2

The SNePS Knowledge Representation and Reasoning System

1. Go to the "SNePS: An Interactive Approach" tutorial on the Web.

2. Do Sections 1-7 of the tutorial (Section 1 is instructions on running SNePS). Save all your interactions in one or more files. (Note: Answers to exercises are in Section 10.)

3. Do Section 8: Programming Project #1 (unless you have already done it, in which case do Section 9: Programming Project #2 (unless you have already done that one, too, in which case, please see me)).

4. Please hand in an annotated demo of Section 8 (or 9). The annotations need to be detailed and extensive; they need to explain why you have chosen the particular representations that you use, and what these representations mean (i.e., you must supply the syntax and semantics of your representations).

• On Unix, you can format lengthy tutorial exercises or Section 8 (or 9) with "fold | mpage" or "fold | mpage -2" and then pipe the result to "lpr" to print them, or save the "mpage" output to a file with a ".ps" extension.