PROGRAMMING PROJECT #1

The SNePS Knowledge Representation and Reasoning System

1. Read the material in "Essential SNePS Readings". (I think you will find Rapaport & Shapiro 1987 (reading #1) and Shapiro & Rapaport 1995 (reading #5) to be the most useful.)

2. Print out the "SNePS: An Interactive Approach" tutorial:
   [.ps version]
   [.pdf version]

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

   Note: The correct current instructions on how to run SNePS may be found on the webpage "Running SNePS 2.6 on UB Computer Science and Engineering Computers".

4. 
   IF you have not done this tutorial before,
      THEN do Section 8: Programming Project #1
      ELSE IF you have not done Section 9: Programming Project #2
                     THEN do that instead
      ELSE create an interesting "Programming Project 10" and do it!

5. Your project report should consist of:

   (a) A brief description of SNePS (suitable for a section of the Brachman & Levesque text), including some or all of your tutorial exercises, as appropriate, accompanied by drawings (you can do these by hand) of any SNePS networks you discuss.

   (b) An annotated demo of your Tutorial Project. 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).

You can format lengthy tutorial exercises or your Tutorial Project with mpage or mpage -2 and then pipe the result to lpr to print them, or save the mpage output to a file with a .ps extension.