##  [Rückwärtsgerichtetes Schließen](/de/node/60042) 

 Definition

Eine Steuerungsstrategie für Schlussfolgerungen, die versucht, ein Ziel zu beweisen, indem rekursiv Unterziele gefunden und bewiesen werden, deren Beweise das Ziel implizieren; sie arbeitet typischerweise rückwärts vom Ziel zu den bekannten Fakten.

 

 

 

 

 

 





## Prinzip

Prinzip

Beginne mit einer Zielformel und wende Schlussregeln in umgekehrter Richtung an, um Unterziele zu erzeugen; erweitere diese, bis sie bekannten Fakten entsprechen oder fehlschlagen, und nutze Backtracking zur Erkundung von Alternativen.

 

 

 

 

 





## Demonstration

Demonstration

In Prolog versucht die Engine, um ancestor(X,Y) zu beweisen, parent(X,Y) oder parent(X,Z) und ancestor(Z,Y) zu beweisen; Ziele werden in Unterziele zerlegt und mittels Resolution und Backtracking gelöst.

 

 

 

 

## Fehlanwendung

Fehlanwendung

Rückwärtsgerichtetes Schließen in Umgebungen mit vielen irrelevanten Regeln oder schlecht spezifizierten Zielen anzuwenden, was zu tiefer, unnötiger Suche führt; das Nicht-Erkennen von Schleifen oder unendlicher Regression in rekursiven Regeln.

 

 

 

 

 





## Konsequenz

Konsequenz

Ermöglicht eine zielgerichtete, oft effiziente Beweissuche, die die Erzeugung irrelevanter Konsequenzen vermeidet; gut geeignet für Abfragebeantwortung und Planung bei klaren Zielen.

 

 

 

 

## Umkehrung

Umkehrung

Vorwärtsgerichtetes Schließen leitet Konsequenzen aus Fakten ohne Zielvorgabe ab; das Gegenstück wäre eine datengesteuerte Sättigung, die versucht, alles abzuleiten, statt vom Ziel auszugehen.

 

 

 

 

 





## Abgrenzung

Abgrenzung

Voraussetzung ist, dass Regeln in Unterziele invertierbar sind und dass die Unterzielsuche mit geeigneten Prüfungen berechenbar und terminierend ist; weniger geeignet für globale Abschlussbildung, probabilistische Inferenz oder stark verzweigte nondeterministische Domänen ohne Heuristiken.

 

 

 

 

 





## Semantische Spannung

Semantische Spannung

Steht im Wettbewerb mit vorwärtsgerichtetem Schließen sowie mit abductiver oder probabilistischer Inferenz; Spannung zwischen zielgerichteter Beweissuche und exhaustiver Konsequenzgenerierung.

 

 

 

 

 





## Synthese

Synthese

Rückwärtsgerichtetes Schließen ist zielorientierte Suche: Zerlege ein Ziel in Unterziele durch Umkehrung von Schlussregeln und verfolge nur jene Ableitungen, die zum Beweis des ursprünglichen Ziels beitragen.