problem 1:
Illustrate out the process of knowledge engineering with the electronic circuit’s domain.
problem 2:
Illustrate in detail about the unification with an algorithm in the first order logic.
problem 3:
Illustrate out in detail the concept of theorem provers.
problem 4:
Illustrate forward chaining and backward chaining in detail for the first order definite clauses.
problem 5:
Illustrate how categories and objects are presented in any four sets.
problem 6:
Discuss the ontolgy for situation calculus.
problem 7:
Discuss the ontolgy for event calculus.