Wissensbasierte Echtzeitplanung [Paperback]

1 Prolog.- 1.1 Anforderungen an Programme zur Steuerung in Echtzeit.- 1.2 Explizite Repr?sentation von Wissen.- 1.2.1 Repr?sentation von kausalem Wissen.- 1.2.2 Repr?sentation von zeitlichem Wissen.- 1.2.3 Strukturierung von Wissen.- 1.3 Das Ziel.- 1.3.1 Das Modell der Wissensrepr?sentation.- 1.3.2 Wissensverarbeitung.- 1.3.3 Das mathematische System.- 1.3.4 Implementierungen.- 2 Grundlegende Konzepte.- 2.1 Darstellung von Zeit.- 2.1.1 Temporale Logik zur Spezifikation verteilter Systeme.- 2.1.2 Vorher/Nachher-Ketten.- 2.1.2 Temporale Logik basierend auf Intervallen.- 2.1.3 Temporale Logik basierend auf Zeitpunkten.- 2.1.4 Temporale Logik basierend auf Ereignissen.- 2.1.5 Kritik.- 2.2 Repr?sentation von zeitbehaftetem Wissen.- 2.2.1 Einbezug der Zeit in Aussagen.- 2.2.2 Primitiven.- 2.2.3 Kausalit?t.- 2.2.4 Kontinuierliche Ver?nderungen.- 2.2.5 Kritik.- 2.3 Strukturierung in der Wissensrepr?sentation.- 2.3.1 Rahmen.- 2.3.2 Planskelette.- 2.3.3 Skripte.- 2.3.4 Kritik.- 2.4 Wissensbasierte Planung.- 2.4.1 Einfache Planung.- 2.4.2 Hierarchische Planung.- 2.4.3 Nichtlineare Planung.- 2.4.4 Planung durch zeitliche Einschr?nkungen.- 2.4.5 Kritik.- 3 Repr?sentation von zeitlichem Wissen.- 3.1 Das Zeitmodell.- 3.1.1 Trennung zwischen Zeit und Aussage.- 3.1.2 Diskrete und analoge Repr?sentation der Zeit.- 3.1.3 Intervallbasierte Repr?sentation der Zeit.- 3.1.4 Ungenauigkeit der Zeit.- 3.1.5 Offenheit der Zukunft.- 3.2 Quantitative Repr?sentation der Zeit.- 3.2.1 Die Zeitgerade.- 3.2.2 Die Darstellung der Gegenwart.- 3.2.3 Zeitschranken.- 3.2.4 Definition von Intervallen.- 3.3 Qualitative Zeitbeschr?nkungen.- 3.3.1 Beschr?nkungen zwischen Zeitschranken.- 3.3.2 Intervallrelationen.- 3.3.3 Definition von Zeitbeschr?nkungen.- 3.3.4 Eine Mengenalgebra f?r Zeitbeschr?nkungen.- 3.3.5 Beispiel.- 3.4 Erscheinungen und Erscheinungsformen.- 3.4.1 Syntax von Erscheinungen.- 3.4.2 Statische Erscheinungen.- 3.4.3 Dynamische Erscheinungen.- 3.5 Kontinuierliche Zustandsgr??en.- 3.5.1 Flu?grl£,