Rückwärtsverkettung beginnt mit einer Zielaussage und sucht rückwärts nach Regeln, deren Schlussfolgerung dieses Ziel liefert. Die Voraussetzungen dieser Regeln werden anschließend als neue Teilziele geprüft.
Das Verfahren wird unter anderem in regelbasierten Systemen, Logikprogrammierung und Theorembeweisern verwendet. Es benötigt passende Fakten und Regeln und erzeugt nicht selbstständig neues Wissen aus beliebigen Beobachtungen.
Vorwärtsverkettung setzt dagegen bei bekannten Fakten an und wendet Regeln an, um neue Schlussfolgerungen zu erzeugen.
Inhaltlich überarbeitet am 2026-10-13. Schlussrichtung und Grenzen richtig erklärt.