The correct answer is D. All of the mentioned.
Backward chaining is a reasoning method used in artificial intelligence. It is a top-down approach, where the system starts with a goal and then tries to find evidence to support that goal. The system does this by asking questions and then using the answers to those questions to rule out possible solutions.
Backward chaining can be used to solve a variety of problems, including problems that involve finding a path through a maze, solving a puzzle, or diagnosing a disease.
In the context of the question, backward chaining will return additional statements, substitutes matching the query, and a logical statement.
Additional statements are statements that are added to the knowledge base as a result of the backward chaining process. These statements can be used to support the goal or to rule out possible solutions.
Substitutes
matching the query are statements that match the query that is being asked. These statements can be used to provide evidence to support the goal or to rule out possible solutions.A logical statement is a statement that is formed as a result of the backward chaining process. This statement can be used to represent the goal or to represent the evidence that has been found.
In conclusion, backward chaining will return additional statements, substitutes matching the query, and a logical statement.