Assigned: November 11, 2008
Due: November 18, 2008
(a) Use forward chaining to prove Criminal(SuperProgrammer). If several rules apply, use the one with the smallest number.
(b) Use backward chaining to determine that SuperProgrammer is a criminal. If several rules apply, again use the one with the smallest number.
Grading Criteria: For both parts, you can either use a proof tree, or can show the chaining process step by step, using the numbering of the sentences to identify how you are using the rules and facts in the KB (a good model is on page 281 in the text). For either presentation method, you will need to indicate the unifications.
Consider the following story: "Anyone passing his history exams and winning the lottery is happy. But anyone who studies or is lucky can pass all his exams. John did not study but he is lucky. Anyone who is lucky wins the lottery. There exists a person who is wealthy."
(a) Represent the story using FOL. To start you off, use the following predicates:
For example, "John did not study but he is lucky" would be represented as ~study(john) AND lucky(john)
(b) Put the resulting FOL sentences into Conjunctive Normal Form.
(c) Using proof by refutation and resolution as the single inference rule, prove that "John is happy"
Grading Criteria: For part (c), you can either use a graph or show the resolution process step by step. Again, show your unifications. Even if parts (a) and (b) are wrong, you can get credit, if we think you did the correct resolution.