TY - GEN
T1 - The temporal logic of token causes
AU - Kleinberg, Samantha
AU - Mishra, Bud
PY - 2010
Y1 - 2010
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84860557633&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84860557633&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:84860557633
SN - 9781577354512
T3 - Proceedings of the International Conference on Knowledge Representation and Reasoning
SP - 575
EP - 577
BT - Principles of Knowledge Representation and Reasoning
T2 - 12th International Conference on Principles of Knowledge Representation and Reasoning, KR 2010
Y2 - 9 May 2010 through 13 May 2010
ER -