1. Homework #3-1: predicate logic (20%)
What is wrong with the following argument ?
Men are widely distributed over the earth.
Socrates is a man.
Therefore, Socrates is widely distributed over the earth.
How should the facts represented by these sentences be represented in logic so that this problem does not arise ?
DCP1172, Ch.8,9

2. Homework #3-2: Predicate logic (40%)
Consider the following sentences:
John likes all kinds of food.
Apples are food.
Chicken is food.
Anything anyone eats and isn’t killed by is food.
Bill eats peanuts and is still alive.
Sue eats everything Bill eats.
Translate these sentences into formulas in predicate logic. (5%)
Prove that John likes peanuts using backward chaining. (15%)
Convert the formula of part a into clause form. (5%)
Prove that John likes peanuts using resolution. (15%)
DCP1172, Ch.8,9

3. Homework # 3-3 (40%) - Logic and Prolog programming
Consider the following knowledge base:
 x  y cat(x) ^ fish(y)  LikesToEat(x,y)
 x calico(x)  cat (x)
 x tuna(x)  fish(x)
tuna(Charlie)
tuna(Herb)
calico(Puss)
Convert these WFF’s into Horn clauses.
Convert the Horn clauses into a PROLOG program
Write a PROLOG query corresponding to the question, “What does Puss like to eat? “ and show how it could be answered by your program.
Write another PROLOG program that corresponds to the same set of WFF’s but with a different answer to the same query.
DCP1172, Ch.8,9