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

• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 2019 bis 2022
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 389792660

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