Was ist Rückwärtsverkettung?
Rückwärtsverkettung ist eine Inferenzmethode, die in der künstlichen Intelligenz, in automatisierten Theorembeweisern 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.
Die Rückwärtsverkettung wird auch als Rückwärtsrückrechnung bezeichnet.
Die Rückwärtsverkettung wird in der Logikprogrammierung durch selektive lineare definite Klauselauflösung verwendet. Es ist eine der am häufigsten verwendeten Methoden der Argumentation mit Interferenzregeln und logischen Implikationen. Die Rückwärtsverkettung funktioniert rückwärts von einer Liste von Zielen, um festzustellen, ob Daten zu ihrer Unterstützung vorhanden sind. 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 bekannt ist, dass der Vorgänger dieser Regel nicht wahr ist, wird die Regel der Liste der Ziele hinzugefügt, so dass Daten gefunden werden können, um sie zu bestätigen.