Project Details
Probabilistic Causality and Explications ((08) A02)
Subject Area
Theoretical Computer Science
Term
from 2019 to 2022
Project identifier
Deutsche Forschungsgemeinschaft (DFG) - Project number 389792660
The project will lay the foundations for a causality-based system analysis as well as the generation of explications that rely on formal cause-effect relations. This analysis supports the understanding of causal chains and of the induced cascades of dependencies between system components at design time, but also the generation of plausibilisations of observed behaviours at run-time. The research program includes algorithmic and complexity-theoretic problems for different forms of causality-based reasoning in stochastic operational models. It will support the transfer of causal structures explicating observations formally to visual or verbal representations explaining them intuitively.
DFG Programme
CRC/Transregios
Subproject of
TRR 248:
Foundations of Perspicuous Software Systems - Enabling Comprehension in a Cyber-Physical World
Applicant Institution
Universität des Saarlandes