Explanation: Definite clauses are a suitable normal form for use with generalized modus ponen. 5. Which will be the instance of the class data log knowledge bases?
A. Variables
B. No function symbols
C. First-order definite clauses
D. None of the mentioned
Answer:A
Explanation: Definite clauses are a suitable normal form for use with generalized modus ponen. 5. Which will be the instance of the class data log knowledge bases?
A. Variables B. No function symbols C. First-order definite clauses D. None of the mentioned
Explanation: If the knowledge base contains no function symbols means, it is an instance of the class data log knowledge base. 6. Which knowledge base is called as fixed point?