Forward chaining

As a forward chaining (English: forward chaining ) is called a strategy for linking rules in a system for deriving logical conclusions, a so-called inference engine. On the basis of a rule in the form of

If fact, then inference represented a simple conclusion can be drawn. Often, however, one wants to draw complex conclusions of several defined rules. One possibility consists in the sequence of rules. The forward chaining is doing before transitive, that is, of a fact is the basis of a rule and an inference method (eg, modus ponens ) drawn a conclusion which is in turn used as a premise, and by means of another rule for a further conclusion, etc. since it is assumed that a case-specific fact usually referred to as data-driven Inferenzstrategie this inference.

A related inference strategy is backward chaining.

• Logic