problem 1) prepare briefly:

(a) Describe the concept of Unification?

(b) Distinguish between Propositional and Predicate Logic?

(c) Describe Declarative and Procedural Semantics.

(d) Describe Backtracking in Prolog.

(e) What are Abstract Syntax Trees?

(f) Describe Recursion with suitable ex.

(g) Define Logic Programming?

(h) Name some extra logic features.

(i) What are the applications of Neural Networks?

(j) Describe Fuzzy sets.

problem 2) prepare a program to determine Factorial of a number entered by user using recursion in Prolog.

problem 3) Define the following in context of propositional logic:

(a) Contradiction

(b) Conditional Statements

problem 5) What do you mean by Clause Normal Form? Describe with an ex.

problem 6) describe unsupervised learning of neural networks.

problem 7) Describe Fuzzy Logic? What is the importance of fuzzy logic in neural networks?

problem 8) Describe the following search methods used in context to prolog with the help of an ex:

(a) Depth-First-Search

(b) Breadth-First-Search

problem 9) prepare a detailed note on the following:

(a) Structural Induction

(b) Need of Quantifiers for Knowledge Representation