Explanation: The goals can be thought of as stack and if all of them us satisfied means, then current branch of proof succeeds. 5. What are used in backward chaining algorithm?
A. Conjuncts
B. Substitution
C. Composition of substitution
D. None of the mentioned
Answer:A
Explanation: The goals can be thought of as stack and if all of them us satisfied means, then current branch of proof succeeds. 5. What are used in backward chaining algorithm?
A. Conjuncts B. Substitution C. Composition of substitution D. None of the mentioned
Explanation: None. 6. Which algorithm is in more similar to backward chaining algorithm?