[論文レビュー] Defaults and Normality in Causal Structures

Joseph Y. Halpern|ArXiv.org|Jun 12, 2008

Logic, Reasoning, and Knowledge参考文献 32被引用数 38

ひとこと要約

この論文は、ハルペルン＝ピアース（HP）の原因関係定義における主な限界を解決するために、通常性とデフォルト推論を因果モデルに統合し、HPのアプローチが直感的判断に失敗するケースを解消する。HPの原因関係と、カーネマンとミラーの典型性の心理学にインspiredされた通常性に基づく状況選択を組み合わせることで、直感的な原因関係が回復され、また、適切に形式化されたNESSテストが特定の条件下でHP原因関係と一致し、常に単一の文集合の原因を導くことを示している。

ABSTRACT

A serious defect with the Halpern-Pearl (HP) definition of causality is repaired by combining a theory of causality with a theory of defaults. In addition, it is shown that (despite a claim to the contrary) a cause according to the HP condition need not be a single conjunct. A definition of causality motivated by Wright's NESS test is shown to always hold for a single conjunct. Moreover, conditions that hold for all the examples considered by HP are given that guarantee that causality according to (this version) of the NESS test is equivalent to the HP definition.

研究の動機と目的

• ハルペルン＝ピアース（HP）の原因関係定義における第二の主要な欠陥を解消すること。これは、構造的に同型であるが直感的に異なる状況において、反事後的推論が失敗する場合である。
• カーラウス、レーマン、マジドルのデフォルト論理を用いて、人々が因果鎖において異常または例外的な要因に原因を帰属する心理的直感を形式化すること。
• 法律理論におけるNESS（十分集合の必要要素）テストとHP定義を一致させることを目的とし、両者が一致する条件を示すこと。
• 以前の考えとは対照的に、HP定義が常に単一文集合の原因を導くわけではないが、適切に形式化されたNESSテストは常にそうであることを示すこと。
• 不完全または不確実なモデルにおける実原因関係の推論を可能にする、因果モデル、デフォルト推論、十分性条件を統合した論理枠組みを提供すること。

提案手法

• クラウス、レーマン、マジドルのデフォルト論理フレームワークを用い、反事後的状況を通常性の観点から順序付け、実際に通常の行動から逸脱するもののみを選択する。
• HPの反事後的条件を修正し、実際に通常の世界よりもより通常である介入のみを考慮対象とすることで、直感的でない原因関係判断を回避する。
• 文脈集合 $U$ に対する十分性の概念を導入することで、NESSテストを再形式化し、$\mathbf{S}$ が $\varphi$ を十分にするとみなされるのは、$U$ に属するすべての文脈で $[\mathbf{S}]\varphi$ が成り立つときである。
• 文脈 $\vec{u}$ における強い十分性の形式的条件を導入し、NESSテストを普遍的でない文脈にも適用可能にする。
• HP原因関係が、二文脈集合 $\{\vec{u}, \vec{u}'\}$ に対してNESS原因関係を意味する十分条件（SN1–SN3）を確立し、フレームワーク間の一貫性を保証する。
• KLMデフォルト公理とHP風の反事後的推論、十分性に関する記述を統合した統合的論理枠組みを提唱し、不完全なモデルにおける実原因関係の推論を可能にする。

実験結果

リサーチクエスチョン

• RQ1 通常性とデフォルト推論を組み込むことで、HPの原因関係定義は、直感的でないケースを修正できるか？
• RQ2 なぜHP定義は構造的に同型な状況において、直感的に正しい原因を特定できないのか？ そして、その問題はどのように解決できるか？
• RQ3 NESSテストとHP定義が等価となる条件は何か？ また、NESSテストは常に単一文集合の原因を導くのか？
• RQ4 文脈に依存する十分性を備えた形式化されたNESSテストは、文脈の変動に強く、構造方程式モデルと一貫性を保つことができるか？
• RQ5 因果モデル、デフォルト推論、十分性条件を統合した統一的論理枠組みを構築することは可能か？

主な発見

• デフォルト推論と通常性をHPフレームワークに統合することで、構造的に同型な状況において反事後的推論が直感的でない原因関係判断を導くケースが効果的に解消された。
• HP定義は、ハルペルンとピアース（2005年ジャーナル版）の主張とは対照的に、原因が常に単一文集合であるとは保証しないことが、反例によって示された。
• NESSテストが文脈集合 $U$ に対して形式化されれば、常に単一文集合の原因を導くことができ、これによりHPフレームワークの複雑さと解釈の難しさという主要な問題が解決される。
• HP原因関係がNESS原因関係を意味する十分条件（SN1–SN3）を提示し、この条件は元のHP論文のすべての例に成立する。
• 文脈に依存する十分性を備えた形式化されたNESSテストは、SN1–SN3条件下でHP定義と等価であることが示され、法的因果理論と形式的因果理論の橋渡しとなった。
• 本論文は、HP定義が実際に起こった文脈にのみ依存しているため、普遍的な原因関係の主張には不十分であり、現実世界の直感と一貫性を保つには文脈依存の十分性が不可欠であることを示した。