Erlernen moderner Techniken der deklarativen Wissensrepräsentation und -verarbeitung.
Didaktisches Vorgehen: Frontalvortrag mittels Folien.
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 Dezember / Jänner nach Vereinbarung
Ort und Zeit werden später bekannt gegeben.
The course language is English.
ECTS breakdown: 3 ECTS = 75 Hours
- Lecture 24h
- Additional reading and preparation for exam 50h
- Oral exam 1h