Interaktive Exploration visueller Modelle ((14) E01)

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

Dieses Projekt entwickelt neuartige Visualisierungen, um formale Erklärungen logikbasierter Ansätze für Menschen verständlich zu machen. Wir erforschen Visualisierungstechniken für formale Methoden und symbolische KI, konkret für a) Erklärungen von Schlussfolgerungen in Beschreibungslogik und die Reparatur von Ontologien und b) probabilistisches Model Checking. Die Vision des Projekts ist ein allgemeiner modularer Werkzeugkasten für Modell-Visualisierungen, der von künftigen Visualisierungsprojekten genutzt werden kann. Zudem erforschen wir adaptive Visualisierungsansätze, die an verschiedene Personen, Arbeitsabläufe und Gerätekontexte angepasst sind, sowie Unterstützungstechniken für die kollaborative Arbeit mehrerer Menschen mit Modellvisualisierungen.

• 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
• Teilprojektleiterinnen / Teilprojektleiter: Professor Dr.-Ing. Franz Baader; Professorin Dr. Christel Baier, seit 1/2023; Professor Dr.-Ing. Raimund Dachselt