Consider the following sentences: (a) John likes all kinds of food.
(b) Apples are food.
(c) Chicken is food.
(d) Anything anyone eats and isn't killed by is food.
(e) Bill eats peanuts and is still alive.
(f) Sue eats everything Bill eats.
Based on above, do the following:
1. Translate these sentences into formulas in predicate logic.
2. Prove that John likes peanuts using backward chaining
3. Convert the formulas of part 1 into clause form.
4. Prove that John likes peanuts using resolution.
This question has 0 answers so far.
