[論文レビュー] A Modification of the Halpern-Pearl Definition of Causality

Joseph Y. Halpern|arXiv (Cornell University)|May 1, 2015

Bayesian Modeling and Causal Inference参考文献 17被引用数 59

ひとこと要約

本稿は、Halpern-Pearlフレームワークに基づく実因果の再定義を提案する。元々の定義および更新版の定義を単純化し、他の変数を実際の値に凍結した状態で、原因の値のみを操作する反事後的推論に制限することで、より直感的で計算効率の良い定義を実現した。この定義は、先行遮断や過剰決定といった古典的因果問題を、低い複雑性で正しく処理する。

ABSTRACT

The original Halpern-Pearl definition of causality [Halpern and Pearl, 2001] was updated in the journal version of the paper [Halpern and Pearl, 2005] to deal with some problems pointed out by Hopkins and Pearl [2003]. Here the definition is modified yet again, in a way that (a) leads to a simpler definition, (b) handles the problems pointed out by Hopkins and Pearl, and many others, (c) gives reasonable answers (that agree with those of the original and updated definition) in the standard problematic examples of causality, and (d) has lower complexity than either the original or updated definitions.

研究の動機と目的

• 実因果のHalpern-Pearl定義における長年の欠陥、特に先行遮断や過剰決定のケースにおける処理の不備を是正すること。
• 複雑な状況選択や証人構築に依存する度合いを減らすことで、元の定義および更新版のHP定義を単純化すること。
• 因果計算の複雑性をΔpにまで低くすることで、計算効率を向上させること。
• 標準的な例における人間の因果的判断と整合する、より直感的で頑健な定義を提供すること。
• 反事後的シナリオにおける制約を厳しくすることで、多くの場合に不適切な変数の追加や正規性仮定の必要性を排除すること。

提案手法

• 反事後的推論を、原因の値のみを変更する介入に制限し、他のすべての変数をその実際の値に凍結する。
• 原因変数の適切な部分集合が独立に反事後的条件を満たさないことを保証する、新たな最小性条件を導入する。
• 構造的方程式モデル（SEMs）を用い、HP定義のAC2(b)条項を変更したバージョンを採用。これにより、原因が実際の値に設定された状態で、非原因変数の部分集合が因果的リンクを破壊できないことが要求される。
• 従来、スプライアスな因果的判断を引き起こしていた、非原因変数の仮想的変更（例：Suzy-Billyの例におけるBillyの投げをゼロに設定）を避ける。
• 他のすべての変数の値を凍結した状態で、原因が存在しない場合に効果が発生しなくなるかどうかを検証する証人ベースの検証プロセスに依存する。
• 形式的に、標準的なケースにおいて元の定義および更新版のHP定義と同等であることが証明されているが、それらの過剰な複雑性と計算コストを回避する。

実験結果

リサーチクエスチョン

• RQ1 元のHalpern-Pearl定義および更新版の定義の落とし穴を避ける、より単純で直感的な実因果の定義を構築できるか？
• RQ2 非原因変数の値を凍結した状態での反事後的推論に制限することで、先行遮断や過剰決定のシナリオにおける因果的判断の正しさが向上するか？
• RQ3 因果検出の計算複雑性を、元の定義および更新版のHP定義よりも低く抑えることができるか？
• RQ4 新しい定義は、Suzy-Billyの石投げのシナリオのような標準的な例において、原因を正しく特定できるか？
• RQ5 通常の因果的ケースにおいて、不適切な変数の拡張や正規性仮定の必要性を排除できるか？

主な発見

• 新しい定義は、Suzyの投げがボトルの破壊の原因であることを正しく特定するが、Billyの投げは正しく除外される。両者とも単独で作用した場合には効果を引き起こすが、その事実は無視される。
• 非原因変数の値を反事後的シナリオで変更しないことで、スプライアスな因果的判断を回避する。たとえば、Billyの投げをゼロに設定するような操作は許可されない。
• 新しい定義における因果の同定の計算複雑性はΔpであり、元の定義および更新版のHP定義よりも低い。
• 新しい定義は、HopkinsとPearlの反例および他の既知の問題のあるケースを、従来のバージョンよりもより頑健に処理できる。
• 標準的な例において、元の定義および更新版のHP定義と形式的に同等であるが、より単純な条件と少ない仮定でこれを達成する。
• 多くの場合、補助変数の追加や明示的な正規性制約なしに、正しい因果的判断を可能にする。