Forward chaining

Forward chaining

Forward chaining is one of the two main methods of reasoning when using inference rules (in artificial intelligence). It is referred in philosophical circle as modus ponens. The opposite of forward chaining is backward chaining.

Forward chaining starts with the available data and uses inference rules to extract more data (from an end user for example) until a goal is reached. An inference engine using forward chaining searches the inference rules until it finds one where the antecedent (If clause) is known to be true. When found it can conclude, or infer, the consequent (Then clause), resulting in the addition of new information to its data.

Inference engines will iterate through this process until a goal is reached.

For example, suppose that the goal is to conclude the color of a pet named Fritz, given that he croaks and eats flies, and that the rule base contains the following four rules:

# If X croaks and eats flies - Then X is a frog
# If X chirps and sings - Then X is a canary
# If X is a frog - Then X is green
# If X is a canary - Then X is yellow

This rule base would be searched and the first rule would be selected, because its antecedent (If Fritz croaks and eats flies) matches our data. Now the consequents (Then X is a frog) is added to the data. The rule base is again searched and this time the third rule is selected, because its antecedent (If Fritz is a frog) matches our data that was just confirmed. Now the new consequent (Then Fritz is green) is added to our data. Nothing more can be inferred from this information, but we have now accomplished our goal of determining the color of Fritz.

Because the data determines which rules are selected and used, this method is called data-driven, in contrast to goal-driven backward chaining inference. The forward chaining approach is often employed by expert systems, such as CLIPS.

One of the advantages of forward-chaining over backward-chaining is that the reception of new data can trigger new inferences, which makes the engine better suited to dynamic situations in which conditions are likely to change.

ee also

* Backward chaining

Wikimedia Foundation. 2010.

Look at other dictionaries:

• Forward chaining — Als Vorwärtsverkettung (engl.: forward chaining) bezeichnet man eine Strategie zur Verknüpfung von Regeln in einem System zur Ableitung logischer Folgerungen, einer sogenannten Inferenzmaschine. Auf der Basis einer Regel, die in der Form wenn… …   Deutsch Wikipedia

• Forward Chaining — ⇡ Vorwärtsverkettung …   Lexikon der Economics

• Chaining — (engl. für Verketten) ist ein Begriff der instrumentellen Konditionierung, einer behavioristischen Lerntheorie. Er bezeichnet das schrittweise Erlernen einer komplexen neuen Verhaltensweise durch Verkettung einfacherer Teile. Chaining Techniken… …   Deutsch Wikipedia

• Backward chaining — (or backward reasoning) is an inference method used in artificial intelligence. It is one of two methods of reasoning that uses inference rules – the other is forward chaining, also known as modus ponens. Backward chaining is implemented in logic …   Wikipedia

• Vorwärtsverkettung — Forward Chaining, datengesteuerte Inferenz; Vorgehensweise, bei der man von einer Anfangssituation auf die Endsituation schließt. V. ist eine mögliche Inferenzstrategie bei einem ⇡ regelbasierten System. Gegensatz: ⇡ Rückwärtsverkettung …   Lexikon der Economics

• Expert system — In artificial intelligence, an expert system is a computer system that emulates the decision making ability of a human expert.[1] Expert systems are designed to solve complex problems by reasoning about knowledge, like an expert, and not by… …   Wikipedia

• Reinforcement — Reinforce redirects here. For the Magical Girl Lyrical Nanoha character, see Reinforce (Nanoha). This article is about the term used in operant conditioning. For the construction materials reinforcement, see Rebar. For reinforcement learning in… …   Wikipedia

• Production Rule Representation — The Production Rule Representation (PRR) is a proposed standard of the Object Management Group (OMG) to provide a vendor neutral rule model representation in UML for production rules as used in forward chaining rule engines. History The OMG set… …   Wikipedia

• Planner (programming language) — Planner (often seen in publications as PLANNER although it is not an acronym) is a programming language designed by Carl Hewitt at MIT, and first published in 1969. First, subsets such as Micro Planner and Pico Planner were implemented, and then… …   Wikipedia