Beschreibungslogische Erklärungen ((09) A03)

Wissensrepräsentationen auf der Basis von Beschreibungslogiken können dazu dienen, den aktuellen Zustand eines cyber-physischen Systems und dessen Umgebung zu beschreiben, mitsamt Hintergrundinformationen über Eigenschaften, die diese Zustände garantiert erfüllen. Um das Verhalten eines Systems erläutern zu können, sind Erklärungen nötig, warum eine bestimmte relevante Aussage aus der Wissensbasis folgt oder nicht. Projekt A3 wird dabei Kombinationen abstrakt logischer und konkret numerischer sowie temporaler Bedingungen betrachten. Dafür müssen verschiedene Erklärungsansätze kombiniert und nutzeradaptive Erklärungen entwickelt werden, und es muss möglich werden, Erklärungen für fehlende Konsequenzen zur Reparatur der Wissensbasis zu verwenden.

DFG-Verfahren Transregios

Teilprojekt zu TRR 248:  Grundlagen verständlicher Software-Systeme - für eine nachvollziehbare cyber-physische Welt

Antragstellende Institution Universität des Saarlandes

Teilprojektleiter Professor Dr.-Ing. Franz Baader; Dr.-Ing. Stefan Borgwardt; Professor Dr. Markus Krötzsch, seit 1/2023; Professor Dr. Antonio Krüger; Professor Dr. Christoph Weidenbach, bis 12/2022