Artificial Intelligence Assignement-2 Date given : 25.09.

2012

Last date for submission: 28.9.2012(Friday) Represent these axioms in predicate calculus; skolemize as necessary and convert each formula to clause form. Prove the unsatisfiability of the set of clauses by resolution.

Q1. Consider the following axioms: 1. 2. 3. 4. 5. 6. 7. Q2. Consider the following axioms: 1. 2. 3. 4. 5. 6. Every child loves anyone who gives the child any present. Every child will be given some present by Santa if Santa can travel on Christmas eve. It is foggy on Christmas eve. Anytime it is foggy, anyone can travel if he has some source of light. Any reindeer with a red nose is a source of light. (Conclusion) If Santa has some reindeer with a red nose, then every child loves Santa. Every child loves Santa. Everyone who loves Santa loves any reindeer. Rudolph is a reindeer, and Rudolph has a red nose. Anything which has a red nose is weird or is a clown. No reindeer is a clown. Scrooge does not love anything which is weird. (Conclusion) Scrooge is not a child.

Q3. Consider the following axioms: 1. 2. 3. 4. 5. Anything that is played by any student is tennis, soccer, or chess. Anything that is chess is not vigorous. Anyone who is healthy plays something that is vigorous. Anyone who plays any chess does not play any soccer. (Conclusion) If every student is healthy, then every student who plays any chess plays some tennis.

Q4. Consider the problem: 1. Anyone passing his history exams and winning the lottery is happy. 2. But anyone who studies or is lucky can pass all his exams. 3. John did not study but John is lucky. 4. Anyone who is lucky wins the lottery. 5. Is John happy?

Q5. Consider the set of axioms: A1: Everyone who loves all animals is loved by someone. A2: Anyone who kills an animal is loved by no one. A3: Jack loves all animals. A4: Either Jack or Curiosity kills the cat Tina. A5: Cats are animals. Prove: B: Curiosity kills the cat Tina Q6. Translate the following English sentences in to First order definite clauses 1. 2. 3. 4. 5. 6. 7. Every gardener likes the sun You can fool some people all of the time All purple mushrooms are poisonous Clinton is not tall. Every farmer who owns a donkey buys hay There are exactly two purple mushrooms The law says that it is a crime for an American to sell weapons to hostile nations. The country Nono, an enemy of America, has some missiles, and all of its missiles were sold it to by Colonel West.who is an American.

Q7. Unify the following azioms, if there exists: 1. Unify(knows(john,x),knows(John,Jane) 2. Unify(knows(john,x),knows(y,bill) 3. Unify(knows(john,x),knows(y,Mother(y)) 4. Unify(knows(john,x),knows(x,elizabeth) *********