{"type":"ScholarlyArticle","title":"Actual Causality in a Logical Setting","authors":[{"name":"Alexander Bochman","slug":"alexander-bochman","given":"Alexander","family":"Bochman","affiliation":"Computer Science Department , Holon Institute of Technology , Israel"}],"abstract":"We provide a definition of actual causation in the logical framework of the causal calculus, which is based on a causal version of the well-known NESS (or INUS) condition. We compare our definition with other, mainly counterfactual, approaches on standard examples. On the way, we explore general capabilities of the logical representation for structural equation models of causation and beyond.","doi":"10.24963/ijcai.2018/239","url":"https://ijcai.org/proceedings/2018/239","pdf":"https://ijcai.org/proceedings/2018/0239.pdf","markdown":"https://ijcai.org/proceedings/2018/239.md","bibtex":"https://ijcai.org/proceedings/2018/bibtex/239","volume":{"slug":"2018","title":"Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2018","url":"https://ijcai.org/proceedings/2018/","year":2018,"location":"Stockholm","dates":"13-19 July 2018","editors":"Jérôme Lang","isbn":"978-0-9992411-2-7","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2018"},"section":"Knowledge Representation and Reasoning","track":"Main track","number":239,"pages":{"first":1730,"last":1736},"keywords":["Knowledge Representation and Reasoning: Common-Sense Reasoning","Knowledge Representation and Reasoning: Action, Change and Causality","Multidisciplinary Topics and Applications: Philosophical and Ethical Issues","Knowledge Representation and Reasoning: Non-monotonic Reasoning"],"videos":[],"references":[{"position":1,"raw":"[Baldwin and Neufeld, 2004] R. A. Baldwin and E. Neufeld. The structural model interpretation of the NESS test. In Advances in Artificial Intelligence, volume 3060 of Lec- ture Notes in Computer Science, pages 297-307. Springer, 2004.","title":"The structural model interpretation of the NESS test","authors":"R A Baldwin, E Neufeld","year":"2004","venue":"Advances in Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Baumgartner, 2013] M. Baumgartner. A regularity theo- retic approach to actual causation. Erkenntnis, 78:85-109, 2013.","title":"A regularity theoretic approach to actual causation","authors":"M Baumgartner","year":"2013","venue":"Erkenntnis","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Beckers and Vennekens, 2018] S. Beckers and J. Ven- nekens. A principled approach to defining actual causa- tion. Synthese, 195:835-862, 2018.","title":"A principled approach to defining actual causation","authors":"S Beckers, J Vennekens","year":"2018","venue":"Synthese","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Blanchard and Schaffer, 2017] T. Blanchard and J. Schaffer. Cause without default. In H. Beebee, C. Hitchcock, and H. Price, editors, Making a Difference, pages 175-214. Oxford University Press, 2017.","title":"Cause without default","authors":"T Blanchard, J Schaffer","year":"2017","venue":"Making a Difference","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Bochman and Lifschitz, 2015] A. Bochman and V. Lifs- chitz. Pearl's causality in a logical setting. In Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intel- ligence, January 25-30, 2015, Austin, Texas, USA., pages 1446-1452. AAAI Press, 2015.","title":"Pearl's causality in a logical setting","authors":"A Bochman, V Lifschitz","year":"2015","venue":"Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Bochman, 2003] A. Bochman. A logic for causal reason- ing. In IJCAI-03, Proceedings of the Eighteenth Inter- national Joint Conference on Artificial Intelligence, Aca- pulco, Mexico, August 9-15, 2003, pages 141-146, Aca- pulco, 2003.","title":"A logic for causal reasoning","authors":"A Bochman","year":"2003","venue":"IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":"/proceedings/2003/20"},{"position":7,"raw":"Morgan Kaufmann.","title":null,"authors":"Morgan Kaufmann","year":null,"venue":null,"doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Bochman, 2004] A. Bochman. A causal approach to non- monotonic reasoning. Artificial Intelligence, 160:105- 143, 2004.","title":"A causal approach to nonmonotonic reasoning","authors":"A Bochman","year":"2004","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Ehring, 1987] D. Ehring. Causal relata. Synthese, 73:319- 328, 1987.","title":"Causal relata","authors":"D Ehring","year":"1987","venue":"Synthese","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Giunchiglia et al., 2004] E. Giunchiglia, J. Lee, V. Lifs- chitz, N. McCain, and H. Turner. Nonmonotonic causal theories. Artificial Intelligence, 153:49-104, 2004.","title":"Nonmonotonic causal theories","authors":"E Giunchiglia, J Lee, V Lifschitz, N Mccain, H Turner","year":"2004","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Halpern and Hitchcock, 2015] J. Halpern and C. Hitchcock. Graded causation and defaults. The British Journal for the Philosophy of Science, 66(2):413-457, 2015.","title":"Graded causation and defaults","authors":"J Halpern, C Hitchcock","year":"2015","venue":"The British Journal for the Philosophy of Science","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Halpern and Pearl, 2001] J. Y. Halpern and J. Pearl. Causes and explanations: A structural-model approach-part I: Causes. In Proc. Seventh Conf. On Uncertainty in Artifi- cial Intelligence (UAI'01), pages 194-202, San Francisco, CA, 2001.","title":"Causes and explanations: A structural-model approach-part I: Causes","authors":"J Y Halpern, J Pearl","year":"2001","venue":"Proc. Seventh Conf. On Uncertainty in Artificial Intelligence (UAI'01)","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"Morgan Kaufmann. [Halpern and Pearl, 2005]","title":"Halpern and Pearl","authors":"Morgan Kaufmann","year":"2005","venue":null,"doi":null,"url":null,"internal_url":null},{"position":14,"raw":"J. Y. Halpern and J. Pearl. Causes and explanations: A structural-model approach. part I: Causes. British Journal for Philosophy of Science, 56(4):843-887, 2005.","title":"Causes and explanations: A structural-model approach. part I: Causes","authors":"J Y Halpern, J Pearl","year":"2005","venue":"British Journal for Philosophy of Science","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Halpern, 2008] J. Y. Halpern. Defaults and normality in causal structures. In Principles of Knowledge Represen- tation and Reasoning: Proc. Eleventh International Con- ference (KR'08), pages 198-208, 2008.","title":"Defaults and normality in causal structures","authors":"J Y Halpern","year":"2008","venue":"Principles of Knowledge Representation and Reasoning: Proc. Eleventh International Conference (KR'08)","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Halpern, 2016] J. Halpern. Actual Causality. MIT Press, Cambridge, MA, 2016.","title":"Actual Causality","authors":"J Halpern","year":"2016","venue":null,"doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Hiddleston, 2005] E. Hiddleston. Causal powers. British Journal for Philosophy of Science, 56:27-59, 2005.","title":"Causal powers","authors":"E Hiddleston","year":"2005","venue":"British Journal for Philosophy of Science","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Hitchcock, 2001] C. Hitchcock. The intransitivity of causa- tion revealed in equations and graphs. Journal of Philoso- phy, XCVIII(6):273-299, 2001.","title":"The intransitivity of causation revealed in equations and graphs","authors":"C Hitchcock","year":"2001","venue":"Journal of Philosophy","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Hitchcock, 2007] C. Hitchcock. Prevention, preemption, and the principle of sufficient reason. Philosophical Re- view, 116:495-532, 2007.","title":"Prevention, preemption, and the principle of sufficient reason","authors":"C Hitchcock","year":"2007","venue":"Philosophical Review","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Hopkins and Pearl, 2003] M. Hopkins and J. Pearl. Clarify- ing the usage of structural models for commonsense causal reasoning. In Proc. AAAI Spring Symposium on Logical Formalizations of Commonsense Reasoning, 2003.","title":"Clarifying the usage of structural models for commonsense causal reasoning","authors":"M Hopkins, J Pearl","year":"2003","venue":"Proc. AAAI Spring Symposium on Logical Formalizations of Commonsense Reasoning","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Lewis, 1973] D. Lewis. Causation. Journal of Philosophy, 70:556-567, 1973.","title":"Causation","authors":"D Lewis","year":"1973","venue":"Journal of Philosophy","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Mackie, 1974] J. L. Mackie. The Cement of the Universe. A Study of Causation. Clarendon Press, Oxford, 1974.","title":"The Cement of the Universe. A Study of Causation","authors":"J L Mackie","year":"1974","venue":null,"doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Makinson and van der Torre, 2000] D. Makinson and L. van der Torre. Input/Output logics. Journal of Philosophical Logic, 29:383-408, 2000.","title":"Input/Output logics","authors":"Van Makinson, ; D Der Torre, L Makinson, Van Der Torre","year":"2000","venue":"Journal of Philosophical Logic","doi":null,"url":null,"internal_url":null},{"position":24,"raw":"[McCain and Turner, 1997] N. McCain and H. Turner. Causal theories of action and change. In Proceedings AAAI-97, pages 460-465, 1997.","title":"Causal theories of action and change","authors":"N Mccain, H Turner","year":"1997","venue":"Proceedings AAAI-97","doi":null,"url":null,"internal_url":null},{"position":25,"raw":"[McDermott, 1995] M. McDermott. Redundant causation. British Journal for the Philosophy of Science, 46(4):523- 544, 1995.","title":"Redundant causation","authors":"M Mcdermott","year":"1995","venue":"British Journal for the Philosophy of Science","doi":null,"url":null,"internal_url":null},{"position":26,"raw":"[Paul and Hall, 2013] L. A. Paul and N. Hall. Causation: A User's Guide. Oxford University Press, 2013.","title":"Causation: A User's Guide","authors":"L A Paul, N Hall","year":"2013","venue":null,"doi":null,"url":null,"internal_url":null},{"position":27,"raw":"[Pearl, 2000] J. Pearl. Causality: Models, Reasoninig and Inference. Cambridge UP, 2000. 2nd ed., 2009.","title":"Causality: Models, Reasoninig and Inference","authors":"J Pearl","year":"2000","venue":null,"doi":null,"url":null,"internal_url":null},{"position":28,"raw":"[Strevens, 2007] M. Strevens. Mackie remixed. In J. K. Campbell, M. O'Rourke, and H. S. Silverstein, editors, Causation and Explanation. MIT Press, Cambridge MA, 2007.","title":"Causation and Explanation","authors":"M Strevens, Mackie Remixed","year":"2007","venue":null,"doi":null,"url":null,"internal_url":null},{"position":29,"raw":"[Vennekens et al., 2010] J. Vennekens, M. Bruynooghe, and M. Denecker. Embracing events in causal modelling: In- terventions and counterfactuals in CP-logic. In T. Jan- hunen and I. Niemelä, editors, Logics in Artificial Intelli- gence: 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings, pages 313- 325, Berlin, Heidelberg, 2010. Springer.","title":"Embracing events in causal modelling: Interventions and counterfactuals in CP-logic","authors":"J Vennekens, M Bruynooghe, M Denecker","year":"2010","venue":"Logics in Artificial Intelligence: 12th European Conference, JELIA 2010","doi":null,"url":null,"internal_url":null},{"position":30,"raw":"[Weslake, 2015] B. Weslake. A partial theory of actual cau- sation. British Journal for the Philosophy of Science, 2015. To appear.","title":"A partial theory of actual causation","authors":"B Weslake","year":"2015","venue":"British Journal for the Philosophy of Science","doi":null,"url":null,"internal_url":null},{"position":31,"raw":"[Wright, 1985] R. W. Wright. Causation in tort law. Califor- nia Law Review, 1735:1788-91, 1985.","title":"Causation in tort law","authors":"R W Wright","year":"1985","venue":"California Law Review","doi":null,"url":null,"internal_url":null},{"position":32,"raw":"[Wright, 2011] R. W. Wright. The NESS account of natural causation: A response to criticisms. In R. Goldberg, editor, Perspectives on Causation, chap- ter 14. Hart Publishing, 2011. Available at SSRN: https://ssrn.com/abstract=1918405.","title":"The NESS account of natural causation: A response to criticisms","authors":"R W Wright","year":"2011","venue":"Perspectives on Causation, chapter 14","doi":null,"url":"https://ssrn.com/abstract=1918405","internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}