Inhaltsverzeichnis
1 Prolog.- 1.1 Anforderungen an Programme zur Steuerung in Echtzeit.- 1.2 Explizite Repräsentation von Wissen.- 1.3 Das Ziel.- 2 Grundlegende Konzepte.- 2.1 Darstellung von Zeit.- 2.2 Repräsentation von zeitbehaftetem Wissen.- 2.3 Strukturierung in der Wissensrepräsentation.- 2.4 Wissensbasierte Planung.- 3 Repräsentation von zeitlichem Wissen.- 3.1 Das Zeitmodell.- 3.2 Quantitative Repräsentation der Zeit.- 3.3 Qualitative Zeitbeschränkungen.- 3.4 Erscheinungen und Erscheinungsformen.- 3.5 Kontinuierliche Zustandsgrößen.- 3.6 Modellierung von technischen Prozessen mit Erscheinungen.- 4 Repräsentation von kausalem Wissen.- 4.1 Modallogik.- 4.2 Ein Modalsystem für Erscheinungen.- 4.3 Modale Erscheinungen in der Planung.- 4.4 Beispiel.- 5 Strukturierung von Erscheinungen durch Skripte.- 5.1 Skript und Einstellung.- 5.2 Definition von Skripten.- 5.3 Erzeugung von Einstellungen.- 5.4 Ausführbarkeit von Einstellungen.- 5.5 Beispiel.- 5.6 Abstraktionsmechanismus.- 6 Einplanung von Erscheinungen.- 6.1 Der Planungsprozeß.- 6.2 Zielbestimmung.- 6.3 Auswahl einer Einstellung.- 6.4 Einplanung einer Einstellung.- 6.5 Konsistenzüberprüfung.- 6.6 Planung in Echtzeit.- 7 Epilog.- 7.1 Erfüllung der gestellten Echtzeitanforderungen.- 7.2 Offene Probleme.- 1 Systembeschreibung.- 2 Stichwortverzeichnis.- 2.1 Verzeichnis der Systemprädikate.- 2.2 Verzeichnis der Bilder.- 2.3 Verzeichnis der Tafeln.- 2.4 Verzeichnis der Axiome, Definitionen und Sätze.- 2.5 Verzeichnis der Algorithmen.- 3 Literaturverzeichnis.
