Assignment 3: Propositional and Predicate Logic

CSE 415: Introduction to Artificial Intelligence The University of Washington, Seattle, Winter 2009

This assignment does not involve programming. Please turn in this assignment as hardcopy on paper. It is due at the beginning of class on Monday, February 9. Write legibly with pen or pencil, or type up your solutions on the computer and turn in a printout. If you are unable to attend class that day, say due to an illness, then email an electronic version of your paper (either a text file, Word document, PDF, or scan in PDF or .PNG format) to either the instructor or teaching assistant by 12:30 on February 9. Special note: No credit will be awarded for late turn-in of this assignment, because we plan to post solutions shortly after the deadline, to help students prepare for the midterm exam. Ch4 (Knowledge Rep.), p. 158: exercise 14. (Encode facts in prop. calc.) Ch4 (Knowledge Rep.), p.158: exercise 15a. (encoding numeric quantification in pred. calc.) Ch4 (Knowledge Rep.), p.159: ex. 17. (Pred. calc. encoding) Ch4 (Knowledge Rep.), p.159: ex. 19. (Interpretations and models in logic) Ch6 (Logical Reasoning), p. 255: ex. 1. (satisfiability) Ch6 (Logical Reasoning), p. 255: ex. 4. (Perfect induction) Ch6 (Logical Reasoning), p. 255: ex. 5. (Prop. Calc. resolution) Ch6 (Logical Reasoning), p. 255: ex. 8. (unifiers)