Don't forget to include your statement of sources!
Russell & Norvig Exercise 7.1. Note: Use the description of the Wumpus world from the book (not the online variations that we saw in class).
(a) Russell & Norvig Exercise 7.5. (15 pts)
(b) Russell & Norvig Exercise 7.11 (a). (10 pts)
(c) Russell & Norvig Exercise 8.6 (a,b,c,i,j). (15 pts)
(d) Russell & Norvig Exercise 8.16. (15 pts)
(a) (8 points) Represent the following knowledge base in first-order logic. Use the predicates
(b) (8 points) Convert the KB to conjunctive normal form.
(c) (2 points) We wish to prove that
study(Aidan) -> pass(Aidan, 471-exam)
Express the negation of this goal in conjunctive normal form.
(d) (12 points) Add the negated goal to the KB, and use resolution refutation
to prove that it is true. You may show your proof as a series of sentences
to be added to the KB or as a proof tree. In either case, you must
clearly show which sentences are resolved to produce each new sentence, and
what the unifier is for each resolution step.