Contact People Projects Teaching Publications Intranet
 

Vorlesung: Angewandte Logik (vorm.: Logische Grundlagen)
 

Dozent: Ralf Möller

Ort: TUHH, HS20, 215

Zeit: Dienstag 14.00-15.30 Uhr

Uebung (Sebastian Wandelt)

Inhalt:

  1. Einführung und Motivation, Aussagenlogik, Syntax, Semantik, Wahrheitstabellen, Entscheidungsprobleme
  2. Boolesche Algebra, Resolution für Aussagenlogik, Anwendungen
  3. Prädikatenlogik erster Stufe, Syntax, Semantik, Entscheidungsprobleme (Teil 1)
  4. Prädikatenlogik erster Stufe, Entscheidungsprobleme (Teil 2), Anwendung: Konzeptuelle Datenmodellierung
  5. Anwendung: Algorithmenverifikation
  6. Unifikation, Resolution für Prädikatenlogik
  7. Anwendung: Wumpus-Welt, First-Order-Modellierung von Aktionen
  8. Beschreibungslogik: Syntax, Semantik, Entscheidungsprobleme
  9. Beschreibungslogik: Tableau-basierte Entscheidungsverfahren
  10. Beschreibungslogik und Aktionen
  11. Temporale Logik: CTL, LTL, CTL*
  12. Temporale Beschreibungslogik
  13. Beschreibungslogik in Anwendungen

Danksagungen:

Präsentationen für Aussagenlogik und Pädikatenlogik nach dem Buch von wurden von Uwe Schöning (s.u.) wurden von Javier Esparza übernommen. Einige Präsentationen bzw. Teile davon stammen auch von Uwe Schmidt, FH-Wedel. Die Folien der Wumpus-Anwendung sowie für die Resolution sind von Jörg Desel nach dem Buch "Artificial Intelligence, a Modern Approach" (St. Russel und P. Norwig) erstellt worden.

Von Franz Baader habe ich einige Präsentationen zur Beschreibungslogik übernommen.

Vielen Dank für die Bereitstellung.

Literatur:

  1. Uwe Schöning, Logik für Informatiker,
    Spektrum Akad. Vlg., Hdg. Erscheinungsdatum: 2000, Auflage: 5. Aufl., ISBN: 3827410053
  2. M. Huth, M. Ryan, Logic in Computer Science, Modeling and Reasoning about Systems,
    Cambridge University Press, 2000
  3. Leslie Lamport, Specifying Systems, The TLA+ Language and Tools for Hardware and Software Engineers
  4. F. Baader et al. (Hrsg.), Description Logic Handbook, Cambridge University Press, 2003

NB: Um Mißverständnissen vorzubeugen: Für die Klausur ist der Inhalt dieser Vorlesung maßgebend. Es reicht nicht,
zur Vorbereitung einfach nur eine Literaturangabe aus der Obigen Liste zu wählen.

Alte Klausuren

Ralf Möller