Einführung in die Modallogik - Übersicht
Vorlesung: Dr. Stefan Wölfl
Übungen: Dr. Robert Mattmüller
Zeit und Ort
Vorlesung: Montag, 10:15-12:00 Uhr, und Mittwoch, 10:15-11:00 Uhr, jeweils in Seminarraum 101-01-018.
Übungen: Mittwoch, 11:15-12:00 Uhr in Seminarraum 101-01-018.
Sprache
Die Vorlesung wird auf Deutsch gehalten, evtl. gelegentlich mit englischsprachigen Folien.
Inhalt
Die Vorlesung bietet eine eingehende Einführung in die Modallogik und eng verwandte Logiken, wobei sowohl theoretische als auch algorithmische Fragestellungen besprochen und ausgewählte Anwendungen dieser Logiken aufgezeigt werden. Insbesondere werden folgende Themenbereiche behandelt:
- Uni- und multi-modale Logiken
- Ausdrucksstärke von Modallogiken
- Entscheidbarkeit und Komplexität
- Tableaux-Verfahren
- Epistemische und temporale Logiken
- Dynamische Logiken
- Beschreibungslogiken
Ziel der Vorlesung ist es, Studierende dazu zu befähigen, aktuelle Forschungsarbeiten auf diesem Gebiet zu verstehen, in den wissenschaftlichen Kontext einzuordnen und an aktuellen Forschungsarbeiten mitzuwirken.
Empfohlene Voraussetzungen
- Informatik I
- Informatik II
- Informatik III
- Logik
- Künstliche Intelligenz
Literatur
- Blackburn, van Benthem, Wolter, Handbook of Modal Logic, Elsevier, 2006.
- Baader, Calvenese, McGuinness, Nardi, Patel-Schneider, The Description Logic Handbook: Theory, Implementation and Applications, Cambridge University Press, 2003.