1) prepare down the Syntax and Semantics of first order logic in detail with suitable ex.
2) prepare down the Syntax and Semantics of a first order logic for a family domain.
3) prepare down the Syntax and Semantics of a first order logic for Numbers, Sets, Lists domain.
4) describe 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) describe the ontolgy for situation calculus in detail.
10) describe the ontolgy for event calculus in detail.