CS-14 Intelligent Systems Dec-2004
Q.6(a) With the help of a suitable diagram, explain various components of the knowledge base systems.
(b) Find, whether the following expressions are logically equivalent or not :
(i) F< ->G= (~FvG)&(~GvF)
(ii) Vx Tx] & Vx G[x = Vx (FJx] & G[x])
(iii) -(FvC)= -F&-G >
e the A* algorithm. Define the following with reference to the A* algorithm :
(i) Dominance property
(ii) Optimality property
(iii) Completeness condition

