Forward Chaining

Beim Forward Chaining wird von einer Menge von so genannten Fakten ausgegangen. Aufgrund der Fakten ist die Bedingung einer Regel erfüllt und die Konsequenz der Regel erzeugt neue Fakten. Die neuen Fakten können wiederum dazu führen, dass die Bedingung einer Regel erfüllt ist. Das Forward Chaining endet, wenn keine weiteren Regeln aktiviert werden können. Beim Forward Chainging werden Regeln also vorwärts ausgeführt (Bedingung, Konsequenz).

Umgekehrt geht man beim Backward Chaining vor.

Ein effizienter, sequentieller Algorithmus für das Forward Chaining ist der Rete Algorithmus.