 |
| Wir freuen uns über zu diesen Seiten. |
|
|
|
|
18.414 Vorlesung: Wissensrepräsentation
Wintersemester 2007/08 |
| Veranstalter |
| Christopher Habel
|
| Zeit/Ort |
| Mo 12-14 F-334 |
| Aktuelles |
| |
| KVV-Eintrag |
| Verwendbarkeit |
| Masterstudiengang: Veranstaltung im Modul MV-ISR 1: Wissensverarbeitung I (WV
1) / Diplomstudiengang: Schwerpunkte SV, WV, IM. |
| Inhalt |
| In der Vorlesung 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, Objektorientierte Repräsentationen
- Constraintbasierte Systeme (Raum und Zeit)
- Vererbung, Defaults, Nicht-monotones Schließen
- Abduktives Schließen
- Vagheit, unsicheres Wissen, probabilistisches Schließen, Kausales Schließen
- Aktionen, Situations-Kalkül
- (Der für die Wissensrepräsentation wichtige Themenbereich Beschreibungslogiken
& Ontologie wird im WS 2007/08 in der Veranstaltung 18.302 Seminar: FGI 3 -
Beschreibungslogiken behandelt.)
|
|
| Literatur |
| Ronald J. Brachman & Hector J. Levesque. (2004). Knowledge Representation and
Reasoning. San Francisco, CA: Morgan Kaufmann.
Stuart Russell & Peter Norvig
(2003). Artificial intelligence: A modern approach. Upper Saddle River, NJ: Prentice Hall -
Pearson. |
| Folien |
|
1. Einleitung: Überblick, Motivation und Wissensbasierte Agenten
- 22.10.07: Einleitung
Folien
- 29.10.07: Agenten und Agentenarchitekturen
Folien
- 05.11.07: Agenten - Wissensrepräsentation - Logik
Folien
|
2. Logische Wissensrepräsentation & Constraint-Verarbeitung: Belief Revision,
Beschreibungslogiken & Relationensysteme
| 12.11., 19.11. & 26.11.07: Wissensrepräsentation - Logik: Propositionale
Einstellungen, epistemische & deontische Modalitäten, Logik von Fragen,
Belief revision
Folien
|
| 03.12. & 10.12.07: Beschreibungslogik: Objektzentrierte Beschreibungen,
Frames und semantische Netze; Grundzüge der Beschreibungslogik, Syntax, Semantik und
Beweisverfahren, Familien beschreibungslogischer Sprachen.
Folien
|
| 07.01.08: Constraint-Verarbeitung: Constraintnetze, Kalküle für räumliches
& zeitliches Wissen.
Folien
|
3. Nicht-deduktives Schließen / Schließen unter Unsicherheit: Vererbungsnetze,
Default-Schließen, Abduktion
| 14.01. & 21.01.08: Motivation & Einleitung: Wissenslücken,
Wissensmängel; Deduktive vs. Nicht-deduktive Wissensverarbeitung; Vererbung
& Schließen in Vererbungsnetzen
Folien
|
| 21.01. & 28.01.08: Default-Schließen: Closed-world assumption;
Default-Logik: Semantik & Beweisverfahren
Folien
|
|
|
