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.