![Modellierung wissensintensiver Probleme Benno Stein](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-organization/unit-de-kbs-organization-1.png)
![Inhalt I. Einführung](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-organization/unit-de-kbs-organization-2.png)
![Ziele Wie entwickelt man Softwaresysteme zur Lösung von wissensintensiven Aufgaben](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-organization/unit-de-kbs-organization-3.png)
![Bemerkungen:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-organization/unit-de-kbs-organization-4.png)
![Literatur Künstliche Intelligenz](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-organization/unit-de-kbs-organization-5.png)
![Literatur](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-organization/unit-de-kbs-organization-6.png)
![Literatur](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-organization/unit-de-kbs-organization-7.png)
![Kapitel MK:I I. Einführung](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-introduction/unit-de-kbs-introduction-1.png)
![Künstliche Intelligenz Was ist Intelligenz?](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-introduction/unit-de-kbs-introduction-2.png)
![Künstliche Intelligenz Was ist Intelligenz?](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-introduction/unit-de-kbs-introduction-3.png)
![Künstliche Intelligenz Was ist Intelligenz?](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-introduction/unit-de-kbs-introduction-4.png)
![Künstliche Intelligenz Was ist Intelligenz?](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-introduction/unit-de-kbs-introduction-5.png)
![Künstliche Intelligenz Intelligenzbegriff](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-introduction/unit-de-kbs-introduction-6.png)
![Künstliche Intelligenz Was ist Künstliche Intelligenz?](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-introduction/unit-de-kbs-introduction-7.png)
![Künstliche Intelligenz Was ist Künstliche Intelligenz?](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-introduction/unit-de-kbs-introduction-8.png)
![Künstliche Intelligenz Was ist Künstliche Intelligenz?](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-introduction/unit-de-kbs-introduction-9.png)
![Bemerkungen:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-introduction/unit-de-kbs-introduction-10.png)
![Kapitel MK:I I. Einführung](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-introduction/unit-de-kbs-introduction-11.png)
![Starke KI versus Schwache KI KI ist der Versuch, auf Computern intelligentes Verhalten nachzubilden.](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-introduction/unit-de-kbs-introduction-12.png)
![Starke KI versus Schwache KI Turing’s Szenario: Turing Test [Turing 1950]](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-introduction/unit-de-kbs-introduction-13.png)
![Starke KI versus Schwache KI Weizenbaum’s Szenario: Eliza [Weizenbaum 1966]](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-introduction/unit-de-kbs-introduction-14.png)
![Starke KI versus Schwache KI Schank’s Szenario: Restaurant-Geschichten [Schank 1977]](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-introduction/unit-de-kbs-introduction-15.png)
![Starke KI versus Schwache KI Schank’s Szenario](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-introduction/unit-de-kbs-introduction-16.png)
![Starke KI versus Schwache KI Searle’s Szenario: chinesisches Zimmer [Searle 1980]](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-introduction/unit-de-kbs-introduction-17.png)
![Bemerkungen:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-introduction/unit-de-kbs-introduction-18.png)
![Starke KI versus Schwache KI Searle’s Szenario](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-introduction/unit-de-kbs-introduction-19.png)
![Starke KI versus Schwache KI Behauptung der Vertreter der Starken KI:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-introduction/unit-de-kbs-introduction-20.png)
![Starke KI versus Schwache KI Behauptung der Vertreter der Starken KI:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-introduction/unit-de-kbs-introduction-21.png)
![Starke KI versus Schwache KI Behauptung der Vertreter der Starken KI:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-introduction/unit-de-kbs-introduction-22.png)
![Starke KI versus Schwache KI Hat „echtes“ Verstehen mit Bewusstsein zu tun?](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-introduction/unit-de-kbs-introduction-23.png)
![Kapitel MK:I I. Einführung](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-introduction/unit-de-kbs-introduction-24.png)
![Geschichte der Künstlichen Intelligenz 1956 Geburtsstunde. Sommerseminar in Dartmouth.](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-introduction/unit-de-kbs-introduction-25.png)
![Einschub: Blocks World Anordnung:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-introduction/unit-de-kbs-introduction-26.png)
![Geschichte der Künstlichen Intelligenz 1965 – 1975 Romantische Periode.](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-introduction/unit-de-kbs-introduction-27.png)
![Geschichte der Künstlichen Intelligenz >1975 Moderne Periode.](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-introduction/unit-de-kbs-introduction-28.png)
![Geschichte der Künstlichen Intelligenz >1985 Neue Trends.](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-introduction/unit-de-kbs-introduction-29.png)
![Geschichte der Künstlichen Intelligenz >1990 Trends danach.](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-introduction/unit-de-kbs-introduction-30.png)
![Kapitel MK:I I. Einführung](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-applications/unit-de-kbs-applications-1.png)
![Gebiete der KI Ursprung der Methoden der KI/Wissensverarbeitung](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-applications/unit-de-kbs-applications-2.png)
![Gebiete der KI Aus einer anwendungsorientierten Sicht spielen in der Künstlichen Intelligenz](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-applications/unit-de-kbs-applications-3.png)
![Bemerkungen:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-applications/unit-de-kbs-applications-4.png)
![Gebiete der KI Maschinelles Lernen. Beispiel Klassifikation](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-applications/unit-de-kbs-applications-5.png)
![Gebiete der KI Maschinelles Lernen. Beispiel Klassifikation](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-applications/unit-de-kbs-applications-6.png)
![Gebiete der KI Maschinelles Lernen. Beispiel Klassifikation](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-applications/unit-de-kbs-applications-7.png)
![Gebiete der KI Intelligent Computer Aided Instruction, ICAI](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-applications/unit-de-kbs-applications-8.png)
![Gebiete der KI Natürlichsprachliche Systeme](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-applications/unit-de-kbs-applications-9.png)
![Gebiete der KI Natürlichsprachliche Systeme. Beispiel Dialogsystem](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-applications/unit-de-kbs-applications-10.png)
![Gebiete der KI Bildverarbeitende Systeme](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-applications/unit-de-kbs-applications-11.png)
![Gebiete der KI Bildverarbeitende Systeme](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-applications/unit-de-kbs-applications-12.png)
![Gebiete der KI Bildverarbeitende Systeme. Beispiel Szenenanalyse](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-applications/unit-de-kbs-applications-13.png)
![Gebiete der KI Bildverarbeitende Systeme. Beispiel Szenenanalyse](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-applications/unit-de-kbs-applications-14.png)
![Gebiete der KI Bildverarbeitende Systeme. Beispiel Szenenanalyse](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-applications/unit-de-kbs-applications-15.png)
![Gebiete der KI Bildverarbeitende Systeme. Beispiel Szenenanalyse](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-applications/unit-de-kbs-applications-16.png)
![Gebiete der KI Bildverarbeitende Systeme. Beispiel Szenenanalyse](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-applications/unit-de-kbs-applications-17.png)
![Gebiete der KI Bildverarbeitende Systeme. Beispiel Szenenanalyse](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-applications/unit-de-kbs-applications-18.png)
![Gebiete der KI Robotertechnologie](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-applications/unit-de-kbs-applications-19.png)
![Gebiete der KI Robotertechnologie](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-applications/unit-de-kbs-applications-20.png)
![Gebiete der KI Deduktionssysteme](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-applications/unit-de-kbs-applications-21.png)
![Gebiete der KI Deduktionssysteme. Beispiel Schlussfolgern](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-applications/unit-de-kbs-applications-22.png)
![Gebiete der KI Deduktionssysteme. Beispiel Schlussfolgern](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-applications/unit-de-kbs-applications-23.png)
![Gebiete der KI Deduktionssysteme. Beispiel Textanalyse](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-applications/unit-de-kbs-applications-24.png)
![Gebiete der KI Deduktionssysteme. Beispiel Textanalyse](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-applications/unit-de-kbs-applications-25.png)
![Gebiete der KI Deduktionssysteme. Beispiel Textanalyse](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-applications/unit-de-kbs-applications-26.png)
![Gebiete der KI Deduktionssysteme. Beispiel Textanalyse](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-applications/unit-de-kbs-applications-27.png)
![Gebiete der KI Deduktionssysteme. Beispiel Textanalyse](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-applications/unit-de-kbs-applications-28.png)
![Gebiete der KI Deduktionssysteme. Beispiel Textanalyse](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-applications/unit-de-kbs-applications-29.png)
![Gebiete der KI Deduktionssysteme. Beispiel Textanalyse](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-applications/unit-de-kbs-applications-30.png)
![Gebiete der KI SWT](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-kbs-applications/unit-de-kbs-applications-31.png)
![Kapitel MK:II II. Wissensrepräsentation](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-symbol/unit-de-symbol-1.png)
![Wissensrepräsentation in der Klassifikation](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-symbol/unit-de-symbol-2.png)
![Wissensrepräsentation in der Klassifikation](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-symbol/unit-de-symbol-3.png)
![Wissensrepräsentation in der Klassifikation (a) Kodierung des Klassifikationswissens durch Regeln](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-symbol/unit-de-symbol-4.png)
![Wissensrepräsentation in der Klassifikation (b) Erlernung des Klassifikationswissens](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-symbol/unit-de-symbol-5.png)
![Wissensrepräsentation in der Klassifikation Berechnung im Perzeptron](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-symbol/unit-de-symbol-6.png)
![Wissensrepräsentation in der Klassifikation Berechnung im standardisierten Perzeptron](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-symbol/unit-de-symbol-7.png)
![Wissensrepräsentation in der Klassifikation Präsentation von Beispielen dem Perzeptron:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-symbol/unit-de-symbol-8.png)
![Wissensrepräsentation in der Klassifikation Perzeptron-Lernalgorithmus](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-symbol/unit-de-symbol-9.png)
![Wissensrepräsentation in der Klassifikation Darstellung der Objekte im Merkmalsraum](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-symbol/unit-de-symbol-10.png)
![Wissensrepräsentation in der Klassifikation Anpassung des Gewichtsvektors](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-symbol/unit-de-symbol-11.png)
![Wissensrepräsentation in der Klassifikation Illustration des Perzeptron-Lernalgorithmus](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-symbol/unit-de-symbol-12.png)
![Wissensrepräsentation in der Klassifikation Illustration des Perzeptron-Lernalgorithmus](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-symbol/unit-de-symbol-13.png)
![Wissensrepräsentation in der Klassifikation Illustration des Perzeptron-Lernalgorithmus](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-symbol/unit-de-symbol-14.png)
![Wissensrepräsentation in der Klassifikation Illustration des Perzeptron-Lernalgorithmus](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-symbol/unit-de-symbol-15.png)
![Wissensrepräsentation in der Klassifikation Illustration des Perzeptron-Lernalgorithmus](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-symbol/unit-de-symbol-16.png)
![Wissensrepräsentation in der Klassifikation Illustration des Perzeptron-Lernalgorithmus](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-symbol/unit-de-symbol-17.png)
![Wissensrepräsentation in der Klassifikation Illustration des Perzeptron-Lernalgorithmus](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-symbol/unit-de-symbol-18.png)
![Wissensrepräsentation in der Klassifikation Illustration des Perzeptron-Lernalgorithmus](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-symbol/unit-de-symbol-19.png)
![Wissensrepräsentation in der Klassifikation Illustration des Perzeptron-Lernalgorithmus](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-symbol/unit-de-symbol-20.png)
![Wissensrepräsentation in der Klassifikation Illustration des Perzeptron-Lernalgorithmus](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-symbol/unit-de-symbol-21.png)
![Kapitel MK:II II. Wissensrepräsentation](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-symbol/unit-de-symbol-22.png)
![Symbolisch versus subsymbolisch Zwei grundlegenden Ansätze der Wissensrepräsentation](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-symbol/unit-de-symbol-23.png)
![Symbolisch versus subsymbolisch Definition 1 (Symbol)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-symbol/unit-de-symbol-24.png)
![Symbolisch versus subsymbolisch Akustische Repräsentation eines gesprochenen Symbols:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-symbol/unit-de-symbol-25.png)
![Symbolisch versus subsymbolisch Beispiel: J. S. Bach, „Die Kunst der Fuge“ [(vgl. [Ultsch 1998])]](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-symbol/unit-de-symbol-26.png)
![Bemerkungen: Im Kontext des Musikhörens besitzt eine einzelne Zahl für sich alleine genommen keine](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-symbol/unit-de-symbol-27.png)
![Symbolisch versus subsymbolisch Vorteile symbolischer Repräsentation:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-symbol/unit-de-symbol-28.png)
![Bemerkungen:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-symbol/unit-de-symbol-29.png)
![Symbolisch versus subsymbolisch Erwerb neuen Wissens](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-symbol/unit-de-symbol-30.png)
![Symbolisch versus subsymbolisch Hybride Systeme: Kombination der Paradigmen](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-symbol/unit-de-symbol-31.png)
![Symbolisch versus subsymbolisch Hybride Systeme: Kombination der Paradigmen](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-symbol/unit-de-symbol-32.png)
![Marvin Minsky](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-symbol/unit-de-symbol-33.png)
![Kapitel MK:II II. Wissensrepräsentation](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-psk/unit-de-psk-1.png)
![Problemlösungswissen](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-psk/unit-de-psk-2.png)
![Problemlösungswissen Beispiel 1: Diagnose einer hydraulischen Schaltung.](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-psk/unit-de-psk-3.png)
![Problemlösungswissen Beispiel 1: Diagnose einer hydraulischen Schaltung.](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-psk/unit-de-psk-4.png)
![Problemlösungswissen Beispiel 1: Diagnose einer hydraulischen Schaltung.](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-psk/unit-de-psk-5.png)
![Problemlösungswissen Beispiel 2: Entwurf einer hydraulischen Schaltung.](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-psk/unit-de-psk-6.png)
![Problemlösungswissen Beispiel 2: Entwurf einer hydraulischen Schaltung.](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-psk/unit-de-psk-7.png)
![Problemlösungswissen Beispiel 2: Entwurf einer hydraulischen Schaltung.](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-psk/unit-de-psk-8.png)
![Kapitel MK:II II. Wissensrepräsentation](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-psk/unit-de-psk-9.png)
![Kennzeichen von Problemlösungswissen Das Problemlösungswissen wie](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-psk/unit-de-psk-10.png)
![Kennzeichen von Problemlösungswissen Wissensformen innerhalb von Problemlösungsverfahren:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-psk/unit-de-psk-11.png)
![Kennzeichen von Problemlösungswissen Problemlösungswissen unterscheidet sich nicht durch seine Kompliziertheit von](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-psk/unit-de-psk-12.png)
![Kennzeichen von Problemlösungswissen Die Beherrschung von Methoden und Techniken (Softwaretechnik, Algorithmen,](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-psk/unit-de-psk-13.png)
![Kapitel MK:II II. Wissensrepräsentation](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-xps/unit-de-xps-1.png)
![Prinzipien wissensbasierter Systeme Wunsch: Operationalisierung von Problemlösungswissen](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-xps/unit-de-xps-2.png)
![Prinzipien wissensbasierter Systeme Definition 2 (wissensbasiertes System, WBS)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-xps/unit-de-xps-3.png)
![Prinzipien wissensbasierter Systeme Fragen zu konventionellen Softwaresystemen:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-xps/unit-de-xps-4.png)
![Prinzipien wissensbasierter Systeme Fragen zu konventionellen Softwaresystemen:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-xps/unit-de-xps-5.png)
![Prinzipien wissensbasierter Systeme Fragen zu konventionellen Softwaresystemen:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-xps/unit-de-xps-6.png)
![Kapitel MK:II II. Wissensrepräsentation](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-xps/unit-de-xps-7.png)
![Expertensysteme, XPS „. . . ein intelligentes Computerprogramm, das Wissen und Inferenzverfahren](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-xps/unit-de-xps-8.png)
![Expertensysteme Expertensysteme versuchen, die Eigenschaften eines Experten hinsichtlich einer](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-xps/unit-de-xps-9.png)
![Expertensysteme Der ideale menschliche Experte](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-xps/unit-de-xps-10.png)
![Expertensysteme Expertensystem versus Experte](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-xps/unit-de-xps-11.png)
![Expertensysteme Expertensystem versus Standardprogramm](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-xps/unit-de-xps-12.png)
![Expertensysteme Expertensystem versus Standardprogramm](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-xps/unit-de-xps-13.png)
![Kapitel MK:II II. Wissensrepräsentation](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-xps/unit-de-xps-14.png)
![Problemklassen für Expertensysteme Analyse](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-xps/unit-de-xps-15.png)
![Problemklassen für Expertensysteme Analyse](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-xps/unit-de-xps-16.png)
![Problemklassen für Expertensysteme Synthese](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-xps/unit-de-xps-17.png)
![Problemklassen für Expertensysteme Synthese](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-xps/unit-de-xps-18.png)
![Bemerkungen: Die Problemklassen bestimmen die in Exeprtensystemen zum Einsatz kommenden](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-xps/unit-de-xps-19.png)
![Kapitel MK:II II. Wissensrepräsentation](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-xps/unit-de-xps-20.png)
![Erstellung wissensbasierter Systeme Die Erstellung von Programmen, die eine Lösung schlecht strukturierbarer bzw.](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-xps/unit-de-xps-21.png)
![Bemerkungen: Die Lösung des Akquisitions-, Repräsentations- und Inferenzproblems ist keine Garantie für](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-xps/unit-de-xps-22.png)
![Erstellung wissensbasierter Systeme Lösung des Akquisitionsproblems [Karbach/Linster 1990]](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-xps/unit-de-xps-23.png)
![Erstellung wissensbasierter Systeme Werkzeuge](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-xps/unit-de-xps-24.png)
![Bemerkungen: (a) Shells (EMycin, Nexpert Object, Twaice):](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-xps/unit-de-xps-25.png)
![Erstellung wissensbasierter Systeme Aus meiner Erfahrung](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-xps/unit-de-xps-26.png)
![Erstellung wissensbasierter Systeme LOOPS [PARC 1982-1986]](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-xps/unit-de-xps-27.png)
![Erstellung wissensbasierter Systeme Colab [PARC 1982-1986]](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-xps/unit-de-xps-28.png)
![Bemerkungen: Blickt man zurück, kann man von dem Fortschritt enttäuscht sein.](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-xps/unit-de-xps-29.png)
![Kapitel MK:III III. Begriffe der Modellierung](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-model-system/unit-de-model-system-1.png)
![System und Modell Beispiel 1: Der unbequeme Philosoph](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-model-system/unit-de-model-system-2.png)
![System und Modell Beispiel 1: Der unbequeme Philosoph](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-model-system/unit-de-model-system-3.png)
![System und Modell Beispiel 2: Fail-Safe-Überprüfung einer Presse](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-model-system/unit-de-model-system-4.png)
![System und Modell Beispiel 2: Fail-Safe-Überprüfung einer Presse](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-model-system/unit-de-model-system-5.png)
![System und Modell Definition 1 (System)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-model-system/unit-de-model-system-6.png)
![System und Modell Ein Analyseproblem zu lösen, bedeutet, Fragen bezüglich eines Systems zu](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-model-system/unit-de-model-system-7.png)
![System und Modell Ein Analyseproblem zu lösen, bedeutet, Fragen bezüglich eines Systems zu](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-model-system/unit-de-model-system-8.png)
![System und Modell Ausführung eines Experiments am System? – dagegen spricht:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-model-system/unit-de-model-system-9.png)
![System und Modell Definition 3 (Model, Modell [Minsky 1965])](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-model-system/unit-de-model-system-10.png)
![System und Modell Definition 3 (Model, Modell [Minsky 1965])](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-model-system/unit-de-model-system-11.png)
![Kapitel MK:III III. Begriffe der Modellierung](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-model-system/unit-de-model-system-12.png)
![Modellieren zum Schlussfolgern Beispiel 1: Der unbequeme Philosoph](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-model-system/unit-de-model-system-13.png)
![Modellieren zum Schlussfolgern Beispiel 2: Fail-Safe-Überprüfung einer Presse](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-model-system/unit-de-model-system-14.png)
![Modellieren zum Schlussfolgern Nahezu alle Situationen, in denen wir einen Sachverhalt analysieren, basieren auf](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-model-system/unit-de-model-system-15.png)
![Modellieren zum Schlussfolgern Nahezu alle Situationen, in denen wir einen Sachverhalt analysieren, basieren auf](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-model-system/unit-de-model-system-16.png)
![Modellieren zum Schlussfolgern Die Beschreibung des Wissens über ein System (Realität) geschieht](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-model-system/unit-de-model-system-17.png)
![Modellieren zum Schlussfolgern Die Beschreibung des Wissens über ein System (Realität) geschieht](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-model-system/unit-de-model-system-18.png)
![Bemerkungen:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-model-system/unit-de-model-system-19.png)
![Kapitel MK:III III. Begriffe der Modellierung](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-model-formation/unit-de-model-formation-1.png)
![Modellbildung Klassifikation von Modellen hinsichtlich ihrer Repräsentation:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-model-formation/unit-de-model-formation-2.png)
![Modellbildung Klassifikation von Modellen hinsichtlich ihrer Repräsentation:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-model-formation/unit-de-model-formation-3.png)
![Modellbildung Ablauf der Top-Down-Modellbildung: Abstrakte Modelle werden auf weniger](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-model-formation/unit-de-model-formation-4.png)
![Kapitel MK:III III. Begriffe der Modellierung](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-model-formation/unit-de-model-formation-5.png)
![Systemraum und Modellraum Ein Syntheseproblem zu lösen, bedeutet, Fragen bezüglich einer Menge von](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-model-formation/unit-de-model-formation-6.png)
![Systemraum und Modellraum Ein Syntheseproblem zu lösen, bedeutet, Fragen bezüglich einer Menge von](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-model-formation/unit-de-model-formation-7.png)
![Systemraum und Modellraum Ausweg: Synthese von Modellen für die interessierenden Systeme (Modellraum)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-model-formation/unit-de-model-formation-8.png)
![Systemraum und Modellraum Klassifikation von Modellräumen hinsichtlich ihrer Repräsentation:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-model-formation/unit-de-model-formation-9.png)
![Systemraum und Modellraum Klassifikation von Modellräumen hinsichtlich ihrer Repräsentation:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-model-formation/unit-de-model-formation-10.png)
![Kapitel MK:III III. Begriffe der Modellierung](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-model-formation/unit-de-model-formation-11.png)
![Adäquate Modellierung](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-model-formation/unit-de-model-formation-12.png)
![Adäquate Modellierung](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-model-formation/unit-de-model-formation-13.png)
![Adäquate Modellierung](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-model-formation/unit-de-model-formation-14.png)
![Adäquate Modellierung Wieviel ist bekannt über das System?](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-model-formation/unit-de-model-formation-15.png)
![Adäquate Modellierung Wieviel ist bekannt über das System?](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-model-formation/unit-de-model-formation-16.png)
![Kapitel MK:IV IV. Modellieren mit Constraints](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-introduction/unit-de-constraints-introduction-1.png)
![Einführung und frühe Systeme Constraints sind eine Softwaretechnik zur deklarativen Beschreibung und zum](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-introduction/unit-de-constraints-introduction-2.png)
![Einführung und frühe Systeme Beispiel](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-introduction/unit-de-constraints-introduction-3.png)
![Bemerkungen: Regeln stellen gerichtete Zusammenhänge auf.](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-introduction/unit-de-constraints-introduction-4.png)
![Einführung und frühe Systeme Algebraische Constraints in EL [Sussmann/Stallman 1977]](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-introduction/unit-de-constraints-introduction-5.png)
![Einführung und frühe Systeme Algebraische Constraints in EL](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-introduction/unit-de-constraints-introduction-6.png)
![Einführung und frühe Systeme Nicht-algebraische Constraints in Waltz [Waltz 1972]](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-introduction/unit-de-constraints-introduction-7.png)
![Einführung und frühe Systeme Nicht-algebraische Constraints in Waltz](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-introduction/unit-de-constraints-introduction-8.png)
![Einführung und frühe Systeme Nicht-algebraische Constraints in Waltz](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-introduction/unit-de-constraints-introduction-9.png)
![Bemerkungen:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-introduction/unit-de-constraints-introduction-10.png)
![Einführung und frühe Systeme Nicht-algebraische Constraints in Waltz](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-introduction/unit-de-constraints-introduction-11.png)
![Einführung und frühe Systeme Nicht-algebraische Constraints in Waltz](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-introduction/unit-de-constraints-introduction-12.png)
![Bemerkungen: Eventuell führt Waltz-Filtern nicht zu einer eindeutigen Lösung. Warum nicht?](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-introduction/unit-de-constraints-introduction-13.png)
![Einführung und frühe Systeme Gegenüberstellung von EL und Waltz](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-introduction/unit-de-constraints-introduction-14.png)
![Bemerkungen: Die Algebra setzt der Leistungsfähigkeit des Ansatzes enge Grenzen.](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-introduction/unit-de-constraints-introduction-15.png)
![Einführung und frühe Systeme Constraint-Repräsentationsformen](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-introduction/unit-de-constraints-introduction-16.png)
![Einführung und frühe Systeme Constraint-Repräsentationsformen](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-introduction/unit-de-constraints-introduction-17.png)
![Einführung und frühe Systeme Einsatz von Constraints](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-introduction/unit-de-constraints-introduction-18.png)
![Einführung und frühe Systeme Einsatz von Constraints](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-introduction/unit-de-constraints-introduction-19.png)
![Bemerkungen: Oft impliziert die Lösung von (1) die Lösung von (2).](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-introduction/unit-de-constraints-introduction-20.png)
![Kapitel MK:IV IV. Modellieren mit Constraints](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-introduction/unit-de-constraints-introduction-21.png)
![Konsistenz I Definition 1 (Constraint, erfüllt, Constraint-Netz)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-introduction/unit-de-constraints-introduction-22.png)
![Konsistenz I Definition 1 (Constraint, erfüllt, Constraint-Netz)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-introduction/unit-de-constraints-introduction-23.png)
![Bemerkungen: Einstellige Constraints werden auch als unäre Constraints bezeichnet.](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-introduction/unit-de-constraints-introduction-24.png)
![Konsistenz I Beispiel für ein algebraisches Constraint-Netz:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-introduction/unit-de-constraints-introduction-25.png)
![Konsistenz I Definition 2 (lokale Konsistenz)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-introduction/unit-de-constraints-introduction-26.png)
![Konsistenz I Beispiel:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-introduction/unit-de-constraints-introduction-27.png)
![Bemerkungen:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-introduction/unit-de-constraints-introduction-28.png)
![Konsistenz I Definition 3 (globale Konsistenz)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-introduction/unit-de-constraints-introduction-29.png)
![Konsistenz I Beispiel:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-introduction/unit-de-constraints-introduction-30.png)
![Konsistenz I Definition 4 (Constraint-Graph)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-introduction/unit-de-constraints-introduction-31.png)
![Konsistenz I Definition 4 (Constraint-Graph](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-introduction/unit-de-constraints-introduction-32.png)
![Bemerkungen: Der Kanten-Constraint-Graph ist im allgemeinen Fall ein Hypergraph, wobei jeder Knoten](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-introduction/unit-de-constraints-introduction-33.png)
![Konsistenz I Beispiel-Constraint-Graph:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-introduction/unit-de-constraints-introduction-34.png)
![Konsistenz I Satz 5 (hinreichende Konsistenzbedingungen [Freuder 1982])](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-introduction/unit-de-constraints-introduction-35.png)
![Kapitel MK:IV IV. Modellieren mit Constraints](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd1/unit-de-constraints-fd1-1.png)
![Binarization Definition 6 (CSP-FD [vgl. Constraint-Definition])](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd1/unit-de-constraints-fd1-2.png)
![Binarization Definition 7 (Binarization)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd1/unit-de-constraints-fd1-3.png)
![Bemerkungen:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd1/unit-de-constraints-fd1-4.png)
![Binarization Beispiel (als Kanten-Constraint-Graph):](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd1/unit-de-constraints-fd1-5.png)
![Binarization Beispiel (als Kanten-Constraint-Graph):](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd1/unit-de-constraints-fd1-6.png)
![Binarization Beispiel (als Knoten-Constraint-Graph):](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd1/unit-de-constraints-fd1-7.png)
![Binarization Beispiel (als Knoten-Constraint-Graph):](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd1/unit-de-constraints-fd1-8.png)
![Kapitel MK:IV IV. Modellieren mit Constraints](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd1/unit-de-constraints-fd1-9.png)
![Generate-and-Test (GT) Lösungsverfahren für ein CSP auf endlichen Wertebereichen](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd1/unit-de-constraints-fd1-10.png)
![Bemerkungen:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd1/unit-de-constraints-fd1-11.png)
![Generate-and-Test Schema eines GT-Algorithmus:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd1/unit-de-constraints-fd1-12.png)
![Bemerkungen: Weiterhin können die genannten Lösungsverfahren hinsichtlich einer konstruktiven und einer](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd1/unit-de-constraints-fd1-13.png)
![Generate-and-Test Propose-and-Improve](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd1/unit-de-constraints-fd1-14.png)
![Generate-and-Test Propose-and-Improve](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd1/unit-de-constraints-fd1-15.png)
![Generate-and-Test Propose-and-Improve](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd1/unit-de-constraints-fd1-16.png)
![Kapitel MK:IV IV. Modellieren mit Constraints](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd1/unit-de-constraints-fd1-17.png)
![Backtracking (BT) -basierte Verfahren Lösungsverfahren für ein CSP auf endlichen Wertebereichen](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd1/unit-de-constraints-fd1-18.png)
![Backtracking-basierte Verfahren Schema eines BT-Algorithmus:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd1/unit-de-constraints-fd1-19.png)
![Backtracking-basierte Verfahren Algorithm:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd1/unit-de-constraints-fd1-20.png)
![Bemerkungen:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd1/unit-de-constraints-fd1-21.png)
![Backtracking-basierte Verfahren Durch die sukzessive Hinzunahme von Variablen wird das Constraint-Netz bei der](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd1/unit-de-constraints-fd1-22.png)
![Backtracking-basierte Verfahren Probleme bei Backtracking](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd1/unit-de-constraints-fd1-23.png)
![Backtracking-basierte Verfahren Probleme bei Backtracking](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd1/unit-de-constraints-fd1-24.png)
![Bemerkungen: Ursache für Thrashing: Existenz von Constraint(s) C(xi , xj ), so dass die Belegung(en) für xi](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd1/unit-de-constraints-fd1-25.png)
![Backtracking-basierte Verfahren Probleme bei Backtracking](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd1/unit-de-constraints-fd1-26.png)
![Bemerkungen: Ursache für Redundancy: Nach einem Backtracking stellt man erneut fest, dass bestimmte](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd1/unit-de-constraints-fd1-27.png)
![Backtracking-basierte Verfahren Backtracking mit Konfliktanalyse: Backjumping (BJ)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd1/unit-de-constraints-fd1-28.png)
![Bemerkungen:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd1/unit-de-constraints-fd1-29.png)
![Backtracking-basierte Verfahren Backtracking mit Konfliktanalyse: Backjumping (BJ)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd1/unit-de-constraints-fd1-30.png)
![Bemerkungen: Wegen des Rücksprungs nach x1 wird die Lösung nicht gefunden.](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd1/unit-de-constraints-fd1-31.png)
![Backtracking-basierte Verfahren Backtracking mit Konfliktanalyse: Backjumping (BJ)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd1/unit-de-constraints-fd1-32.png)
![Bemerkungen: Findet man bei einem Rücksprung zur Variable x keinen Wert in ihrem Grundbereich D, der](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd1/unit-de-constraints-fd1-33.png)
![Backtracking-basierte Verfahren Backtracking mit Konfliktanalyse: Backjumping (BJ)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd1/unit-de-constraints-fd1-34.png)
![Bemerkungen:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd1/unit-de-constraints-fd1-35.png)
![Backtracking-basierte Verfahren Backtracking mit Konfliktanalyse: Backjumping (BJ)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd1/unit-de-constraints-fd1-36.png)
![Backtracking-basierte Verfahren Backtracking mit Konfliktanalyse: Backjumping (BJ)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd1/unit-de-constraints-fd1-37.png)
![Backtracking-basierte Verfahren Algorithm:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd1/unit-de-constraints-fd1-38.png)
![Bemerkungen: returnDepth definiert die Tiefe, zu der zurückgesprungen werden darf.](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd1/unit-de-constraints-fd1-39.png)
![Backtracking-basierte Verfahren Verbessertes Backjumping: Conflict-Directed Backjumping (CBJ)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd1/unit-de-constraints-fd1-40.png)
![Backtracking-basierte Verfahren Verbessertes Backjumping: Conflict-Directed Backjumping (CBJ)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd1/unit-de-constraints-fd1-41.png)
![Backtracking-basierte Verfahren Algorithm:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd1/unit-de-constraints-fd1-42.png)
![Bemerkungen: Prinzip von Conflict-Directed Backjumping (CBJ): Betrachte bei einem Rücksprung die](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd1/unit-de-constraints-fd1-43.png)
![Backtracking-basierte Verfahren Weitere Ansätze zur Effizienzsteigerung bei der Suchraumexploration](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd1/unit-de-constraints-fd1-44.png)
![Bemerkungen: Backmarking verfolgt exakt den Suchpfad von Backtracking, macht aber weniger ConstraintAuswertungen.](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd1/unit-de-constraints-fd1-45.png)
![Kapitel MK:IV IV. Modellieren mit Constraints](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd2/unit-de-constraints-fd2-1.png)
![Konsistenz II Ziel der Konsistenzanalyse ist die Entfernung inkonsistenter Werte in den](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd2/unit-de-constraints-fd2-2.png)
![Konsistenz II Definition 8 (Knotenkonsistenz)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd2/unit-de-constraints-fd2-3.png)
![Konsistenz II Definition 9 (Kantenkonsistenz)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd2/unit-de-constraints-fd2-4.png)
![Bemerkungen: Algorithmen zur Konsistenzanalyse sind lokale Verfahren. Was bedeutet das?](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd2/unit-de-constraints-fd2-5.png)
![Konsistenz II Lemma 10](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd2/unit-de-constraints-fd2-6.png)
![Konsistenz II Lemma 10](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd2/unit-de-constraints-fd2-7.png)
![Kapitel MK:IV IV. Modellieren mit Constraints](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd2/unit-de-constraints-fd2-8.png)
![Konsistenzanalyse Lösungsverfahren für ein CSP auf endlichen Wertebereichen](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd2/unit-de-constraints-fd2-9.png)
![Konsistenzanalyse Kantenkonsistenz in CSP-FD](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd2/unit-de-constraints-fd2-10.png)
![Konsistenzanalyse Kantenkonsistenz in CSP-FD](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd2/unit-de-constraints-fd2-11.png)
![Bemerkungen:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd2/unit-de-constraints-fd2-12.png)
![Konsistenzanalyse Kantenkonsistenz in CSP-FD](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd2/unit-de-constraints-fd2-13.png)
![Bemerkungen: Die Kantenkonsistenz eines Constraint-Netzes garantiert nicht seine globale Erfüllbarkeit](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd2/unit-de-constraints-fd2-14.png)
![Konsistenzanalyse Kantenkonsistenz in CSP-FD](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd2/unit-de-constraints-fd2-15.png)
![Bemerkungen:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd2/unit-de-constraints-fd2-16.png)
![Konsistenzanalyse Pfadkonsistenz in CSP-FD](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd2/unit-de-constraints-fd2-17.png)
![Bemerkungen: Jeder Constraint-Graph kann als vollständiger Graph interpretiert werden.](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd2/unit-de-constraints-fd2-18.png)
![Konsistenzanalyse Pfadkonsistenz in CSP-FD](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd2/unit-de-constraints-fd2-19.png)
![Konsistenzanalyse Pfadkonsistenz in CSP-FD [Montanari 1974]](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd2/unit-de-constraints-fd2-20.png)
![Bemerkungen:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd2/unit-de-constraints-fd2-21.png)
![Konsistenzanalyse Definition 14 (k-Konsistenz, strenge k-Konsistenz)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd2/unit-de-constraints-fd2-22.png)
![Bemerkungen: Knotenkonsistenz ist äquivalent zu strenger 1-Konsistenz.](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd2/unit-de-constraints-fd2-23.png)
![Konsistenzanalyse k-Konsistenz und Backtracking-freie Suche](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd2/unit-de-constraints-fd2-24.png)
![Bemerkungen: Ein streng (n − 1)-konsistentem Constraint-Netz auf n Variablen muss keine Lösung](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd2/unit-de-constraints-fd2-25.png)
![Konsistenzanalyse k-Konsistenz und Backtracking-freie Suche](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd2/unit-de-constraints-fd2-26.png)
![Konsistenzanalyse k-Konsistenz und Backtracking-freie Suche](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd2/unit-de-constraints-fd2-27.png)
![Bemerkungen: Jedes Suchverfahren definiert implizit eine Ordnung auf den Constraint-Variablen.](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd2/unit-de-constraints-fd2-28.png)
![Konsistenzanalyse k-Konsistenz und Backtracking-freie Suche](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd2/unit-de-constraints-fd2-29.png)
![Bemerkungen: Die Instanziierungsreihenfolge ist durch die Ordnung des Constraint-Netzes gegeben, bei](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd2/unit-de-constraints-fd2-30.png)
![Konsistenzanalyse k-Konsistenz und Backtracking-freie Suche](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd2/unit-de-constraints-fd2-31.png)
![Konsistenzanalyse Viele Suchverfahren instanziieren die Variablen in einer festen Reihenfolge (Stichwort: Tree-Search).](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd2/unit-de-constraints-fd2-32.png)
![Konsistenzanalyse Gerichtete Verfahren](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd2/unit-de-constraints-fd2-33.png)
![Bemerkungen:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd2/unit-de-constraints-fd2-34.png)
![Konsistenzanalyse Gerichtete Verfahren](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd2/unit-de-constraints-fd2-35.png)
![Bemerkungen:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd2/unit-de-constraints-fd2-36.png)
![Konsistenzanalyse Praktikabilität der Verfahren](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd2/unit-de-constraints-fd2-37.png)
![Konsistenzanalyse Lösungsverfahren für ein CSP auf endlichen Wertebereichen](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd2/unit-de-constraints-fd2-38.png)
![Konsistenzanalyse Kombination mit Backtracking](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd2/unit-de-constraints-fd2-39.png)
![Konsistenzanalyse Kombination mit Backtracking](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd2/unit-de-constraints-fd2-40.png)
![Konsistenzanalyse Kombination mit Backtracking](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd2/unit-de-constraints-fd2-41.png)
![Bemerkungen: Generate-and-Test erzeugt eine Instanziierung für alle Variablen; Konsistenzanalyse (Filtern)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd2/unit-de-constraints-fd2-42.png)
![Konsistenzanalyse Kombination mit Backtracking](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd2/unit-de-constraints-fd2-43.png)
![Konsistenzanalyse Kombination mit Backtracking](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd2/unit-de-constraints-fd2-44.png)
![Kapitel MK:IV IV. Modellieren mit Constraints](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd2/unit-de-constraints-fd2-45.png)
![Weitere Analyseverfahren Lösungsverfahren für ein CSP auf endlichen Wertebereichen](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd2/unit-de-constraints-fd2-46.png)
![Weitere Analyseverfahren Variablensortierung](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd2/unit-de-constraints-fd2-47.png)
![Bemerkungen:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd2/unit-de-constraints-fd2-48.png)
![Weitere Analyseverfahren Constraint-Netz-Reformulierung](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd2/unit-de-constraints-fd2-49.png)
![Weitere Analyseverfahren Constraint-Netz-Reformulierung: Cycle-Cut-Set-Analyse](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd2/unit-de-constraints-fd2-50.png)
![Bemerkungen:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd2/unit-de-constraints-fd2-51.png)
![Weitere Analyseverfahren Constraint-Netz-Reformulierung: Cycle-Cut-Set-Analyse](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-fd2/unit-de-constraints-fd2-52.png)
![Kapitel MK:IV IV. Modellieren mit Constraints](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-ifd/unit-de-constraints-ifd-1.png)
![Algebraische Constraints Beispiel Addierer A + B = C:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-ifd/unit-de-constraints-ifd-2.png)
![Algebraische Constraints Beispiel Addierer A + B = C:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-ifd/unit-de-constraints-ifd-3.png)
![Algebraische Constraints Definition 19 (lokal bestimmt (locally determined))](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-ifd/unit-de-constraints-ifd-4.png)
![Algebraische Constraints Definition 20 (Einschrittableitung)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-ifd/unit-de-constraints-ifd-5.png)
![Bemerkungen: Algebraische Constraints sind Constraints auf nicht-endlichen Wertebereichen.](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-ifd/unit-de-constraints-ifd-6.png)
![Algebraische Constraints Grenzen lokaler Wertepropagierung I](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-ifd/unit-de-constraints-ifd-7.png)
![Algebraische Constraints Grenzen lokaler Wertepropagierung II](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-ifd/unit-de-constraints-ifd-8.png)
![Algebraische Constraints Constraint-Löser „gaussElimination“](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-ifd/unit-de-constraints-ifd-9.png)
![Algebraische Constraints Intervallpropagierung](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-ifd/unit-de-constraints-ifd-10.png)
![Algebraische Constraints Intervallpropagierung](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-ifd/unit-de-constraints-ifd-11.png)
![Kapitel MK:IV IV. Modellieren mit Constraints](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-ifd/unit-de-constraints-ifd-12.png)
![Intervall Constraints Intervall Constraint Satisfaction Problem (I-CSP)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-ifd/unit-de-constraints-ifd-13.png)
![Intervall Constraints Intervall Constraint Satisfaction Problem (I-CSP)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-ifd/unit-de-constraints-ifd-14.png)
![Intervall Constraints Intervall Constraint Satisfaction Problem (I-CSP)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-ifd/unit-de-constraints-ifd-15.png)
![Bemerkungen:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-ifd/unit-de-constraints-ifd-16.png)
![Intervall Constraints Lokale Toleranzpropagierung für I-CSP](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-ifd/unit-de-constraints-ifd-17.png)
![Bemerkungen: Intervallpropagierung erfordert die Berechnung von Minimum und Maximum der expliziten](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-ifd/unit-de-constraints-ifd-18.png)
![Intervall Constraints Lokale Toleranzpropagierung für I-CSP](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-constraints-ifd/unit-de-constraints-ifd-19.png)
![Kapitel MK:V V. Diagnoseansätze](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-bayes/unit-de-diagnosis-bayes-1.png)
![Diagnoseproblemstellung Begriffe](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-bayes/unit-de-diagnosis-bayes-2.png)
![Bemerkungen:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-bayes/unit-de-diagnosis-bayes-3.png)
![Diagnoseproblemstellung Modellierung](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-bayes/unit-de-diagnosis-bayes-4.png)
![Diagnoseproblemstellung Modellierung](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-bayes/unit-de-diagnosis-bayes-5.png)
![Diagnoseproblemstellung Statistische Diagnose](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-bayes/unit-de-diagnosis-bayes-6.png)
![Diagnoseproblemstellung Statistische Diagnose](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-bayes/unit-de-diagnosis-bayes-7.png)
![Diagnoseproblemstellung Prinzip der statistischen Diagnose](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-bayes/unit-de-diagnosis-bayes-8.png)
![Kapitel MK:V V. Diagnoseansätze](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-bayes/unit-de-diagnosis-bayes-9.png)
![Diagnose mit Bayes Satz von Bayes](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-bayes/unit-de-diagnosis-bayes-10.png)
![Diagnose mit Bayes Satz von Bayes](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-bayes/unit-de-diagnosis-bayes-11.png)
![Diagnose mit Bayes Satz von Bayes (Verallgemeinerung)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-bayes/unit-de-diagnosis-bayes-12.png)
![Diagnose mit Bayes Satz von Bayes (Verallgemeinerung)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-bayes/unit-de-diagnosis-bayes-13.png)
![Bemerkungen: Ereignisse sind Teilmengen eines Ergebnisraums Ω = {ω1 , . . . , ωn }. Wie Ω tatsächlich](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-bayes/unit-de-diagnosis-bayes-14.png)
![Diagnose mit Bayes Beispiel](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-bayes/unit-de-diagnosis-bayes-15.png)
![Diagnose mit Bayes Beispiel](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-bayes/unit-de-diagnosis-bayes-16.png)
![Diagnose mit Bayes Beispiel](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-bayes/unit-de-diagnosis-bayes-17.png)
![Diagnose mit Bayes Diskussion](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-bayes/unit-de-diagnosis-bayes-18.png)
![Diagnose mit Bayes Diskussion](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-bayes/unit-de-diagnosis-bayes-19.png)
![Bemerkungen:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-bayes/unit-de-diagnosis-bayes-20.png)
![Diagnose mit Bayes Interpretation des Konzeptes „Wahrscheinlichkeit“](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-bayes/unit-de-diagnosis-bayes-21.png)
![Diagnose mit Bayes Interpretation des Konzeptes „Wahrscheinlichkeit“](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-bayes/unit-de-diagnosis-bayes-22.png)
![Diagnose mit Bayes Interpretation des Konzeptes „Wahrscheinlichkeit“](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-bayes/unit-de-diagnosis-bayes-23.png)
![Diagnose mit Bayes Subjektivistische Verwendung von Bayes](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-bayes/unit-de-diagnosis-bayes-24.png)
![Diagnose mit Bayes Subjektivistische Verwendung von Bayes](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-bayes/unit-de-diagnosis-bayes-25.png)
![Bemerkungen:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-bayes/unit-de-diagnosis-bayes-26.png)
![Diagnose mit Bayes Subjektivistische Verwendung von Bayes](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-bayes/unit-de-diagnosis-bayes-27.png)
![Diagnose mit Bayes Subjektivistische Verwendung von Bayes](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-bayes/unit-de-diagnosis-bayes-28.png)
![Diagnose mit Bayes Subjektivistische Verwendung von Bayes](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-bayes/unit-de-diagnosis-bayes-29.png)
![Chapter MK:V V. Diagnoseansätze](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-dempster/unit-de-diagnosis-dempster-1.png)
![Evidenztheorie von Dempster/Shafer Forderungen der klassischen Wahrscheinlichkeitstheorie](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-dempster/unit-de-diagnosis-dempster-2.png)
![Evidenztheorie von Dempster/Shafer Evidenzen statt Wahrscheinlichkeiten](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-dempster/unit-de-diagnosis-dempster-3.png)
![Evidenztheorie von Dempster/Shafer Evidenzen statt Wahrscheinlichkeiten](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-dempster/unit-de-diagnosis-dempster-4.png)
![Evidenztheorie von Dempster/Shafer Evidenzen statt Wahrscheinlichkeiten](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-dempster/unit-de-diagnosis-dempster-5.png)
![Evidenztheorie von Dempster/Shafer Definition 1 (Wahrnehmungsrahmen (Frame of Discernment))](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-dempster/unit-de-diagnosis-dempster-6.png)
![Evidenztheorie von Dempster/Shafer Definition 2 (Basismaß (Evidenz), fokales Element)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-dempster/unit-de-diagnosis-dempster-7.png)
![Bemerkungen:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-dempster/unit-de-diagnosis-dempster-8.png)
![Evidenztheorie von Dempster/Shafer Beispiel [Lehmann 2002]:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-dempster/unit-de-diagnosis-dempster-9.png)
![Evidenztheorie von Dempster/Shafer Definition 3 (Believe-Funktion)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-dempster/unit-de-diagnosis-dempster-10.png)
![Bemerkungen:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-dempster/unit-de-diagnosis-dempster-11.png)
![Evidenztheorie von Dempster/Shafer Beispiel [Lehmann 2002]](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-dempster/unit-de-diagnosis-dempster-12.png)
![Evidenztheorie von Dempster/Shafer Definition 5 (Doubt-Funktion)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-dempster/unit-de-diagnosis-dempster-13.png)
![Bemerkungen:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-dempster/unit-de-diagnosis-dempster-14.png)
![Evidenztheorie von Dempster/Shafer Definition 7 (Unwissenheit, Unsicherheitsintervall)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-dempster/unit-de-diagnosis-dempster-15.png)
![Evidenztheorie von Dempster/Shafer Beispiel [Lehmann 2002]](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-dempster/unit-de-diagnosis-dempster-16.png)
![Bemerkungen: C als Nichtraucher kommt nach dem Fund der Zigarrenasche als Täter nicht mehr in Frage,](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-dempster/unit-de-diagnosis-dempster-17.png)
![Evidenztheorie von Dempster/Shafer Theorem 8 (Belief-Funktion und Wahrscheinlichkeiten)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-dempster/unit-de-diagnosis-dempster-18.png)
![Bemerkungen:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-dempster/unit-de-diagnosis-dempster-19.png)
![Evidenztheorie von Dempster/Shafer Frage: Wie verheiratet man zwei Expertenmeinungen ('‘best of both'’)?](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-dempster/unit-de-diagnosis-dempster-20.png)
![Evidenztheorie von Dempster/Shafer Frage: Wie verheiratet man zwei Expertenmeinungen ('‘best of both'’)?](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-dempster/unit-de-diagnosis-dempster-21.png)
![Evidenztheorie von Dempster/Shafer Theorem 11 (akkumulierte Evidenz)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-dempster/unit-de-diagnosis-dempster-22.png)
![Bemerkungen:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-dempster/unit-de-diagnosis-dempster-23.png)
![Chapter MK:V V. Diagnoseansätze](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-dempster/unit-de-diagnosis-dempster-24.png)
![Diagnose mit Dempster/Shafer Beispiel](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-dempster/unit-de-diagnosis-dempster-25.png)
![Diagnose mit Dempster/Shafer Beispiel](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-dempster/unit-de-diagnosis-dempster-26.png)
![Diagnose mit Dempster/Shafer Beispiel](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-dempster/unit-de-diagnosis-dempster-27.png)
![Diagnose mit Dempster/Shafer Beispiel](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-dempster/unit-de-diagnosis-dempster-28.png)
![Diagnose mit Dempster/Shafer Beispiel](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-dempster/unit-de-diagnosis-dempster-29.png)
![Bemerkungen: Die leere Menge repräsentiert die Hypothese, dass keine der Diagnosen zutrifft.](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-dempster/unit-de-diagnosis-dempster-30.png)
![Diagnose mit Dempster/Shafer Diskussion](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-dempster/unit-de-diagnosis-dempster-31.png)
![Bemerkungen:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-dempster/unit-de-diagnosis-dempster-32.png)
![Diagnose mit Dempster/Shafer Diskussion](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-dempster/unit-de-diagnosis-dempster-33.png)
![Statistische Diagnoseverfahren Zusammenfassung](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-dempster/unit-de-diagnosis-dempster-34.png)
![Bemerkungen: Es existieren nur wenige erfolgreiche Diagnosesysteme auf der Basis des Bayes’schen](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-dempster/unit-de-diagnosis-dempster-35.png)
![Chapter MK:V V. Diagnoseansätze](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-tms/unit-en-diagnosis-tms-1.png)
![Truth Maintenance Non-Monotonicity](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-tms/unit-en-diagnosis-tms-2.png)
![Remarks: The examples are typical for many diagnosis situations.](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-tms/unit-en-diagnosis-tms-3.png)
![Truth Maintenance Operationalization](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-tms/unit-en-diagnosis-tms-4.png)
![Truth Maintenance Definition 12 (Datum, Node)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-tms/unit-en-diagnosis-tms-5.png)
![Truth Maintenance Communication between the TMS and the inference engine is in terms of nodes:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-tms/unit-en-diagnosis-tms-6.png)
![Remarks: A datum is worth to be to be remembered / maintained / reasoned about / retracted /](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-tms/unit-en-diagnosis-tms-7.png)
![Truth Maintenance The inference engine communicates the important (a subset of all) deductions to](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-tms/unit-en-diagnosis-tms-8.png)
![Remarks: In the example, “N0003” is the consequent, “MODUS-PONENS” is the informant, and](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-tms/unit-en-diagnosis-tms-9.png)
![Truth Maintenance Definition 14 (TMS Node Types)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-tms/unit-en-diagnosis-tms-10.png)
![Remarks:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-tms/unit-en-diagnosis-tms-11.png)
![Truth Maintenance Graphical notation, adopted from [Forbus/deKleer 1993]:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-tms/unit-en-diagnosis-tms-12.png)
![Truth Maintenance How Justifications Help](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-tms/unit-en-diagnosis-tms-13.png)
![Truth Maintenance How Justifications Help](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-tms/unit-en-diagnosis-tms-14.png)
![Truth Maintenance Formalization](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-tms/unit-en-diagnosis-tms-15.png)
![Truth Maintenance Label](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-tms/unit-en-diagnosis-tms-16.png)
![Remarks: If the rate of assumption changes is much larger then the number of queries about node](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-tms/unit-en-diagnosis-tms-17.png)
![Truth Maintenance Label](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-tms/unit-en-diagnosis-tms-18.png)
![Remarks: The inference engine should introduce as few assumptions as possible.](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-tms/unit-en-diagnosis-tms-19.png)
![Truth Maintenance JTMS versus ATMS](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-tms/unit-en-diagnosis-tms-20.png)
![Chapter MK:V V. Diagnoseansätze](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-tms/unit-en-diagnosis-tms-21.png)
![Assumption-Based TMS (ATMS) Example](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-tms/unit-en-diagnosis-tms-22.png)
![Assumption-Based TMS Example](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-tms/unit-en-diagnosis-tms-23.png)
![Assumption-Based TMS Terminology](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-tms/unit-en-diagnosis-tms-24.png)
![Remarks: The node h holds in six environments.](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-tms/unit-en-diagnosis-tms-25.png)
![Assumption-Based TMS ATMS Labels](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-tms/unit-en-diagnosis-tms-26.png)
![Assumption-Based TMS ATMS Labels](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-tms/unit-en-diagnosis-tms-27.png)
![Assumption-Based TMS ATMS Labels](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-tms/unit-en-diagnosis-tms-28.png)
![Remarks: If a node n has a label with no environment then n has no support; it does not mean that n is](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-tms/unit-en-diagnosis-tms-29.png)
![Assumption-Based TMS Summary of ATMS concepts in propositional logics:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-tms/unit-en-diagnosis-tms-30.png)
![Assumption-Based TMS Definition 15 (Hold, Nogood Set, Miminality)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-tms/unit-en-diagnosis-tms-31.png)
![Assumption-Based TMS Definition 15 (Hold, Nogood Set, Miminality)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-tms/unit-en-diagnosis-tms-32.png)
![Assumption-Based TMS Definition 16 (ATMS Label Properties)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-tms/unit-en-diagnosis-tms-33.png)
![Assumption-Based TMS Label Update](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-tms/unit-en-diagnosis-tms-34.png)
![Assumption-Based TMS Label Update](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-tms/unit-en-diagnosis-tms-35.png)
![Assumption-Based TMS Label Update](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-tms/unit-en-diagnosis-tms-36.png)
![Assumption-Based TMS Label Update](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-tms/unit-en-diagnosis-tms-37.png)
![Assumption-Based TMS Label Update](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-tms/unit-en-diagnosis-tms-38.png)
![Remarks:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-tms/unit-en-diagnosis-tms-39.png)
![Chapter MK:V V. Diagnoseansätze](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-1.png)
![Diagnosis Setting Technical Terms (recapitulation)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-2.png)
![Diagnosis Setting Modeling](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-3.png)
![Diagnosis Setting Model-based Diagnosis Example](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-4.png)
![Diagnosis Setting Model-based Diagnosis Example](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-5.png)
![Chapter MK:V V. Diagnoseansätze](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-6.png)
![Diagnosis with the GDE The most well-known model-based diagnosis approach is the quantitative,](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-7.png)
![Diagnosis with the GDE Reasoning in the Polybox Example](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-8.png)
![Remarks: At least one of M 1, M 2, A1 must be faulted to explain F = 10.](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-9.png)
![Diagnosis with the GDE Conflicts in Model-based Diagnosis](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-10.png)
![Diagnosis with the GDE Reasoning in the Polybox Example](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-11.png)
![Diagnosis with the GDE Reasoning in the Polybox Example](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-12.png)
![Diagnosis with the GDE Reasoning in the Polybox Example](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-13.png)
![Remarks:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-14.png)
![Diagnosis with the GDE Reasoning in the Polybox Example](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-15.png)
![Diagnosis with the GDE Reasoning in the Polybox Example](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-16.png)
![Diagnosis with the GDE Polybox Example + ATMS](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-17.png)
![Remarks:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-18.png)
![Diagnosis with the GDE Polybox Example + ATMS](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-19.png)
![Diagnosis with the GDE Polybox Example + ATMS](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-20.png)
![Diagnosis with the GDE Polybox Example + ATMS](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-21.png)
![Diagnosis with the GDE Polybox Example + ATMS](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-22.png)
![Diagnosis with the GDE Polybox Example + ATMS](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-23.png)
![Diagnosis with the GDE Polybox Example + ATMS](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-24.png)
![Remarks: The ATMS label database lists every possible prediction that can be made from the user](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-25.png)
![Diagnosis with the GDE Polybox Example + ATMS](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-26.png)
![Remarks: The ATMS maintains five environments in the shown situation: {M 1}, {M 2}, {M 3},](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-27.png)
![Diagnosis with the GDE Polybox Example + ATMS](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-28.png)
![Diagnosis with the GDE Polybox Example + ATMS](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-29.png)
![Remarks: There is a one-to-one correspondence between ATMS nogood sets mentioning only](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-30.png)
![Diagnosis with the GDE Polybox Example + ATMS](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-31.png)
![Diagnosis with the GDE Polybox Example + ATMS](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-32.png)
![Diagnosis with the GDE Polybox Example + ATMS](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-33.png)
![Diagnosis with the GDE Polybox Example + ATMS](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-34.png)
![Diagnosis with the GDE Minimal Diagnoses](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-35.png)
![Remarks: A multiple fault diagnosis may not be composed out of combinations of single fault](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-36.png)
![Diagnosis with the GDE Minimal Diagnoses](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-37.png)
![Remarks: Bottom of the lattice: Diagnosis in which nothing is faulted.](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-38.png)
![Diagnosis with the GDE Minimal Diagnoses](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-39.png)
![Remarks:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-40.png)
![Diagnosis with the GDE Measurement Selection](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-41.png)
![Diagnosis with the GDE Measurement Selection](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-42.png)
![Diagnosis with the GDE Measurement Selection](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-43.png)
![Diagnosis with the GDE Measurement Selection](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-44.png)
![Diagnosis with the GDE Measurement Selection](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-45.png)
![Remarks:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-46.png)
![Chapter MK:V V. Diagnoseansätze](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-47.png)
![Diagnosis with Reiter Diagnosis from First Principles](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-48.png)
![Remarks: SD defines the behavior of the components and the structure of the system.](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-49.png)
![Diagnosis with Reiter Diagnosis from First Principles](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-50.png)
![Remarks:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-51.png)
![Diagnosis with Reiter Example](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-52.png)
![Diagnosis with Reiter Example](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-53.png)
![Diagnosis with Reiter Diagnosis from First Principles](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-54.png)
![Remarks: Retracting all assumptions will always work, but is not very useful.](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-55.png)
![Diagnosis with Reiter Diagnosis from First Principles](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-56.png)
![Diagnosis with Reiter Diagnosis from First Principles](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-57.png)
![Remarks: Each diagnosis ∆ for hSD, COM P S, OBSi establishes a minimum hitting set respecting the](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-diagnosis-gde/unit-en-diagnosis-gde-58.png)
![Kapitel MK:V V. Diagnoseansätze](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-cbr/unit-de-diagnosis-cbr-1.png)
![Grundlagen fallbasierten Schließens Einleitung](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-cbr/unit-de-diagnosis-cbr-2.png)
![Grundlagen fallbasierten Schließens Einleitung](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-cbr/unit-de-diagnosis-cbr-3.png)
![Grundlagen fallbasierten Schließens Einleitung](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-cbr/unit-de-diagnosis-cbr-4.png)
![Grundlagen fallbasierten Schließens Einleitung](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-cbr/unit-de-diagnosis-cbr-5.png)
![Grundlagen fallbasierten Schließens Historie](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-cbr/unit-de-diagnosis-cbr-6.png)
![Bemerkungen: Die englische Bezeichnung für fallbasiertes Schließen ist Case-Based Reasoning (CBR).](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-cbr/unit-de-diagnosis-cbr-7.png)
![Grundlagen fallbasierten Schließens Definition 21 (Fall, Fallbasis)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-cbr/unit-de-diagnosis-cbr-8.png)
![Grundlagen fallbasierten Schließens Repräsentation eines Falles hP, Si ∈ C:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-cbr/unit-de-diagnosis-cbr-9.png)
![Grundlagen fallbasierten Schließens Problemmenge](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-cbr/unit-de-diagnosis-cbr-10.png)
![Grundlagen fallbasierten Schließens Zyklus des fallbasierten Schließens [Aamodt/Plaza 1994]](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-cbr/unit-de-diagnosis-cbr-11.png)
![Grundlagen fallbasierten Schließens Zyklus des fallbasierten Schließens](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-cbr/unit-de-diagnosis-cbr-12.png)
![Grundlagen fallbasierten Schließens Klassen fallbasierter Ansätze [Althoff 1992, Wess 1992]:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-cbr/unit-de-diagnosis-cbr-13.png)
![Grundlagen fallbasierten Schließens](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-cbr/unit-de-diagnosis-cbr-14.png)
![Grundlagen fallbasierten Schließens](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-cbr/unit-de-diagnosis-cbr-15.png)
![Bemerkungen:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-cbr/unit-de-diagnosis-cbr-16.png)
![Grundlagen fallbasierten Schließens Retrieve](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-cbr/unit-de-diagnosis-cbr-17.png)
![Grundlagen fallbasierten Schließens Retrieve](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-cbr/unit-de-diagnosis-cbr-18.png)
![Grundlagen fallbasierten Schließens Retrieve](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-cbr/unit-de-diagnosis-cbr-19.png)
![Grundlagen fallbasierten Schließens Retrieve](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-cbr/unit-de-diagnosis-cbr-20.png)
![Bemerkungen:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-cbr/unit-de-diagnosis-cbr-21.png)
![Grundlagen fallbasierten Schließens Retrieve](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-cbr/unit-de-diagnosis-cbr-22.png)
![Grundlagen fallbasierten Schließens Retrieve](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-cbr/unit-de-diagnosis-cbr-23.png)
![Bemerkungen:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-cbr/unit-de-diagnosis-cbr-24.png)
![Grundlagen fallbasierten Schließens Reuse](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-cbr/unit-de-diagnosis-cbr-25.png)
![Grundlagen fallbasierten Schließens Reuse](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-cbr/unit-de-diagnosis-cbr-26.png)
![Grundlagen fallbasierten Schließens Revise und Retain](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-cbr/unit-de-diagnosis-cbr-27.png)
![Bemerkungen: Der Retain-Schritt stellt die Lernkomponente in einem fallbasierten System dar.](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-cbr/unit-de-diagnosis-cbr-28.png)
![Kapitel MK:V V. Diagnoseansätze](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-cbr/unit-de-diagnosis-cbr-29.png)
![Fallbasierte Diagnose Beispiel](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-cbr/unit-de-diagnosis-cbr-30.png)
![Fallbasierte Diagnose Beispiel](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-cbr/unit-de-diagnosis-cbr-31.png)
![Fallbasierte Diagnose Beispiel](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-cbr/unit-de-diagnosis-cbr-32.png)
![Fallbasierte Diagnose Beispiel](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-cbr/unit-de-diagnosis-cbr-33.png)
![Fallbasierte Diagnose Beispiel](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-cbr/unit-de-diagnosis-cbr-34.png)
![Bemerkungen:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-cbr/unit-de-diagnosis-cbr-35.png)
![Fallbasierte Diagnose Diskussion](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-diagnosis-cbr/unit-de-diagnosis-cbr-36.png)
![Chapter MK:VI VI. Planning and Configuration](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-1.png)
![Remarks:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-2.png)
![Agent Systems Example: Monkey-and-Banana-Problem](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-3.png)
![Agent Systems Example: Monkey-and-Banana-Problem](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-4.png)
![Agent Systems Intelligent Agents](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-5.png)
![Remarks:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-6.png)
![Agent Systems Modeling in Agent Design: Classical View [Russell & Norvig]](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-7.png)
![Agent Systems Modeling in Agent Design: Model Levels](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-8.png)
![Agent Systems Modeling in Agent Design: Model Levels](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-9.png)
![Agent Systems Modeling in Agent Design: Model Levels](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-10.png)
![Agent Systems Agents as Part of the System Model: Observer’s View](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-11.png)
![Remarks:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-12.png)
![Remarks: (continued)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-13.png)
![Agent Systems Agent Capabilities: Designer’s View](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-14.png)
![Agent Systems Agent Capabilities: Designer’s View](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-15.png)
![Agent Systems Example: Loading Dock [Ghallab, Nau, Traverso]](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-16.png)
![Agent Systems Example: Loading Dock [Ghallab, Nau, Traverso]](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-17.png)
![Agent Systems Example: Loading Dock](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-18.png)
![Agent Systems Agents as Part of the System Model: Observer’s View](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-19.png)
![Remarks:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-20.png)
![Agent Systems Example: Loading Dock](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-21.png)
![Agent Systems Example: Loading Dock](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-22.png)
![Agent Systems Possible Restrictions of Planning Problems](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-23.png)
![Remarks:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-24.png)
![Agent Systems Possible Restrictions of Planning Problems](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-25.png)
![Chapter MK:VI VI. Planning and Configuration](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-26.png)
![Deductive Reasoning Agents Tasks in Planning](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-27.png)
![Deductive Reasoning Agents Agent Capabilities: Designers View](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-28.png)
![Remarks:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-29.png)
![Deductive Reasoning Agents Example: Loading Dock](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-30.png)
![Deductive Reasoning Agents Describing States](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-31.png)
![Deductive Reasoning Agents Describing States](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-32.png)
![Deductive Reasoning Agents Describing States](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-33.png)
![Deductive Reasoning Agents Describing State Spaces](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-34.png)
![Deductive Reasoning Agents Example: Monkey-and-Banana-Problem](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-35.png)
![Deductive Reasoning Agents Example: Monkey-and-Banana-Problem](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-36.png)
![Deductive Reasoning Agents Example: Monkey-and-Banana-Problem](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-37.png)
![Deductive Reasoning Agents Modeling Knowledge in Logic](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-38.png)
![Deductive Reasoning Agents Example: Monkey-and-Banana-Problem](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-39.png)
![Remarks:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-40.png)
![Deductive Reasoning Agents Example: Theorem Proving](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-41.png)
![Chapter MK:VI VI. Planning and Configuration](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-42.png)
![Planning Language STRIPS Planning Language](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-43.png)
![Remarks:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-44.png)
![Planning Language STRIPS Language (restricted version)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-45.png)
![Remarks:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-46.png)
![Planning Language Example: Loading Dock](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-47.png)
![Planning Language STRIPS Language (restricted version)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-48.png)
![Remarks:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-49.png)
![Planning Language Example: Loading Dock](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-50.png)
![Planning Language STRIPS Language (restricted version)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-51.png)
![Remarks:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-52.png)
![Planning Language Example: Loading Dock](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-53.png)
![Planning Language STRIPS Language (restricted version)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-54.png)
![Planning Language Example: Loading Dock](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-55.png)
![Planning Language Example: Blocks World [Nilsson]](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-56.png)
![Remarks:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-57.png)
![Planning Language Example: Blocks World [Nilsson]](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-58.png)
![Remarks:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-59.png)
![Planning Language Classical Planning in STRIPS](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-60.png)
![Remarks:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-basics/unit-en-planning-basics-61.png)
![Chapter MK:VI VI. Planning and Configuration](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-1.png)
![Planning Algorithms Properties](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-2.png)
![Planning Algorithms Approaches and Restrictions](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-3.png)
![Planning Algorithms Approaches and Restrictions](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-4.png)
![Planning Algorithms Planning as State Space Search](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-5.png)
![Planning Algorithms Planning as Plan Space Search](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-6.png)
![Planning Algorithms HTN Planning](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-7.png)
![Remarks:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-8.png)
![Chapter MK:VI VI. Planning and Configuration](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-9.png)
![State-Space Planning Forward Search in State Spaces (Progression Planning)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-10.png)
![State-Space Planning Forward Search in State Spaces (Progression Planning)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-11.png)
![Remarks:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-12.png)
![State-Space Planning Example: Forward Search in Blocks World](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-13.png)
![State-Space Planning Heuristics by Simplified Models](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-14.png)
![State-Space Planning Example: Model Simplification for the 8-Puzzle Problem](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-15.png)
![State-Space Planning Example: Model Simplification for the 8-Puzzle Problem](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-16.png)
![State-Space Planning Example: Model Simplification for the 8-Puzzle Problem](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-17.png)
![State-Space Planning Example: Model Simplification for the 8-Puzzle Problem](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-18.png)
![Remarks:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-19.png)
![State-Space Planning Example: Model Simplification for the 8-Puzzle Problem](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-20.png)
![State-Space Planning Generation of Heuristics by Simplified Models](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-21.png)
![State-Space Planning Example: Model Simplification for the 8-Puzzle Problem](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-22.png)
![State-Space Planning Backward Search in State Spaces (Regression Planning)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-23.png)
![State-Space Planning Backward Search in State Spaces (Regression Planning)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-24.png)
![State-Space Planning Backward Search in State Spaces (Regression Planning)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-25.png)
![Remarks:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-26.png)
![State-Space Planning Regression Planning To create a plan for a list of goal literals, we try to achieve all](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-27.png)
![Remarks:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-28.png)
![State-Space Planning Example: Regression Planning in Blocks World](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-29.png)
![State-Space Planning Determining Weakest Preconditions](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-30.png)
![Remarks:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-31.png)
![State-Space Planning Example: Regression Planning in Blocks World](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-32.png)
![State-Space Planning Example: Regression Planning in Blocks World](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-33.png)
![Remarks:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-34.png)
![State-Space Planning Regression Planning](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-35.png)
![State-Space Planning Example: Regression Planning in Blocks World](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-36.png)
![State-Space Planning Lifted Regression Planning in State Spaces](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-37.png)
![Remarks:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-38.png)
![State-Space Planning Lifted Regression Planning in State Spaces](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-39.png)
![Remarks:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-40.png)
![State-Space Planning Determining Lifted Weakest Preconditions](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-41.png)
![Remarks:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-42.png)
![State-Space Planning Determining Lifted Weakest Preconditions](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-43.png)
![State-Space Planning Example 1: Lifted Weakest Preconditions in Blocks World](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-44.png)
![State-Space Planning Example 1: Lifted Weakest Preconditions in Blocks World](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-45.png)
![State-Space Planning Example 1: Lifted Weakest Preconditions in Blocks World](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-46.png)
![State-Space Planning Example 2: Lifted Weakest Preconditions in Blocks World](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-47.png)
![State-Space Planning Example 2: Lifted Weakest Preconditions in Blocks World](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-48.png)
![State-Space Planning Example 2: Lifted Weakest Preconditions in Blocks World](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-49.png)
![Remarks:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-50.png)
![State-Space Planning Recursive STRIPS-Planning](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-51.png)
![Remarks:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-52.png)
![State-Space Planning Example: Sussman Anomaly in Blocks World](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-53.png)
![State-Space Planning Example: Sussman Anomaly in Blocks World](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-54.png)
![State-Space Planning Example: Sussman Anomaly in Blocks World](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-55.png)
![Remarks:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-56.png)
![State-Space Planning Example: Register Swapping Problem](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-57.png)
![Remarks:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-58.png)
![Plan-Space Planning Differences to State-Space Planning](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-59.png)
![Remarks:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-60.png)
![Plan-Space Planning Prerequisites for Partial-Order Planning](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-61.png)
![Remarks:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-62.png)
![Chapter MK:VI VI. Planning and Configuration](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-63.png)
![Plan-Space Planning Prerequisites for Partial-Order Planning](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-64.png)
![Plan-Space Planning Example: Representation of a Partial Plan for a Blocksworld Problem](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-65.png)
![Plan-Space Planning Example: Representation of a Partial Plan for a Blocksworld Problem](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-66.png)
![Plan-Space Planning Example: Representation of a Partial Plan for a Blocksworld Problem](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-67.png)
![Plan-Space Planning Example: Representation of a Partial Plan for a Blocksworld Problem](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-68.png)
![Plan-Space Planning Prerequisites for Partial-Order Planning](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-69.png)
![Plan-Space Planning Prerequisites for Partial-Order Planning](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-70.png)
![Plan-Space Planning Partial-Order Planning](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-71.png)
![Remarks:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-72.png)
![Plan-Space Planning Prerequisites for Partial-Order Planning](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-73.png)
![Remarks:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-74.png)
![Plan-Space Planning Partial-Order Planning](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-75.png)
![Remarks:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-76.png)
![Plan-Space Planning Example: Partial-Order Planning for the Sussman Anomaly](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-77.png)
![Plan-Space Planning Example: Partial-Order Planning for the Sussman Anomaly](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-78.png)
![Plan-Space Planning Example: Partial-Order Planning for the Sussman Anomaly](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-79.png)
![Plan-Space Planning Example: Partial-Order Planning for the Sussman Anomaly](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-80.png)
![Plan-Space Planning Example: Partial-Order Planning for the Sussman Anomaly](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-81.png)
![Plan-Space Planning Example: Partial-Order Planning for the Sussman Anomaly](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-82.png)
![Chapter MK:VI VI. Planning and Configuration](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-83.png)
![HTN Planning Prerequisites](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-84.png)
![HTN Planning Prerequisites](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-85.png)
![Remarks:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-86.png)
![HTN Planning Prerequisites](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-87.png)
![HTN Planning Prerequisites](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-88.png)
![HTN Planning Prerequisites](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-89.png)
![HTN Planning Prerequisites](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-90.png)
![HTN Planning Abstract HTN Planning](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-91.png)
![Remarks:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-92.png)
![HTN Planning Simplification of HTN Planning](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-93.png)
![Remarks:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-94.png)
![HTN Planning Total-Order Forward Decomposition HTN Planning](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-95.png)
![Remarks:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-96.png)
![HTN Planning Total-Order Forward Decomposition vs. Abstract HTN Planning](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-97.png)
![Remarks:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-algorithms/unit-en-planning-algorithms-98.png)
![Chapter MK:VI VI. Planning and Configuration](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-extensions/unit-en-planning-extensions-1.png)
![Erweiterungen Kontrolle der Planausführung](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-extensions/unit-en-planning-extensions-2.png)
![Bemerkungen:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-extensions/unit-en-planning-extensions-3.png)
![Erweiterungen Beispiel Dreiecktabelle in Blocks World](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-extensions/unit-en-planning-extensions-4.png)
![Erweiterungen Beispiel Dreiecktabelle in Blocks World](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-extensions/unit-en-planning-extensions-5.png)
![Erweiterungen Beispiel Dreiecktabelle in Blocks World](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-extensions/unit-en-planning-extensions-6.png)
![Erweiterungen Beispiel Dreiecktabelle in Blocks World](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-extensions/unit-en-planning-extensions-7.png)
![Erweiterungen Beispiel Dreiecktabelle in Blocks World](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-extensions/unit-en-planning-extensions-8.png)
![Erweiterungen Beispiel Dreiecktabelle in Blocks World](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-extensions/unit-en-planning-extensions-9.png)
![Erweiterungen STRIPS Grenzen](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-extensions/unit-en-planning-extensions-10.png)
![Bemerkungen:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-extensions/unit-en-planning-extensions-11.png)
![Erweiterungen Beispiel: STRIPS Grenzen bei impliziten Effekten (Ferber)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-extensions/unit-en-planning-extensions-12.png)
![Erweiterungen Beispiel: STRIPS Grenzen bei impliziten Effekten (Ferber)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-extensions/unit-en-planning-extensions-13.png)
![Erweiterungen Beispiel: STRIPS Erweiterung auf Multiagentensysteme (Ferber)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-extensions/unit-en-planning-extensions-14.png)
![Erweiterungen Beispiel: STRIPS Erweiterung auf Multiagentensysteme (Ferber)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-extensions/unit-en-planning-extensions-15.png)
![Erweiterungen Beispiel: STRIPS Erweiterung auf Multiagentensysteme (Ferber)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-extensions/unit-en-planning-extensions-16.png)
![Erweiterungen Beispiel: STRIPS Erweiterung auf Multiagentensysteme (Ferber)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-extensions/unit-en-planning-extensions-17.png)
![Erweiterungen ADL: Erweiterung von STRIPS](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-extensions/unit-en-planning-extensions-18.png)
![Erweiterungen PDDL: Erweiterung von ADL (McDermott)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-extensions/unit-en-planning-extensions-19.png)
![Erweiterungen PDDL: Erweiterung von ADL (McDermott)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-extensions/unit-en-planning-extensions-20.png)
![Erweiterungen PDDL: Erweiterung von ADL (McDermott)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-en-planning-extensions/unit-en-planning-extensions-21.png)
![Chapter MK:VI VI. Planning and Configuration](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-configuration-basics/unit-de-configuration-basics-1.png)
![Konfigurierungsproblemstellung Definition 23 (Konfigurieren)](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-configuration-basics/unit-de-configuration-basics-2.png)
![Konfigurierungsproblemstellung Merkmale von Konfigurierungsaufgaben [vgl. Bergmann, Richter]:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-configuration-basics/unit-de-configuration-basics-3.png)
![Konfigurierungsproblemstellung mögliche Kompositionen](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-configuration-basics/unit-de-configuration-basics-4.png)
![Bemerkungen: Konfigurierungsproblemstellungen gehören zur Problemklasse der Synthese.](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-configuration-basics/unit-de-configuration-basics-5.png)
![Konfigurierungsproblemstellung 1. Erstellen einer neuen Konfiguration.](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-configuration-basics/unit-de-configuration-basics-6.png)
![Konfigurierungsproblemstellung](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-configuration-basics/unit-de-configuration-basics-7.png)
![Konfigurierungsproblemstellung Automatisierung](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-configuration-basics/unit-de-configuration-basics-8.png)
![Bemerkungen:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-configuration-basics/unit-de-configuration-basics-9.png)
![Konfigurierungsproblemstellung Automatisierung](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-configuration-basics/unit-de-configuration-basics-10.png)
![Konfigurierungsproblemstellung Automatisierung](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-configuration-basics/unit-de-configuration-basics-11.png)
![Konfigurierungsproblemstellung Automatisierung](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-configuration-basics/unit-de-configuration-basics-12.png)
![Chapter MK:VI VI. Planning and Configuration](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-configuration-basics/unit-de-configuration-basics-13.png)
![Konfigurierungsansätze Paradigmen zum Lösen von Konfigurierungs- und Entwurfsaufgaben verknüpfen](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-configuration-basics/unit-de-configuration-basics-14.png)
![Konfigurierungsansätze Modellierung](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-configuration-basics/unit-de-configuration-basics-15.png)
![Konfigurierungsansätze Paradigma 1: Skelett-Konfigurieren](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-configuration-basics/unit-de-configuration-basics-16.png)
![Bemerkungen: Der Suchraum ist ein Und-Oder-Graph.](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-configuration-basics/unit-de-configuration-basics-17.png)
![Konfigurierungsansätze Paradigma 1: Skelett-Konfigurieren](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-configuration-basics/unit-de-configuration-basics-18.png)
![Bemerkungen: Verarbeitung des Und-Oder-Graphen mittels General Best First, GBF.](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-configuration-basics/unit-de-configuration-basics-19.png)
![Konfigurierungsansätze Paradigma 1: Skelett-Konfigurieren](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-configuration-basics/unit-de-configuration-basics-20.png)
![Bemerkungen:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-configuration-basics/unit-de-configuration-basics-21.png)
![Konfigurierungsansätze Paradigma 1: Skelett-Konfigurieren](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-configuration-basics/unit-de-configuration-basics-22.png)
![Konfigurierungsansätze Paradigma 1: Skelett-Konfigurieren](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-configuration-basics/unit-de-configuration-basics-23.png)
![Konfigurierungsansätze Paradigma 1: Skelett-Konfigurieren](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-configuration-basics/unit-de-configuration-basics-24.png)
![Konfigurierungsansätze Paradigma 2: Ressourcen-basiertes Konfigurieren](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-configuration-basics/unit-de-configuration-basics-25.png)
![Konfigurierungsansätze Paradigma 2: Ressourcen-basiertes Konfigurieren](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-configuration-basics/unit-de-configuration-basics-26.png)
![Bemerkungen: Ressourcen-basiertes Konfigurieren ist Generate-and-Test mit Bilanz-Abgleich.](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-configuration-basics/unit-de-configuration-basics-27.png)
![Konfigurierungsansätze Paradigma 2: Ressourcen-basiertes Konfigurieren](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-configuration-basics/unit-de-configuration-basics-28.png)
![Konfigurierungsansätze Paradigma 2: Ressourcen-basiertes Konfigurieren](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-configuration-basics/unit-de-configuration-basics-29.png)
![Konfigurierungsansätze Paradigma 2: Ressourcen-basiertes Konfigurieren](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-configuration-basics/unit-de-configuration-basics-30.png)
![Bemerkungen:](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-configuration-basics/unit-de-configuration-basics-31.png)
![Konfigurierungsansätze Paradigma 2: Ressourcen-basiertes Konfigurieren](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-configuration-basics/unit-de-configuration-basics-32.png)
![Konfigurierungsansätze Paradigma 3: Fallbasiertes Konfigurieren](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-configuration-basics/unit-de-configuration-basics-33.png)
![Konfigurierungsansätze Paradigma 4: Funktionale Abstraktion](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-configuration-basics/unit-de-configuration-basics-34.png)
![Konfigurierungsansätze Realisierungsaspekte](https://downloads.webis.de/lecturenotes/modeling-kbs/unit-de-configuration-basics/unit-de-configuration-basics-35.png)
Shortcut | Documents |
---|---|
↑/↓
|
Navigate documents |
Shift + ↑/↓
|
Navigate 3 documents |
Shortcut | Pages |
---|---|
←/→
|
Navigate pages |
Shift + MouseWheel
|
Navigate pages |
Shift + ←/→
|
Navigate 3 pages |