Arbeitsbereich WSVFachbereich 
Informatik
Universität Hamburg

18.205 Vorlesung Wissensrepräsentation

Veranstalter
 Carola Eschenbach
Christopher Habel
Zeit/Ort
 Mi 10-12, Fr 12-14 F-334
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)
Literatur
 Ronald J. Brachman & Hector J. Levesque, Knowledge Representation and Reasoning, (to be published 2003/04), [TeilnehmerInnen der Vorlesung können eine Kopie des Manuskripts (2001) erwerben.]
Russell, Stuart & Norvig, Peter (2003). Artificial intelligence: A modern approach. Upper Saddle River, NJ: Prentice Hall - Pearson.
weitere Literatur wird in der Vorlesung bekanntgegeben.
Sitzungsplan
  09.04.2003 Einleitung
  11.04.2003 Agenten
  16.04.2003 Agenten (2)
  23.04.2003 Wissensbasierte Agenten
  25.04.2003 Regeln: Logik und Produktionssysteme
  30.04.2003 Übung
  02.05.2003 Beschreibungslogiken (1)
  07.05.2003 Beschreibungslogiken (2)
  09.05.2003 Beschreibungslogiken (3)
  14.05.2003 Constraintverarbeitung
  16.05.2003 Constraintverarbeitung für Relationensysteme
  21.05.2003 Aufbau von Relationensystemen
  23.05.2003 Unsicheres Wissen (Einleitung)
  28.05.2003 Defaults (1)
  30.05.2003 Defaults (2)
  04.06.2003 Defaults (3)
  06.06.2003 Defaults (4)
  18.06.2003 Reiters Default-Logik
  20.06.2003 Default-Logik (Ableitungen)
  25.06.2003 Abduktives Schliessen (1)
  27.06.2003 Abduktives Schliessen (2)
  02.07.2003 Bayes-Netze
  04.07.2003 Belief Revision
  09.07.2003 Aktionen, Situationskalkül
  11.07.2003 Situationskalkül, Frame-Axiome
  16.07.2003 Situationskalkül, Golog
  18.07.2003 Situationskalkül, Wahrnehmung

Wir freuen uns über Kommentare und Hinweise zu diesen Seiten.
letzte Änderung am 16.07.03