Vorlesung Wissensrepräsentation - WS18/19
Gerhard Brewka

Termin: Mittwoch 9:15-10:45, Paulinum P 801

Vorläufige Gliederung und Links zu Folien/Papieren

Die Vorlesung basiert zum Teil auf dem Buch

Knowledge Representation and Reasoning
von Ronald Brachman und Hector Levesque.

Soweit keine anderen Materialien angegeben sind, werden Folien zum Buch verwendet. Diese Folien erhalten Sie hier.
Auch unten angegebene Kapitelangaben beziehen sich auf das Buch.

Verweise auf weitere Folien werden jeweils vor der Vorlesung eingetragen.

• 17.10.: KR Einführung (Kap. 1)

• 24.10.: Klassische Logik (Kap. 2)

• 07.11.: Beschreibungslogiken: eine kurze Einführung (pdf 1 pdf 2(relevant 1-9) F. Baader)

• 14.11.: Behandlung von Inkonsistenzen: der konsistenzbasierte Ansatz Folien

• 28.11.: Behandlung von Inkonsistenzen: 3-wertige Logik; Revision (Folien siehe 01.11.)

• 05.12.: Argumentation Folien  

• 12.12.: Nichtmonotone Logiken Folien; Logik 2. Stufe

• 19.12.: Nichtmonotone Logiken II

• 09.01.: Abduktion und Erklärung (Kap. 13)

• 16.01.: Diagnose Folien Modellbasierte Diagnose

• 23.01.: Modallogiken Folien (B. Nebel)  Folien (B. Nebel)

• 30.01.: Situationskalkül (Kap. 14)  

• 06.02.: Golog (Kap. 14) Kitchen Robot Slides ; Originalpaper Levesque et al. mit Aufzugbeispiel 

01.10.18