CS 188, Spring 2005, Introduction to Artificial Intelligence
Assignment 3, due 3/4, total value 5% of grade

Answer the following questions from AIMA (second edition):

• 7.4 (10 pts)
• 7.5 (5 pts)
• 7.8 a, c, e, g (10 pts)
• 7.10 (10 pts)
• 8.1 (15 pts)
• 8.2 (10 pts)
• 8.3 (5 pts)
• 8.4 (5 pts)
• 8.6 (15 pts)
• 8.9 (15 pts) [Hint: Don't write an axiom of the form "If X heard about Y's death then Y cannot hear about X's death!! Obviously this is not something you knew *explicitly* before reading this question; it is something you inferred from general knowledge about time, events, hearing, life, death, etc. WHY do you believe it to be true?]
• Extra credit (10 pts) Produce a formal proof for the consequence in 8.9, given your facts and general axioms; do this either by hand or by using the online code repository.