PART - A (5 Marks) No. Marks: Ii) in Part C - Answer 3a or 3b and 4a or 4b
PART - A (5 Marks) No. Marks: Ii) in Part C - Answer 3a or 3b and 4a or 4b
2b Analyze Universal Instantiation from first order logic to show "No humans 5,
can fly. John Doe is human. Therefore John Doe can not fly." CO2-
PO2
2c Apply circuit (state) based approach to represent 5,
CO1-
(i). Alive(t) iff there was no scream(t) and it was alive(t-1) PO1
Now it I concerned with the contents of [1,3], [2,2], and [3,1]. Each of these can
contain a pit, and at most one can contain a Wumpus. Design the set of possible
worlds. Mark the worlds in which the KB is true and those in which each of the
following sentences is true:
α2 = “There is no pit in [2,2].”
α3 = “There is a Wumpus in [1,3].”
Hence show that KB |= α2 and KB |= α3.
OR
3b If the unicorn is mythical, then it is immortal, but if it is not mythical, then it is a 10,
mortal mammal. If the unicorn is either immortal or a mammal, then it is horned. CO3-
The unicorn is magical if it is horned. PO3
4a According to some political pundits, a person who is radical (R) is electable (E) if 10,
CO3-
he/she is conservative (C), but otherwise is not electable.
PO3
a. Which of the following are correct representations of this assertion?
(i) (R ∧ E) C
(ii) R ⇒ (E C)
(iii) R ⇒ ((C ⇒ E) ∨¬E)
b. Which of the sentences in (a) can be expressed in Horn form and design the
same?
OR
4b Design the logical representations for the following sentences, suitable for use 10,
with Generalized Modus Ponens: CO3-
(i) Horses, cows, and pigs are mammals. PO3
(ii) An offspring of a horse is a horse.
(iii)Bluebeard is a horse.
(iv)Bluebeard is Charlie’s parent.
(v)Offspring and parent are inverse relations.