CS 472/572, Spring 1997

PROGRAMMING PROJECT #4

KNOWLEDGE REPRESENTATION AND REASONING IN SNePS

1. OPTIONAL: Read the material in ``SNePS READINGS''

2. Print out the ``SNePS: An Interactive Approach'' tutorial.

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.)

4. Either (a) do Section 8: Programming Project #1
   
   or (b) represent, in SNePS, the logic puzzle handed out in lecture, and use SNIP and SNeBR to (try to) solve it (see Martins, Joao, & Shapiro, Stuart C. (1988), ``A Model for Belief Revision'', Artificial Intelligence 35: 25-79. (SEL Per Q335 .A785), Section 6, for one example; another example is the "Jobs Puzzle" demo: to access it, get into SNePS, type "(demo)" at the SNePS prompt, and choose demo #3).

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 (you can use mpage or mpage -2 to print them), accompanied by drawings (you can do these by hand) of any SNePS networks you discuss.

   (b) An annotated demo of either Section 8 or the solution to the puzzle (depending on which you did).