Beschreibungslogische Erklärungen ((09) A03)

• Fachliche Zuordnung: Theoretische Informatik ; Bild- und Sprachverarbeitung, Computergraphik und Visualisierung, Human Computer Interaction, Ubiquitous und Wearable Computing
• Förderung: Förderung seit 2019
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 389792660

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