Description

1. (20 pts) For each pair of atomic sentences, give the most general unifier if it exists:

(a) P(A, B, C), P(x, y, z).
(b) Q(y, G(B, A), D), Q(G(x, x), y, D).
(c) R(x,z,A) , R(A,z,y)
(d) Older(Father(y), John), Older(Father(x), x). (e) Knows(y,y), Knows(Father(x),x).

2. (80 pts) Consider the following sentences:

• John likes all kinds of food.
• Apples are food.
• Chicken is food.
• Anything someone eats and isn’t killed by is food.
• If you are killed by something, you are not alive. • Bill eats peanuts and is still alive. *
• Sue eats everything Bill eats.

(a) Translate these sentences into formulas in first-order logic.
(b) Convert the formulas of part (a) into CNF (also called clausal form).
(c) Prove that John likes peanuts using resolution.
(d) Use resolution to answer the question, “What food does Sue eat?”
(e) Use resolution to answer (d) if, instead of the axiom marked with an asterisk above, we had:
• If you don’t eat, you die.
• If you die, you are not alive.
• Bill is alive.