CSE 4/563 HOMEWORKS

1. Homework #1: SNePS (announced in lecture, Jan. 31)

2. Homework #2: SNePS II (posted to the newsgroup, Feb. 3)

3. Homework #3: Propositional Logic (announced in lecture, Feb. 14)
   • Answers

4. Homework #4: Propositional Logic II (announced in lecture, Feb. 19)
   • Answers
   • Proof of the unicorn arguments

5. Homework #5: FOL Representation (announced in lecture, Mar. 17; clarified on Mar. 18: see newsgroup)

6. Homework #6: Clause Form (PDF file)
   • announced in lecture, Mar. 24
   • updated, Mar. 25 (see newsgroup)

7. Homework #7: FOL Reasoning (PDF file)
   • announced in lecture, Apr. 7

8. Homework #8: FOL vs. Mental Models
   • announced in lecture, Apr. 14

9. Homework #9: Frames
   • announced in lecture, Apr. 21
   • Answers