Wissensbasierte Echtzeitplanung

Inhaltsverzeichnis1 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.