CS-14 Intelligent Systems Dec-2004
Q.2(a) Write a Prolog code for finding the least common multiple of two given positive integers.
(b)Consider the facts P and Q. Generate one truth table to show the values of all the statements below :
(i) P →Q
(ii) Q→P
(iii) ~P v Q
(iv) (P→Q) &(Q→P)
© Explain the method of abductive inference with the help of a suitable example.
(d) What is propositional logic? Define the properties ‘Formal system’ Soundness’ and ‘Completeness’. What is the technique used r ‘ computational reasoning in the formal system?

