• Explain about Knowledge based agents with an example of Wumpus

World.

• A) Describe syntax, semantics First Order Logic and its use. B)

Explain the conversion from FOL to CNF with at 3 examples.
• A) Explain Proof by Resolution method for propositional logic.
B) Differentiate between Universal and Existential Quantifier with 2
examples.
• Explain Unification and forward chaining in FOL.

• A) Explain Bayes’ Theorem and Its use..

B) Three identical boxes contain red and white balls. The first box
contains 3 red and 2 white balls, the second box has 4 red and 5 white
balls, and the third box has 2 red and 4 white balls. A box is chosen
very randomly and a ball is drawn from it. If the ball that is drawn
out is red, what will be the probability that the second box is chosen?

• Describe how to make reasoning with default information.

• What are the steps associated with the knowledge Engineering

process with suitable example?

• A)Explain the process of converting logic sentence into CNF.

B) Convert the following logic sentence into CNF B1,1(P1,2 V P2,1)

• Explain Resolution process in First Order Logic with Example.

• Explain the concept of Conditional Probability.

b) You toss a fair coin three times:
 i) What is the probability of three heads, HHH?

ii) What is the probability of having at least 2 Heads given that you
observe at least one heads?

• Describe the reasoning systems for categories with the proper

example.
• Describe propositional Logic along with syntax, semantics and
inference Procedure.