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

Question

Quizplus · Accepted Answer

First-order definite clauses can be seen as a generalization of propositional forward chaining, where the knowledge base reaches a fixed point when no new information can be derived. This is because both operate under a form of logic where conclusions are definitively drawn from a set of premises using rules of inference, leading to a state where no further inferences can be made, hence a "fixed point."

Which Knowledge Base Is Called as Fixed Point