The Temporal Logic of Token Causes

While type causality helps us to understand general relationships such as the etiology of a disease (smoking causing lung cancer), token causality aims to explain causal connections in specific instantiated events, such as the diagnosis of a patient (Ravi's developing lung cancer after a 20-year smoking habit). Understanding why something happened, as in these examples, is central to reasoning in such diverse cases as the diagnosis of patients, understanding why the US financial market collapsed in 2007 and finding a causal explanation for Obama's victory over Clinton in the US primary. However, despite centuries of work in philosophy and decades of research in computer science, the problem of how to rigorously formalize token causality and how to automate such reasoning has remained unsolved. In this paper, we show how to use type-level causal relationships, represented as temporal logic formulas, together with philosophical principles, to reason about these token-level cases.

[1]  Keith A. Markus,et al.  Making Things Happen: A Theory of Causal Explanation , 2007 .

[2]  Michael Thielscher,et al.  Ramification and Causality , 1997, Artif. Intell..

[3]  Laura Giordano,et al.  Ramification and causality in a modal action logic , 2000, J. Log. Comput..

[4]  Ellery Eells.  Probabilistic causality: Bibliography , 1991 .

[5]  Jan Lunze,et al.  An example of fault diagnosis by means of probabilistic logic reasoning , 1997 .

[6]  J. Pearl.  Causality: Models, Reasoning and Inference , 2000 .

[7]  Bengt Jonsson,et al.  A logic for reasoning about time and reliability , 1990, Formal Aspects of Computing.

[8]  M. Newton.  Large-Scale Simultaneous Hypothesis Testing: The Choice of a Null Hypothesis , 2008 .

[9]  David Papineau,et al.  Causal Factors, Causal Inference, Causal Explanation , 1986 .

[10]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[11]  David Poole,et al.  Representing diagnosis knowledge , 1994, Annals of Mathematics and Artificial Intelligence.

[12]  Mark Hopkins,et al.  Causality and Counterfactuals in the Situation Calculus , 2007, J. Log. Comput..

[13]  Fangzhen Lin,et al.  Embracing Causality in Specifying the Indirect Effects of Actions , 1995, IJCAI.

[14]  D. Lewis.  Causation as Influence , 2000 .

[15]  Bud Mishra,et al.  The Temporal Logic of Causal Structures , 2009, UAI.

[16]  Franz von Kutschera,et al.  Causation , 1993, J. Philos. Log..

[17]  Daniel M. Hausman,et al.  Causal Relata: Tokens, Types, or Variables? , 2005 .

[18]  Joseph Y. Halpern,et al.  Causes and explanations: A structural-model approach , 2000 .

[19]  B. Efron.  Large-Scale Simultaneous Hypothesis Testing , 2004 .