Algorithmische Logik / Computational Logic
StudIP-Link
Dozenten: Ralf Möller
Ort: SBS95, Haus E, Raum 4.042
Zeit: Montags 17.15-18.45 Uhr
Voraussetzungen:
Diskrete Algebraische Strukturen
Inhalt:
- Einführung
- Boolesche Logik
- Boolesche Algebra und Resolution
- Prädikatenlogik
- Unifikation und Resolution
- Grundlagen der Logikprogrammierung
- Programmierung in Prolog
- Beschreibungslogik I (Slides with Annotations) Syntax, Semantik, Entscheidungsprobleme, Reduktion von Problemen aufeinander
- Beschreibungslogik II Tableaux-Algorithmus, Vollständigkeit, Korrektheit, Terminierung
- Beschreibungslogik III Abox-Anfragebeantwortung, Open-World/Closed-World Assumption, Negation as failure, Unique-Name Assumption, Domain-Closure Assumption, Deduktion vs. Modellprüfung (Model-Checking)
- Temporale Logik Computation Tree Logic (CTL), Linear Time Temporal Logic (LTL)
- Lernverfahren (nicht relevant im SoSe 2011, da mehrere Termine ausgefallen sind) First-Order Inductive Learning, Inverse Resolution
- Historischer Überblick
Acknowledgements:
Präsentationen entstammen z.T. aus dem Buch Artificial Intelligence von Russell und Norvig. Die Prolog-Programmierung wird mit Unterrichtsmaterial von W.F. Clocksin unterstützt. Präsentationen zur Beschreibungslogik wurden von Franz Baader, TU Dresden, übernommen. Material zur temporalen Logik stammt von Eric Madelaine, INRIA. Der historische Überblick enthält Darstellung aus einer Logikvorlesung von Martin Leuker, TUM. Ich bedanke mich bei den Autoren, dass sie ihr PPT- und PDF-Material im Web für Lehrzwecke bereitgestellt haben.
Hinweise auf die Originalautoren sind in den hier verfügbar gemachten Dokumenten eingearbeitet.
Übungsaufgaben:
Literatur:
- Logik für Informatiker Uwe Schöning, Spektrum, 5. Aufl.
- Logik für Informatiker Martin Kreuzer, Stefan Kühling, Pearson Studium, 2006
- The Description Logic Handbook: Theory, Implementation and Applications, edited by F. Baader, D. Calvanese, D.L. McGuinness, D. Nardi, P.F. Patel-Schneider, Cambridge University Press, 2nd Edition
- Logic in Computer Science, Modeling and Reasoning about Systems, M. Huth, M. Ryan, Cambridge University Press, 2000
- Artificial Intelligence: A Modern Approach (Second Edition), Stuart Russel, Peter Norvig, Prentice Hall, 2003
Alte Klausuren
Ralf Möller