Inhaltsverzeichnis:
Definition - Was bedeutet Rückwärtsverkettung?
Die Rückwärtsverkettung ist eine Inferenzmethode, die in der künstlichen Intelligenz, in automatisierten Theorembeweisen und in 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 innerhalb ihrer Inferenz-Engines.
Rückwärtsverkettung wird auch als Rückwärtsargumentation bezeichnet.
Techopedia erklärt die Rückwärtsverkettung
Die Rückwärtsverkettung wird in der Logikprogrammierung durch selektive lineare Klauselauflösung verwendet. Dies ist eine der am häufigsten verwendeten Argumentationsmethoden für Interferenzregeln und logische Implikationen. Die Rückwärtsverkettung wird anhand einer Liste von Zielen rückwärts ausgeführt, um festzustellen, ob Daten zur Unterstützung vorhanden sind. Eine Inferenzmaschine, die Rückwärtsverkettung verwendet, durchsucht die Inferenzregeln, bis eine Regel mit einer Konsequenz gefunden wird, die dem gewünschten Ziel entspricht. Wenn nicht bekannt ist, dass der Ursprung dieser Regel wahr ist, wird die Regel zur Liste der Ziele hinzugefügt, damit Daten zur Bestätigung gefunden werden können.
