Counterfactual Causality from First Principles?

Gregor Gössler
(INRIA, France)
Oleg Sokolsky
(University of Pennsylvania, Philadelphia, USA)
Jean-Bernard Stefani
(INRIA, France)

In this position paper we discuss three main shortcomings of existing approaches to counterfactual causality from the computer science perspective, and sketch lines of work to try and overcome these issues: (1) causality definitions should be driven by a set of precisely specified requirements rather than specific examples; (2) causality frameworks should support system dynamics; (3) causality analysis should have a well-understood behavior in presence of abstraction.

In Alex Groce and Stefan Leue: Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies (CREST 2017), Uppsala, Sweden, 29th April 2017, Electronic Proceedings in Theoretical Computer Science 259, pp. 47–53.
Published: 10th October 2017.

ArXived at: http://dx.doi.org/10.4204/EPTCS.259.5 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org