Final Exam Information

1. The final exam will be on: Thursday, May 5, 11:45 a.m.-2:45 p.m., in Knox 4

2. General information:
   • The exam will be like the midterm: short-answer questions similar to those on the HWs.

   • If your grade on the final > your grade on the midterm exam, then it will replace your midterm exam grade.

   • One good way to study, besides reviewing your notes, is to review the HWs.

   • Also see my "How to Study" guide for general info on how to study for exams and how to manage your time.

3. It will cover:
   • representation in:
     • propositional logic
     • FOL
     • SNePS
     • clause form for propositional logic and FOL

   • reasoning in:
     • propositional logic
       • truth tables
       • natural deduction
       • resolution & refutation

     • FOL
       • resolution & refutation
       • unification

4. It will not cover:
   • reasoning in SNePS
   • semantics for FOL (satisfaction, interpretation)
   • belief revision

5. Course Summary