Probabilistische Kausalität und Erklärungen ((08) A02)

Dieses Projekt legt die Grundlagen für eine Kausalitäts-basierte Systemanalyse sowie für die Generierung von Erklärungen, die auf formalen Ursache-Wirkungs-Beziehungen beruhen. Diese Analyse unterstützt das Verständnis von möglichen Kausalketten und den daraus resultierenden Abhängigkeiten zwischen Systemkomponenten zur Entwurfszeit, aber auch die Generierung von Plausibilisierungen für eingetretene Ereignisse zur Laufzeit. Das Forschungsprogramm behandelt algorithmische und komplexitätstheoretische Probleme für Kausalitäts-basierte Schlussfolgerung in operationellen stochastischen Modellen. Es unterstützt den Transfer formaler Kausalitäts-Strukturen in visuelle oder verbale Repräsentationen.

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 Professorin Dr. Christel Baier; Professor Dr. Bernd Finkbeiner; Professor Dr. Rupak Majumdar