Rückwärtsverkettung

Definition - Was bedeutet Rückwärtsverkettung?

Die Rückwärtsverkettung ist eine Inferenzmethode, die in der künstlichen Intelligenz, automatisierten Theoremprüfern und Beweisassistenten weit verbreitet ist. Die Methode der Rückwärtsverkettung kann als Zurückarbeiten von einem Ziel beschrieben werden. Viele Programmiersprachen unterstützen die Rückwärtsverkettung in ihren Inferenz-Engines.

Rückwärtsverkettung wird auch als Rückwärtsverkettung bezeichnet.

Technische.me erklärt die Rückwärtsverkettung

Die Rückwärtsverkettung wird in der Logikprogrammierung durch selektive lineare definitive Klauselauflösung verwendet. Es ist eine der am häufigsten verwendeten Argumentationsmethoden mit Interferenzregeln und logischen Implikationen. Die Rückwärtsverkettung funktioniert anhand einer Liste von Zielen rückwärts, um festzustellen, ob Daten vorhanden sind, die diese unterstützen. Eine Inferenzmaschine, die Rückwärtsverkettung verwendet, durchsucht die Inferenzregeln, bis sie eine Regel mit einer Konsequenz findet, die dem gewünschten Ziel entspricht. Wenn nicht bekannt ist, dass der Vorgänger dieser Regel wahr ist, wird die Regel zur Liste der Ziele hinzugefügt, damit Daten zur Bestätigung gefunden werden können.