Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage, Methoden und Techniken aus der deklarativen Wissensverarbeitung für verschiedene Anwendungsbereiche zu verwenden, die auf Datalog aufbauen. Sie haben einen Einblick in diesen sehr vielseitigen Formalismus mit dem eine Reihe verschiedener Probleme gelöst werden können, für die verschiedene Erweiterungen von Datalog entwickelt worden sind.
Deklarative Wissensrepräsentation ist dadurch gekennzeichnet, dass Wissen in der Form von Sätzen in symbolischen Sprachen repräsentiert ist, auf die Abarbeitunsprozeduren zur Beantwortung von Abfragen zugreifen. Deklarative Wissensverarbeitung steht im Gegensatz zu prozeduralen Methoden, wo Wissen implizit durch die Abfolge von Schritten repräsentiert ist. Deklarative Wissensrepräsentation hat den Vorteil einer erhöhten Flexibilität, Modularität und Wartbarkeit, und ist für die Verarbeitung komplexer Aufgaben im Zusammenhang intelligenter Systeme eine geeignete Methode.
In dieser Vorlesung werden verschiedene Formalismen der deklarativen Wissensrepräsentation und -verarbeitung besprochen. Behandelt werden Methoden aus folgenden (nicht ausschliesslichen) Themengebieten:
- Description Logics
- Datalog
- Antwortmengenprogrammierung (ASP)
- Erweiterungen von ASP.
Blockveranstaltung, im November / Dezember / Jänner, Freitag 9:00-13:00
Voraussichtlicher Beginn: 17. 11. 2023
The course language is English.
ECTS breakdown: 3 ECTS = 75 Hours
- Lecture 24h
- Additional reading and preparation for exam 50h
- Oral exam 1h