Question 1) Answer the following questions.
a) What do you mean by fuzzy logic?
b) What types of problems are encountered when propositional logic is used to represent the world knowledge?
c) Write down the applications of neural networks?
d) Explain the important properties of first order valuation with example.
e) Write down the advantages of SLD resolution.
f) Distinguish between logic and logic programming.
g) What do you mean by FAIL predicate?
h) Distinguish between validity and consequence.
i) Write a program in prolog to reverse a list.
j) What are the needs of quantifiers?
Question 2) In the context of propositional logic define precisely the following:
(a) Boolean Valuation'
(b) Tautology.
Question 3) Define a unifier and a most general unifier to a set of clauses' demonstrate the differences with appropriate examples'
Question 4) What do you mean by declarative meaning of prolog programs? Describe.
Question 5) Analyze the following statement of Prolog: "The cut facility prevents backtracking'"
Question 6) Describe unsupervised learning of neural network'
Question 7)(a) Why are Prolog functions and predicates normally defined recursively? Describe.
(b) Write down the advantages of resolution method? Describe.
Question 8)(a) Define precisely what the following mean:
(i) A formula is valid'
(ii) A formula is satisfiable'
(b) what do you mean by clause normal form? Describe with suitable example.
Question 9)(a) Using deduction method, prove the following argument valid:
Any fish can swim faster than any smaller one. Therefore, if there is a largest fish then there is a fastest fish'"
(b) Describe the significance of Horn Clauses in logic programming.