Operational Causality - Necessarily Sufficient and Sufficiently Necessary
From International Center for Computational Logic
Operational Causality - Necessarily Sufficient and Sufficiently Necessary
Christel BaierChristel Baier, Clemens DubslaffClemens Dubslaff, Florian FunkeFlorian Funke, Simon JantschSimon Jantsch, Jakob PiribauerJakob Piribauer, Robin ZiemekRobin Ziemek
Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek
Operational Causality - Necessarily Sufficient and Sufficiently Necessary
In Nils Jansen and Mariëlle Stoelinga and Petra van den Bos, eds., A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, volume 13560 of Lecture Notes in Computer Science, 27--45, 2022. Springer
Operational Causality - Necessarily Sufficient and Sufficiently Necessary
In Nils Jansen and Mariëlle Stoelinga and Petra van den Bos, eds., A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, volume 13560 of Lecture Notes in Computer Science, 27--45, 2022. Springer
- KurzfassungAbstract
Necessity and sufficiency are well-established notions in logic and causality analysis, but have barely received attention in the formal methods community. In this paper, we present temporal logic characterizations of necessary and sufficient causes in terms of state sets in operational system models. We introduce degrees of necessity and sufficiency as quality measures for sufficient and necessary causes, respectively, along with a versatile weight-based approach to find “good causes”. The resulting optimization problems of finding optimal causes are shown to be solvable in polynomial time. - Forschungsgruppe:Research Group: Algebraische und logische Grundlagen der InformatikAlgebraic and Logical Foundations of Computer Science
@inproceedings{BDFJPZ2022,
author = {Christel Baier and Clemens Dubslaff and Florian Funke and Simon
Jantsch and Jakob Piribauer and Robin Ziemek},
title = {Operational Causality - Necessarily Sufficient and Sufficiently
Necessary},
editor = {Nils Jansen and Mari{\"{e}}lle Stoelinga and Petra van den Bos},
booktitle = {A Journey from Process Algebra via Timed Automata to Model
Learning - Essays Dedicated to Frits Vaandrager on the Occasion
of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13560},
publisher = {Springer},
year = {2022},
pages = {27--45},
doi = {10.1007/978-3-031-15629-8_2}
}