CSE 4/563 PROJECTS

1. Project #1: The SNePS Knowledge Representation and Reasoning System (announced in lecture, Jan. 15)
   • Grading scheme

2. Project #2: Propositional Logic Proof Giver
   • version of Proj. 2 for older browsers
   • announced in lecture, Mar. 7
   • clarified on Mar. 18: see newsgroup;
   • clarified AGAIN on Mar. 24: see newsgroup, or see updated version of the program

3. Optional Project #3: Ontology for a Knowledge Base
   • announced in lecture, Apr. 7
   • See newsgroup for clarification about definition of "sibling"