---

Algorithmische Logik / Computational Logic

StudIP-Link (bitte erst in StudIP einloggen)

---

Dozenten: Ralf Möller, Sebastian Wandelt

Ort: SBS95, Haus E, Raum 4.042

Zeit: Montags 08:00-09:30

---

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 2010, 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:

• Blatt 1
• Blatt 2
• Blatt 3
• Blatt 4
• Blatt 5
• Blatt 6
• Blatt 7
• Blatt 8

---

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

Noch nicht vorhanden

---

Ralf Möller