Explanation: Backward chaining algorithm will work backward from the goal and it will chain the known facts that support the proof. 2. Which is mainly used for automated reasoning?
A. Backward chaining
B. Forward chaining
C. Logic programming
D. Parallel programming
Answer:A
Explanation: Backward chaining algorithm will work backward from the goal and it will chain the known facts that support the proof. 2. Which is mainly used for automated reasoning?
A. Backward chaining B. Forward chaining C. Logic programming D. Parallel programming