FINAL EXAM INFORMATION

1. The final exam will be on: Friday, May 2, 3:30-6:30 p.m., in NSC 222

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:
     • SNePS
     • propositional logic
     • FOL
     • 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)
   • frames
   • description logics
   • default reasoning

5. Course Summary