Lehr- und Forschungseinheit für Programmierung und Softwaretechnik,
Institut für Informatik der Ludwig-Maximilians-Universität München

Vorlesung Zeitliches und Räumliches Schliessen (WS 98/99)

AKTUELLES - ACHTUNG: Die nächste Vorlesung findet am 13. Januar 1999 statt. Wer weiter teilnehmen will, schickt eine Email an fruehwir@informatik.uni-muenchen.de .

Organisatorisches

Vorlesung:
Zeitliches und Räumliches Schliessen (PG, A) 2
Thom Frühwirth
Zeit und Ort:
MI 14-16 Uhr, Hörsaal 013, Oettingenstr. 67, ab 11.11.98.
für:
Haupt- und Nebenfach Informatik.
Vorkenntnisse:
Grundkenntnisse in Informatik. Logik-Kenntnisse vorteilhaft.
Schein:
Gilt für Diplomprüfung Haupt- und Nebenfach Informatik.
Die je 20-minütige mündliche Prüfung findet vorraussichtlich am Mittwoch, 17.2.98, im Besprechungszimmer E03 (Lehrstuhl Wirsing) statt. Anmeldung ab 10.2.98 per Email mit Namen, Matrikelnummer und Hauptfach nur in der Subject-Line an fruehwir@informatik.uni-muenchen.de . Die Antwort-Email enthält dann Ihre genaue Uhrzeit. Sie erhalten einen Übungsschein ohne Note.

Inhalt der Vorlesung

Umgang mit zeitlicher und räumlicher Information sind Grundfähigkeiten im menschlichen Alltag und haben daher auch seit jeher die Forschung im Bereich der Künstlichen Intelligenz geprägt. In den letzten jahren sind beachtliche Fortschritte in der Formalisierung und Implementierung des zeitlichen Schliessens gemacht worden, und der Bereich des räumlichen Schliessens erlebt verstärktes Interesse. In der Vorlesung werden schwerpunktmässig die klassischen Modelle (bestehend aus Ontologie, Repräsentation und Kalkül) für zeitliches Schliessen über Zeitpunkten, Zeitspannen und Zeitdauern sowie ihre Kombination und ihre Anwendungen behandelt. Ausserdem wird auf aktuelle Ansätze zum räumlichen Schliessen und ihre Verwandtschaft mit zeitlichem Schliessen eingegangen.

Literatur und Links

Wird laufend erweitert!

Eddie Schwalb, Lluís Vila, Temporal Constraints: A Survey, (to appear in Constraints: An International Journal).

Lluís Vila, A Survey on Temporal Reasoning in Artificial Intelligence, AI Communications, Vol. 7, pp. 4-28, March 1994.

Th. Frühwirth, Temporal Reasoning with Constraint Handling Rules, Technical Report ECRC-94-5 (ps.Z), ECRC Munich, Germany, February 1994.

Th. Frühwirth, Temporal Annotated Constraint Logic Programming, Journal of Symbolic Computation, Special issue on Executable Temporal Logics (M. Fisher, M. Orgun and S. Kono, Eds.), Vol. 22, pp. 555-583, Academic Press, 1996, Paper (ps.Z).

Tutorial on Representation of Spatial Knowledge (ps.gz), Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95), Montreal, Canada, Amitabha Mukerjee, Indian Institute of Technology, Kanpur, India and Daniel Hernandez, Technische Universitat Munchen, Germany.

Home page on spatial and temporal reasoning (html)

Lehr- und Forschungseinheit          Institut          Universität

fruehwir@informatik.uni-muenchen.de, last updated Oct 14 98