Backward Chaining

Backward Chaining is a reasoning method that is often used in expert systems and rule engines in the field of artificial intelligence.It is a method of reasoning based on goal orientation, which starts with the goal or conclusion and works backwards to the known facts or premises to determine how to meet the goal.

In backward chaining, the system first determines the goals that need to be achieved, and then works backward from those goals to find the rules and facts that can lead to those goals. This process continues until a known fact or rule is reached, or it is determined that the goal cannot be achieved.

Nature of backlinks:

• It is called a top-down approach.
• Backward chaining is based on the antecedent reasoning rule.
• In backward chaining, a goal is broken down into one or more sub-goals to prove the truth of a fact.
• It is called a goal-driven approach because the list of goals determines which rules are selected and used.
• Backward-chaining algorithms are used in game theory, automated theorem proving tools, inference engines, proof assistants, and various artificial intelligence applications.
• The backward chaining method is mainly proved using the depth-first search strategy.