Operational causality – Necessarily sufficient and sufficiently necessary

Research output: Contribution to book/conference proceedings/anthology/reportChapter in book/anthology/reportContributed

Abstract

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.

Details

Original languageEnglish
Title of host publicationA Journey from Process Algebra via Timed Automata to Model Learning – Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday
EditorsNils Jansen, Mariëlle Stoelinga, Petra van den Bos
PublisherSpringer
Pages27–45
Number of pages19
Volume13560
Publication statusPublished - 7 Sep 2022
Peer-reviewedNo

Publication series

SeriesLecture Notes in Computer Science

External IDs

Scopus 85138174451
Mendeley 32a40c7e-1a49-305b-8a14-ed00ffba058e
dblp conf/birthday/BaierDFJPZ22
unpaywall 10.1007/978-3-031-15629-8_2

Keywords

Research priority areas of TU Dresden

    DFG Classification of Subject Areas according to Review Boards

      Subject groups, research areas, subject areas according to Destatis