Operational Causality - Necessarily Sufficient and Sufficiently Necessary

From International Center for Computational Logic

Toggle side column

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
  • 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
The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-031-15629-8_2.
@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}
}