Not to be confused with Backward chaining (applied behavior analysis) or Back-chaining.
Backward chaining (or backward reasoning) is an inference method described colloquially as working backward from the goal. It is used in automated theorem provers, inference engines, proof assistants, and other artificial intelligence applications.[1]
In game theory, researchers apply it to (simpler) subgames to find a solution to the game, in a process called backward induction. In chess, it is called retrograde analysis, and it is used to generate table bases for chess endgames for computer chess.
Backward chaining is implemented in logic programming by SLD resolution. Both rules are based on the modus ponens inference rule. It is one of the two most commonly used methods of reasoning with inference rules and logical implications – the other is forward chaining. Backward chaining systems usually employ a depth-first search strategy, e.g. Prolog.[2]
^Feigenbaum, Edward (1988). The Rise of the Expert Company. Times Books. p. 317. ISBN 0-8129-1731-6.
^Michel Chein; Marie-Laure Mugnier (2009). Graph-based knowledge representation: computational foundations of conceptual graphs. Springer. p. 297. ISBN 978-1-84800-285-2.
Backwardchaining (or backward reasoning) is an inference method described colloquially as working backward from the goal. It is used in automated theorem...
chaining is a popular implementation strategy for expert systems, business and production rule systems. The opposite of forward chaining is backward chaining...
facts: forward chaining and backwardchaining. Forward chaining starts with the known facts and asserts new facts. Backwardchaining starts with goals...
of the behavior chain) until they are prompted through the remaining steps. Backwardchaining is the same process as forward chaining but starts with...
a forward-chaining inference-based rules engine which uses an enhanced implementation of the Rete algorithm. Evrete, a forward-chaining Java rule engine...
knowledge base. Backwardchaining is a bit less straight forward. In backwardchaining the system looks at possible conclusions and works backward to see if...
method is called backward search or backwardchaining. In chess, it is called retrograde analysis. In game theory, a variant of backward induction is a...
emphasize reaction rules. In addition, some rules engines support backwardchaining. In this case a rules engine seeks to resolve the facts to fit a particular...
or backward reasoning to infer conclusions via modus ponens. The recursive reasoning methods they employ are termed 'forward chaining' and 'backward chaining'...
Drools is a business rule management system (BRMS) with a forward and backwardchaining inference-based rules engine, more correctly known as a production...
MYCIN was an early backwardchaining expert system that used artificial intelligence to identify bacteria causing severe infections, such as bacteremia...
data), and the inclusion of a backwardchaining algorithm tailored to run on top of the Rete network. Backwardchaining alone can account for the most...
In the KEE knowledge base, rules are frames. Both forward chaining and backwardchaining inference are available. KEE supports non-monotonic reasoning...
forward chaining versus backwardchaining. However, in opportunistic reasoning, pieces of knowledge may be applied either forward or backward, at the...
so that those parts can be taught through the use of chaining: forward chaining, backwardchaining and total task presentation. Task analysis has been...
for a pattern Draw a picture Solve a simpler problem Use a model Work backward Use a formula Be creative Applying these rules to devise a plan takes your...
corresponds to the current path in the search space. Forward Search and Backward Search are two of main samples of state space planning. Forward search...
object oriented and logical (theorem proving) languages. CLIPS uses forward chaining. Like other expert system languages, CLIPS deals with rules and facts....
Backjumping – In backtracking algorithms, technique that reduces search space Backwardchaining – Method of forming inferences Enumeration algorithm – an algorithm...
be inferred from a KB (knowledge base) using an algorithm called backwardchaining. Let us return to our Socrates syllogism. We enter into our Knowledge...