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?
A. Decremental forward chaining
B. Incremental forward chaining
C. Data complexity
D. None of the mentioned
Answer:A
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?
A. Decremental forward chaining B. Incremental forward chaining C. Data complexity D. None of the mentioned
Explanation: We can eliminate the redundant rule matching attempts in the forward chaining by using incremental forward chaining. 8. From where did the new fact inferred on new iteration is derived?