CS-14 Intelligent Systems June-2003
Q.5(a) Indicate whether or not consistent subsituations can be made which result in matches for the following pair of clauses:
strong>(b) Enumerate some desirable characteristics for an effective memory organization.
©Translate the following English statements into First Order Predicate Calculus (FOPC)/ Propositional Calculus :
(i) Some highly qualified scientists are unemployed In Russia but in America all qualified scientists are employed,
(ii) Only old people get sick.
(iii) Mohan has exactly two friends.
(iv) Nothing beautiful is evil.
