|
|
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
|
|