Project Details
Projekt Print View

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
Applicant Institution Universität des Saarlandes
 
 

Additional Information

Textvergrößerung und Kontrastanpassung