PROGRAMMING PROJECT #4

KNOWLEDGE REPRESENTATION AND REASONING IN SNePS

1. Read the material in "Essential SNePS Readings". (Pay special attention to Rapaport & Shapiro 1987 (reading #1) and Shapiro & Rapaport 1995 (reading #5).)

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). 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.5 on UB Computer Science and Engineering Computers".

4. Do Section 8: Programming Project #1
   
   

5. Your project report should consist of:

   (a) A brief description of SNePS (suitable for a section of the Russell & Norvig 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 Section 8. These 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 Section 8 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.