1. : Which of the following knowledge base is commonly known as a fixed point?
(A) The First-order definite clause having a mismatch to propositional forward-chaining approach
(B) The first-order definite clause is identical to the propositional forward-chaining approach
(C) All of these
(D) None of these
2. : Which of the following will resolve the conjuncts of the rule in such a way that the total cost is minimized?
(A) Conjunct ordering
(B) Constraint variable
(C) Data complexity
(D) All of these
3. : What is the condition of variables in first-order literals?
(A) Universally quantified
(B) Existentially quantified
(C) Both A & B
(D) None of these
4. : What is the total number of possible sources of complexity in the forwarding chaining approach?
(A) 3
(B) 4
(C) 5
(D) 2
5. : Which of the following will be the instance of the class datalog knowledge bases?
(A) Variables
(B) First-order definite clauses
(C) No function symbols
(D) None of these
6. : Which of the following condition is helpful to stop the growth of the forwarding chaining approach?
(A) Atomic sentences
(B) No further inference
(C) Complex sentences
(D) All of these
7. : Which of the following are more appropriate normal forms to be helpful with a definite clause?
(A) Positive literal
(B) Generalized modus ponens
(C) Negative literal
(D) Neutral literal
8. : Which of the following closely looks like a propositional definite clause?
(A) Resolution
(B) First-order definite clauses
(C) Conjunction
(D) Inference
9. : From where did the new fact inferred on the new iteration is derived?
(A) New fact
(B) Narrow fact
(C) Old fact
(D) All of these