Vorlesung Wissensrepräsentation - WS08/09
Gerhard Brewka

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.

15.10.: KR und Logik (Kap. 1)
22.10.: Repräsentation von Wissen in Logik (Kap. 2, 3), Logik höherer Stufe Logik 2. Stufe
29.11.: Ontologien - Eine Einführung. Lesender: Frank Loebe Folien
05.11.: Vererbungsnetze Folien (B. Nebel) und Beschreibungslogiken Folien1 (F. Baader)
12.11.: Beschreibungslogiken: Inferenz, Komplexität und schwache DLs Folien2 (F. Baader) Folien 3 (F. Baader)
26.11.: Abduktion, Erklärung und Diagnose (Kap. 13) Notizen Modellbasierte Diagnose
03.12.: Situationskalkül und GOLOG I (Kap. 14) Originalpaper Levesque et al. mit Aufzugbeispiel
10.12.: Situationskalkül und GOLOG II Kitchen Robot Slides
17.12.: Defaults (Kap. 11)
07.01.: Präferenzen
14.01.: Belief Revision Notizen
21.01.: Modallogiken Folien (B. Nebel) Folien (B. Nebel)
28.01.: Multi-Agenten Systeme
04.02.: Klausurvorbereitung

14.10.08

Vorlesung Wissensrepräsentation - WS08/09 Gerhard Brewka

Vorläufige Gliederung und Links zu Folien/Papieren

Vorlesung Wissensrepräsentation - WS08/09
Gerhard Brewka