Arbeitsbereich WSVFachbereich InformatikUniversität Hamburg
18.216 Vorlesung: Wissensrepräsentation
Veranstalter
Christopher Habel
Hedda Schmidtke
Zeit/Ort
Mo 10-12, Mi 10-12 F-635
Inhalt
In Vorlesung und Übung werden theoretische und praktische Kenntnisse über Methoden zur Wissensrepräsentation und Wissensverarbeitung vermittelt. Anwendungen, insbesondere aus den Bereichen Modellierung von Alltagswissen, intelligente Agenten und wissensbasierte Systeme sowie dem Information Retrieval werden an Beispielen diskutiert. Themen sind u.a.:
  • Logik, Schließen, Produktionssysteme
  • Objekt-orientierte Repräsentationen; Strukturierte Beschreibungen, Beschreibungslogik, Taxonomien, Klassifikation, Ontologie
  • Vererbung, Defaults, Nicht-monotones Schließen
  • Vagheit, unsicheres Wissen, probabilistisches Schließen
  • Abduktives Schließen
  • Aktionen, Situations-Kalkül
  • Constraintbasierte Systeme (Raum und Zeit)
Termine
05.04.2004 Einleitung
07.04.2004 Agenten (1)
Übung 1
14.04.2004 Agenten (2)
19.04.2004 Wissensbasierte Agenten
21.04.2004 Regeln: Logik & Produktionssysteme
Übung 2
28.04.2004 Beschreibungslogiken (1)
Übung 3
03.05.2004 Beschreibungslogiken (2)
05.05.2004 Beschreibungslogiken (3)
Übung 4
10.05.2004 Constraintverarbeitung (1)
12.05.2004 Constraintverarbeitung (2)
Übung 5
17.05.2004 Constraintverarbeitung (3)
19.05.2004 Schliessen unter Unsicherheit
Übung 6
24.05.2004 Vererbung / Inheritance (1)
26.05.2004 Vererbung / Inheritance (2)
Übung 7
07.06.2004 Default: Vererbungsnetze
09.06.2004 Closed-world assumption
Übung 8
14.06.2004 Default-Logik (1)
16.06.2004 Default-Logik (2)
Übung 9
21.06.2004 Abduktion (1)
23.06.2004 Abduktion (2), Fuzzy Logic und possibilistische Logik (1)
Übung 10
28.06.2004 Fuzzy Logic und possibilistische Logik (2)
30.06.2004 Belief Revision
05.07.2004 Probabilistisches Schliessen
07.07.2004 Aktionen & Instruktionen (1): Situations-Kalkül
12.07.2004 Aktionen & Instruktionen (2): Situations-Kalkül & Golog
14.07.2004 Aktionen & Wahrnehmung: Erweiterungen des Situations-Kalküls
Literatur
Ronald J. Brachman & Hector J. Levesque, Knowledge Representation and Reasoning, (to be published 2004), [TeilnehmerInnen der Vorlesung können eine Kopie des Manuskripts (2001) erwerben.]; weitere Literatur wird in der Vorlesung bekannt gegeben.