CMSC 471
Artificial Intelligence -- Fall 2010
HOMEWORK FOUR
out 10/19/10, due 11/2/10
I. Logical Agents (25 points)
Russell & Norvig Exercise 7.2.Note:
All references are to the 3rd edition of the textbook.
II. First-Order Logic (25 points)
Russell & Norvig Exercise 8.23.
III. Inference in First-Order Logic (25 points each)
Russell & Norvig Exercise 9.9.
Russell & Norvig Exercise 9.20.