Sufficient and necessary causation are dual
arXiv:1710.09102v15 citations
Originality Synthesis-oriented
AI Analysis
This work clarifies foundational concepts in causality, which is incremental but relevant for fields like philosophy and security.
The paper establishes an explicit relationship between necessary and sufficient causes, addressing a gap in causality formalization inspired by Pearl/Halpern's framework and security domain applications.
Causation has been the issue of philosophic debate since Hippocrates. Recent work defines actual causation in terms of Pearl/Halpern's causality framework, formalizing necessary causes (IJCAI'15). This has inspired causality notions in the security domain (CSF'15), which, perhaps surprisingly, formalize sufficient causes instead. We provide an explicit relation between necessary and sufficient causes.