CS-14 Intelligent Systems Dec-2004
Q.3(a) Consider the following net :
where S is the starting” state and G is the goal state Make the net indicating depth first search and breadth first search. Mark the path followed in reaching the goal state in both cases.
(b) Given the following information in a database :
Al : if x is on top o| y, y supports x.
A2 : if x is above y and they are touching each other, x is on top of y.
A3 : A cup is touching a book.
A4 : A cup is above a book.
(i) Translate statements Al to A4 into clausal form.
(ii) Show that predicate supports (book, cup) is true using a resolution
© Illustrate through an example, the resolvant of two clauses. State the resolution principle.
