Artificial Intelligence Assignment No 3

Batch 2009, Section A, B Submission date 9-11-2012

Question 1 Convert following to predicate sentence If the unicorn is mythical, then it is immortal, but if it is not mythical, then it is a mortal mammal. If the unicorn is either immortal or a mammal, then it is horned. The unicorn is magical if it is horned.
b)

a)

Use backward chaining; can you prove that the unicorn is mythical? How about magical? Horned? Question 2
a) Convert following to predicate sentence

Tony, Shi-Kuo and Ellen belong to the Hoofers Club. Every member of the Hoofers Club is either a skier or a mountain climber or both. No mountain climber likes rain, and all skiers like snow. Ellen dislikes whatever Tony likes and likes whatever Tony dislikes. Tony likes rain and snow.
b) Prove via Forward Chaining and unification (where needed) that Ellen is a

Mountain climber but not a skier. More precisely

Question 3 Convert the following in predicate sentence and apply suitable quantifier i. Every Student who takes French class passes it ii. Only one student took Greek in semester 2012 iii. Every person who buys the policy is smart iv. No person buys an expensive policy

Question 4 In following sentences provide unification if exists. If unification doesnt exist then change sentence to complete unification
i.

ii. iii.

Knows(x, Ali) and Knows (Amjad, x) Knows(Ali, x) and knows(y, Mother(y)) Old(Father(y),y) and Old(Father(x),Ali)

Question 5 Prove the following prepositional sentences by inference rules

{C A, A B, B} C

Question 6 Make the Prepositional sentence of "Heads I win, tails you lose," and prove using the resolution method that "I win."

Sir Syed University Of Engineering & Technology Department Of Computer Engineering University Road, Karachi-75300, PAKISTAN