====== Backward Chaining ======

**Backward Chaining ist das Gegenteil von [[wissen:glossar:forward_chaining|Forward Chaining]] und beschreibt eine Methode der [[symbolische_ki|Symbolischen KI]]. Anstatt von den bekannten Fakten auf ein Ziel zu schließen,  wird von einembestimmten Ziel (oder Hypothese) ausgegangen.**\\
\\
Das System sucht dann nach Regeln um die Fakten/Daten zu bestätigen. Dieser Ansatz wird oft verwendet, wenn das Ziel klar definiert ist und das System versucht, dieses Ziel zu erreichen. Der Backward-Chaining-Prozess lässt sich wie folgend darstellen.

  - **Ausgangspunkt ist ein definiertes Ziel bzw. eine Hypothese.**
  - ** Das System sucht nach Regeln, deren "dann"-Aktion mit dem Ziel übereinstimmt.**
  - ** Das System prüft, ob für jede passende Regel die "wenn"-Bedingungen erfüllt sind.**
  - ** Sind die Bedingungen nicht erfüllt, sucht das System nach weiteren "wenn"-Bedingungen, um die Regel zu erfüllen.**
  - ** Die Schritte 1-4 werden wiederholt, bis das Ziel bzw. die Hypothese bestätigt oder abgelehnt werden kann.**

Backward Chaining eignet sich bspw. zur mathematische Beweisführungen.

{{ :wissen:glossar:st_backward_chaining.svg |}}

===== Weiterführende Literatur =====

  * [[doi>10.1007/s10817-007-9091-0]]
  * [[doi>10.1177/014544558151005]]