1) Write down the Syntax and Semantics of first order logic in detail with suitable example.
2) Write down the Syntax and Semantics of a first order logic for a family domain.
3) Write down the Syntax and Semantics of a first order logic for Numbers, Sets, Lists domain.
4) Explain the process of knowledge engineering with electronic circuits domain in detail.
5) Describe about unification with the algorithm in first order logic.
6) Describe in detail the concept of theorem provers.
7) Describe forward chaining and backward chaining in detail for a first order definite clauses.
8) Describe how categories and objects are presented in any four sets.
9) Explain the ontolgy for situation calculus in detail.
10) Explain the ontolgy for event calculus in detail.