Rückwärtsverkettung
Eine Rückwärtsverkettung (engl.: "backward chaining") bezeichnet in der Logik eine Inferenz- bzw. Schlussfolgerungs-Strategie der Form:
codice_1

Das Gegenmodell ist die Vorwärtsverkettung. Bedeutung haben diese Verkettungen beispielsweise im Bereich der künstlichen Intelligenz für Inferenzmaschinen.

Ebenso wie die Vorwärtsverkettung basiert die Rückwärtsverkettung auf einer transitiven Verknüpfung von Regeln. Man geht dabei jedoch vom Zielobjekt aus und prüft nur die Regeln, die das Ziel in der Konklusion haben. Falls der Wert eines Objektes in der Prämisse einer solchen Regel unbekannt ist, wird versucht, diesen aus anderen Regeln herzuleiten. Gelingt dieses nicht, so wird der Wert schließlich vom Benutzer erfragt.

Man nennt dieses Verfahren auch "zielorientierte Inferenz".
Eine verwandte Inferenz-Strategie besteht in der Vorwärtsverkettung.
Q8078
Logik
Concept
Q408386
Inferenz
Concept
Q777433
Vorwärtsverkettung
Concept
Q11660
künstlichen Intelligenz
Concept
Q1341685
Inferenzmaschine
Concept
Q366090
transitiv
UNK
Q2516561
Verknüpfung
UNK
Q1151067
Regeln
Concept
Q408386
Konklusion
Concept
Q321703
Prämisse
Concept
Q1490845
Verfahren
UNK
Q777433
Vorwärtsverkettung
Concept
Q1141183
Rückwärtsverkettung
Concept
Q1141183
Rückwärtsverkettung
Concept
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
subclass of
opposite of
opposite of