Dozenten: Ralf Möller
Ort: TUHH, Harburger Schloßstraße 20, Raum 206
Zeit: Dienstag 10.45-11.15 Uhr
Thema des Seminars wird das Buch: "Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems", MIT Press, 2001.
Als Fallstudie wird das Programmiersystem Golog zur Realisierung von dynamischen Anwendungen (bspw. im Bereich E-Commerce, Wissensmanagement usw.) analysiert. Das Seminar bietet in den ersten Vorträgen die notwendig Einführung in die Grundlagen.
Materialien zur Vorbereitung der Vorträge werden bereitgestellt. Die Studierenden erstellen zu jedem Vortrag bis zum Ende des Semesters eine Ausarbeitung.
Inhalt: (vorläufig)
| Termin | Themen | Name |
| 9.11. | Logical Preliminaries | Daniel Bortey |
| 16.11 | Introduction to Situation Calculus | Prerana Wagle, Michael Lorenc |
| 23.11 | Foundations of the Situation Calculus | Helge Klimek, Cord Schäfer |
| 30.11 | Implementing Basic Action Theories | Ward Wai Un |
| 7.12. | Complex Actions, Procedures, and Golog | Konrad Windzus, Michael Freitag |
| 14.12. | Time, Concurrency, and Processes | Henrik Tolk |
| 21.12. | Exogeneous Actions, Interrupts, and Reactive Golog | Galega Sabum, Blaise Che |
| 11.1. | Progression | Ke Chen |
| 18.1 | Planning | Tobias Tiedgen, Malte Ramin |
| 25.1 | Sensing and Knowledge (Teil1) | Ahmed Ali, Yu Liu |
| 1.2. | Sensing and Knowledge (Teil2) | |
| 8.2. | Probability and Decision Theory | Sevkan Taskan |
| 15.2. | Concluding Remarks |
Ralf Möller