Probabilistic causes in Markov chains

Christel Baier,Florian Funke,Simon Jantsch,Jakob Piribauer,Robin Ziemek
DOI: https://doi.org/10.48550/arXiv.2104.13604
2021-07-08
Abstract:The paper studies a probabilistic notion of causes in Markov chains that relies on the counterfactuality principle and the probability-raising property. This notion is motivated by the use of causes for monitoring purposes where the aim is to detect faulty or undesired behaviours before they actually occur. A cause is a set of finite executions of the system after which the probability of the effect exceeds a given threshold. We introduce multiple types of costs that capture the consumption of resources from different perspectives, and study the complexity of computing cost-minimal causes.
Logic in Computer Science
What problem does this paper attempt to address?