Assignment 4: Knowledge Representation
CSE 415: Introduction to Artificial Intelligence
The University of Washington, Seattle, Autumn 2009
The reading for this assignment is parts of Chapters 4 and 6 of The Elements of Artificial Intelligence Using Python. Chapter 4: pages 97-129. Chapter 6: pages 221-234 and 244-250.
Due Friday, November 6 via Catalyst CollectIt at 11:00 AM.

You should turn in a file in any of the following formats: plain text (.txt), Portable Document Format (.pdf), Microsoft Word (.doc or .docx), or Open Office Text (.odt).
 

  • Ch4 (Knowledge Rep.), p. 154: exercise 3. (ISA hierarchy relations)
  • 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)

    •  
    Updates and Corrections If necessary, updates and corrections will be posted here and mentioned in class or on the mailing list. (Last updated Oct. 25.)