You are encouraged to work on this homework assignment in groups
of up to three students. If you work in a group, you only need to turn in one shared
solution. All students in the group will receive the same grade on the
assignment. If you choose to work in a group, you must actually
produce group solutions, not have each member
work independently on one part of the assignment, then submit the
collection of independent solutions. To acknowledge that you have
worked as intended, you must include the
following statement at the top of the submitted assignment:
"We, <students' names>, worked equally as a group
on this assignment, and each of us fully understands and acknowledges
the group solutions that we are submitting. We understand that we will
receive a common grade for this assignment."
Please be sure to include all group members' names on the assignment!
How would your answer change for a Wumpus variant in which the wumpus could move according to fixed rules (i.e., rules that are known to the agent)? How would your answer change for a world in which the wumpus moved using an unknown mechanism?
(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.
(c) (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.