Sufficient and necessary causation are dual
Artificial Intelligence
2017-10-26 v1 Logic in Computer Science
Abstract
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.
Cite
@article{arxiv.1710.09102,
title = {Sufficient and necessary causation are dual},
author = {Robert Künnemann},
journal= {arXiv preprint arXiv:1710.09102},
year = {2017}
}