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?
A. First-order definite clause is similar to propositional forward chaining
B. First-order definite clause is mismatch to propositional forward chaining
C. Both a & b
D. None of the mentioned
Answer:A
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?
A. First-order definite clause is similar to propositional forward chaining B. First-order definite clause is mismatch to propositional forward chaining C. Both a & b D. None of the mentioned
Explanation: Fixed point reached by forward chaining with first-order definite clause are similar to those for propositional forward chaining. 7. How to eliminate the redundant rule matching attempts in the forward chaining?