[論文レビュー] Axiomatizing Causal Reasoning

Joseph Y. Halpern|ArXiv.org|May 30, 2000

Bayesian Modeling and Causal Inference参考文献 14被引用数 39

ひとこと要約

本稿は、構造方程式モデルを用いた因果的推論の完全な公理的特徴付けを提供し、ガルスとパールの研究を、再帰的理論、一意解理論、任意の理論の3つの段階的に一般化された因果的モデルのクラスへと拡張する。最も一般化された状況では、言語に論理和を追加する必要があることが示され、各クラスにおける充足可能性の計算複雑性が特定され、再帰的モデルではNP完全性が証明され、より広いクラスではより高い複雑性が示される。

ABSTRACT

Causal models defined in terms of a collection of equations, as defined by Pearl, are axiomatized here. Axiomatizations are provided for three successively more general classes of causal models: (1) the class of recursive theories (those without feedback), (2) the class of theories where the solutions to the equations are unique, (3) arbitrary theories (where the equations may not have solutions and, if they do, they are not necessarily unique). It is shown that to reason about causality in the most general third class, we must extend the language used by Galles and Pearl. In addition, the complexity of the decision procedures is characterized for all the languages and classes of models considered.

研究の動機と目的

• 構造方程式モデルのより一般化されたクラスに、ガルスとパールの因果的推論の公理的枠組みを拡張すること。
• 解が存在しないか一意でない可能性がある任意の因果的モデルにおいて因果的推論を行うために必要な最小限の言語拡張を特定すること。
• 3つの段階的に一般化されたモデルクラスにおける因果式の充足可能性問題の計算複雑性を特徴付けること。
• 従来の完全性証明における曖昧さを解消し、特に論理和を含む命題結合子の役割を明確にすること。

提案手法

• 再帰的モデル（フィードバックなし）、一意解を持つモデル、任意のモデル（解の存在や一意性の保証なし）の3つのクラスについて、公理的体系を構築する。
• ガルスとパールの枠組みを越えて、一般化された状況での因果的推論に不可欠な論理和を含む言語拡張が行われる。
• 関連する介入と変数の順序に焦点を当てることで、因果的モデルのコンパクト表現を用いた意思決定手順が構築される。
• 再帰的モデルの場合、因果的順序と関連する介入の解ベクトルを推測し、一貫性を検証することで、充足可能性がNPに属することを示す。
• Theorem 4.2 を活用して、式から導かれる符号性 ${\cal S}_{\varphi}$ に注目することで、変数の数を O(|φ|) に制限する。
• 推測された解が因果的順序と整合的であるかを確認することで、有効な構造方程式モデルの存在を保証する。

実験結果

リサーチクエスチョン

• RQ1 フィードバックループが存在しない再帰的構造方程式モデルにおける因果的推論を完全に特徴付けるために必要な公理は何か？
• RQ2 解が一意でないか存在しない可能性があるモデルを扱うために、因果論理の言語はどのように拡張されるべきか？
• RQ3 3つのモデルクラスそれぞれにおける因果式の充足可能性問題の計算複雑性は何か？
• RQ4 命題的論理和が言語に含まれていない場合、なぜ従来の完全性証明が失敗するのか？
• RQ5 因果的充足可能性のための効率的な意思決定手順を設計するために、因果的モデルのコンパクト表現を用いることは可能か？

主な発見

• 本稿は、再帰的因果的モデルの完全な公理的体系を提供し、固定された因果的順序を必要としないようにガルスとパールの結果を一般化する。
• 一意解を持つモデルの場合、解の一意性を前提とした因果的推論を完全に捉える公理系が提示される。
• 最も一般化された状況（任意の因果的モデル）では、完全性を達成するために言語に論理和を追加する必要があり、元の言語では不十分であることが示される。
• 再帰的モデルにおける充足可能性問題はNP完全であることが示され、因果的順序と一貫した解ベクトルを推測するに基づく意思決定手順が構築される。
• 一意解を持つモデルの場合、意思決定問題の複雑性はPSPACEに属することが示され、より高い表現力と推論の要求が反映されている。
• 本稿は、言語の選択が、特に非再帰的または非一意的状況において、因果公理の表現力と完全性に根本的な影響を与えることを示している。