Vorlesung: Fortgeschrittene Methoden der Wissensrepräsentation und Inferenz
Inhalt: Für zukünftige Informatik-Anwendungen werden ausdrucksstarke
Repräsentationssysteme immer bedeutsamer. Neben einer
Verifikation von Datenmodellen wird durch die Abbildung von
(Teil-)Problemen einer Anwendung auf Inferenzdienste, die auf Basis der
Semantik der Repräsentationssprache definiert sind, eine sichere operationale
Umsetzung von Anwendungsfunktionalitäten unterstützt. Die Vorlesung bietet
eine Einführung in fortgeschrittene Methoden der Datenmodellierung und
Wissensrepräsentation anhand der folgenden Themen:
- Deductive Databases
- Constraint Databases
- Description Logics
- Spatial Reasoning
- Deductive and Cooperative Information Systems
- Verification of Semantic Datamodels
In der Vorlesung wird auf die logischen Grundlagen von entscheidbaren
Repräsentationssystemen fokussiert (z.B. Datalog,
Description Logic, Constraints). Aspekte der persistenten Datenspeicherung
und des Transaktionsmanagements stehen nicht im Vordergrund.
Es wird die Anwendung von Inferenzsystemen im Kontext
von Informationssystemen erläutert.
