A Lewisian logic of causal counterfactuals

Research output: Journal PublicationsJournal Article (refereed)

7 Citations (Scopus)

Abstract

In the artificial intelligence literature a promising approach to counterfactual reasoning is to interpret counterfactual conditionals based on causal models. Different logics of such causal counterfactuals have been developed with respect to different classes of causal models. In this paper I characterize the class of causal models that are Lewisian in the sense that they validate the principles in Lewis’s well-known logic of counterfactuals. I then develop a system sound and complete with respect to this class. The resulting logic is the weakest logic of causal counterfactuals that respects Lewis’s principles, sits in between the logic developed by Galles and Pearl and the logic developed by Halpern, and stands to Galles and Pearl’s logic in the same fashion as Lewis’s stands to Stalnaker’s.
Original languageEnglish
Pages (from-to)77-93
Number of pages17
JournalMinds and Machines
Volume23
Issue number1
Early online date18 Nov 2011
DOIs
Publication statusPublished - Mar 2013

Fingerprint

Artificial intelligence
Acoustic waves
Logic
Causal
Causal Model
Pearl
Sound System
Counterfactual Reasoning
Counterfactual Conditionals
Artificial Intelligence

Keywords

  • Causal models
  • Causal reasoning
  • Conditional logic
  • Counterfactual
  • Intervention

Cite this

@article{7b13fc6746b943ccb779020526bff058,
title = "A Lewisian logic of causal counterfactuals",
abstract = "In the artificial intelligence literature a promising approach to counterfactual reasoning is to interpret counterfactual conditionals based on causal models. Different logics of such causal counterfactuals have been developed with respect to different classes of causal models. In this paper I characterize the class of causal models that are Lewisian in the sense that they validate the principles in Lewis’s well-known logic of counterfactuals. I then develop a system sound and complete with respect to this class. The resulting logic is the weakest logic of causal counterfactuals that respects Lewis’s principles, sits in between the logic developed by Galles and Pearl and the logic developed by Halpern, and stands to Galles and Pearl’s logic in the same fashion as Lewis’s stands to Stalnaker’s.",
keywords = "Causal models, Causal reasoning, Conditional logic, Counterfactual, Intervention",
author = "Jiji ZHANG",
year = "2013",
month = "3",
doi = "10.1007/s11023-011-9261-z",
language = "English",
volume = "23",
pages = "77--93",
journal = "Minds and Machines",
issn = "0924-6495",
publisher = "Springer Netherlands",
number = "1",

}

A Lewisian logic of causal counterfactuals. / ZHANG, Jiji.

In: Minds and Machines, Vol. 23, No. 1, 03.2013, p. 77-93.

Research output: Journal PublicationsJournal Article (refereed)

TY - JOUR

T1 - A Lewisian logic of causal counterfactuals

AU - ZHANG, Jiji

PY - 2013/3

Y1 - 2013/3

N2 - In the artificial intelligence literature a promising approach to counterfactual reasoning is to interpret counterfactual conditionals based on causal models. Different logics of such causal counterfactuals have been developed with respect to different classes of causal models. In this paper I characterize the class of causal models that are Lewisian in the sense that they validate the principles in Lewis’s well-known logic of counterfactuals. I then develop a system sound and complete with respect to this class. The resulting logic is the weakest logic of causal counterfactuals that respects Lewis’s principles, sits in between the logic developed by Galles and Pearl and the logic developed by Halpern, and stands to Galles and Pearl’s logic in the same fashion as Lewis’s stands to Stalnaker’s.

AB - In the artificial intelligence literature a promising approach to counterfactual reasoning is to interpret counterfactual conditionals based on causal models. Different logics of such causal counterfactuals have been developed with respect to different classes of causal models. In this paper I characterize the class of causal models that are Lewisian in the sense that they validate the principles in Lewis’s well-known logic of counterfactuals. I then develop a system sound and complete with respect to this class. The resulting logic is the weakest logic of causal counterfactuals that respects Lewis’s principles, sits in between the logic developed by Galles and Pearl and the logic developed by Halpern, and stands to Galles and Pearl’s logic in the same fashion as Lewis’s stands to Stalnaker’s.

KW - Causal models

KW - Causal reasoning

KW - Conditional logic

KW - Counterfactual

KW - Intervention

UR - http://commons.ln.edu.hk/sw_master/730

U2 - 10.1007/s11023-011-9261-z

DO - 10.1007/s11023-011-9261-z

M3 - Journal Article (refereed)

VL - 23

SP - 77

EP - 93

JO - Minds and Machines

JF - Minds and Machines

SN - 0924-6495

IS - 1

ER -