# HOMEWORK No.

Course : Artificial Intelligence Code : CSE402

D.o.A : D.o.S :
Part-A
Q1. Generate an example that shows how inheritable knowledge works.

Q2. Write an algorithm to generate property inheritance, also draw specified examples

Q3. Consider the following sentences:

• John likes all kind of food.

• Apples are food .
• Chicken is food.
• Anything anyone eats and it’s killed by food.
• Bill eats peanuts and is still alive.
• Sue eats everything bill eats.

(a) Translate these sentences into formulas in predicate logic

(b) Prove that John likes peanuts using backward chaining.
(c) Convert the formulas of part a into clause form.
(d) Prove that John likes peanuts using resolution.
(e) Use resolution to answer the question, “what food does Su eat?”

Part-B

Q.4 Assume following facts:

• Steve only likes easy course.
• Science courses are hard.
• All the courses in basket weaving department are easy.
• BK301 is basket weaving course.
Use resolution to answer the question ,”What course would Steve like?”

Q 5 What problem would be encountered in attempting to represent the

following statements in predicate logic? It should be possible to deduce the final
statement from the others:
• John only likes to see French movies.
• It’s safe to assume a movie is American unless explicitly told otherwise.
• The playhouse rarely shows foreign films.
• People do not do things that will cause them to be in situation that they
do not like.
• John does not go to playhouse very often.
Q 6 Compare forward and backward reasoning with examples..