Forward Chaining:
Which condition is used to cease the growth of forward chaining?
a) Atomic sentences
b) Complex sentences
c) No further inference
d) All of the mentioned
Explanation: Forward chain can grow by adding new atomic sentences until no further inference is made.
Which closely resembles propositional definite clause?
a) Resolution
b) Inference
c) Conjunction
d) First-order definite clauses
Explanation: Because they are disjunction of literals of which exactly one is positive.
What is the condition of variables in first-order literals?
a) Existentially quantified
b) Universally quantified
c) Both Existentially & Universally quantified
d) None of the mentioned
Explanation: First-order literals will accept variables only if they are universally quantified.
Which are more suitable normal form to be used with definite clause?
a) Positive literal
b) Negative literal
c) Generalized modus ponens
d) Neutral literal
Explanation: Definite clauses are a suitable normal form for use with generalized modus ponen.
Which will be the instance of the class datalog 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 datalog knowledge base.
