Explanation: Forward chain can grow by adding new atomic sentences until no further inference is made. 2. Which closely resembles propositional definite clause?
A. Resolution
B. Inference
C. Conjunction
D. First-order definite clauses
Answer:A
Explanation: Forward chain can grow by adding new atomic sentences until no further inference is made. 2. 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. 3. What is the condition of variables in first-order literals?