Backward chaining

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

wenn ?, dann Faktum

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.


Wikimedia Foundation.

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Backward chaining — (or backward reasoning) is an inference method used in artificial intelligence. It is one of two methods of reasoning that uses inference rules – the other is forward chaining, also known as modus ponens. Backward chaining is implemented in logic …   Wikipedia

  • backward chaining method — nenuoseklusis metodas statusas T sritis Kūno kultūra ir sportas apibrėžtis Dalinio mokymo metodo atmaina – sudėtingų technikos veiksmų ir jų derinių mokymas nuo paskutinio judesio ar veiksmo. atitikmenys: angl. backward chaining method vok.… …   Sporto terminų žodynas

  • Chaining — (engl. für Verketten) ist ein Begriff der instrumentellen Konditionierung, einer behavioristischen Lerntheorie. Er bezeichnet das schrittweise Erlernen einer komplexen neuen Verhaltensweise durch Verkettung einfacherer Teile. Chaining Techniken… …   Deutsch Wikipedia

  • Chaining — This article is about the teaching procedure. For programming language technique, see method chaining. For information about chaining in expert systems, see Expert system – Chaining. For computer architecture, see Chaining (vector processing).… …   Wikipedia

  • Forward chaining — is one of the two main methods of reasoning when using inference rules (in artificial intelligence). It is referred in philosophical circle as modus ponens. The opposite of forward chaining is backward chaining. Forward chaining starts with the… …   Wikipedia

  • Working backward from the goal — is an application of the backward chaining strategy in artificial intelligence. When problem solving, working backward is one way to reach the goal of solving a problem. Use by primates Kanzi, a bonobo (pygmy chimpanzee, Pan paniscus )… …   Wikipedia

  • Rückwärtsverkettung — Backward Chaining, zielgesteuerte Inferenz; rekursive Vorgehensweise (⇡ Rekursion), bei der man mit dem Endziel beginnt (d.h. mit dem Sachverhalt, den man aufgrund der Problemstellung erreichen möchte); dieses Ziel wird in Unterziele aufgeteilt,… …   Lexikon der Economics

  • Planner (programming language) — Planner (often seen in publications as PLANNER although it is not an acronym) is a programming language designed by Carl Hewitt at MIT, and first published in 1969. First, subsets such as Micro Planner and Pico Planner were implemented, and then… …   Wikipedia

  • Rete algorithm — The Rete algorithm is an efficient pattern matching algorithm for implementing production rule systems. The Rete algorithm was designed by Dr Charles L. Forgy of Carnegie Mellon University, first published in a working paper in 1974, and later… …   Wikipedia

  • Expert system — In artificial intelligence, an expert system is a computer system that emulates the decision making ability of a human expert.[1] Expert systems are designed to solve complex problems by reasoning about knowledge, like an expert, and not by… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”