Algorithmische Logik / Computational Logic
StudIP-Link
Dozent: Ralf Möller
Ort der Vorlesung: Haus D - SBS95 Raum D1023
Zeit der Uebung: Mittwoch, 9:45-10.30
Zeit der Vorlesung: Mittwoch, 10:45-11:15
Voraussetzungen:
Diskrete Algebraische Strukturen
Inhalt:
- Einführung
- Boolesche Algebra und Resolution
- SAT 2KNF
- Prädikatenlogik
- Unifikation und Resolution
- Grundlagen der Logikprogrammierung
- Programming in Prolog
- Constraint-Logic-Programming
- Description Logics: Syntax, Semantics, Decision Problems, Applications
- Description Logics: Tableau Algorithm for Deciding Abox Consistency
- Temporal Logics
Acknowledgements:
Präsentationen zur Resolution entstammen z.T. aus dem Buch Artificial Intelligence von Russell und Norvig und wurden von verschiedenen Autoren in Folien umgesetzt (Details in den Dokumenten). Die Prolog-Programmierung wird mit Unterrichtsmaterial von W.F. Clocksin unterstützt. Präsentationen zur Beschreibungslogik wurden von Franz Baader, TU Dresden, und Enrico Franconi, Freie Univ. Bolzano ü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.
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