[論文レビュー] Probabilistic Reasoning across the Causal Hierarchy

Duligur Ibeling, Thomas Icard|arXiv (Cornell University)|Jan 9, 2020

Bayesian Modeling and Causal Inference参考文献 28被引用数 4

ひとこと要約

本稿は、関連性、介入、反実仮想を含む三段階の因果的階層を、逐次的に表現力が向上する確率的論理言語（$ olcal{L}_1$, $ olcal{L}_2$, $ olcal{L}_3$）として形式化し、構造的因果モデルおよび確率的プログラム上で解釈される。各レベルに対して、初めての有限的で健全かつ完全な公理化を提供し、充足可能性と妥当性が多項式空間で決定可能であることを証明することで、確率的因果推論の基盤的論理枠組みを確立する。

ABSTRACT

We propose a formalization of the three-tier causal hierarchy of association, intervention, and counterfactuals as a series of probabilistic logical languages. Our languages are of strictly increasing expressivity, the first capable of expressing quantitative probabilistic reasoning -- including conditional independence and Bayesian inference -- the second encoding do-calculus reasoning for causal effects, and the third capturing a fully expressive do-calculus for arbitrary counterfactual queries. We give a corresponding series of finitary axiomatizations complete over both structural causal models and probabilistic programs, and show that satisfiability and validity for each language are decidable in polynomial space.

研究の動機と目的

• 因果的階層—関連性、介入、反実仮想—を、表現力が段階的に向上する確率的論理言語として形式化すること。
• 階層の各レベルに対して、有限的で健全かつ完全な公理化を構築すること。
• 三つの言語すべての充足可能性と妥当性が多項式空間で決定可能であることを示すこと。
• 因果的介入を伴う確率的プログラムと、計算可能構造的因果モデルの自然な部分集合との間の同値性を確立すること。
• do-計算式および因果的同定の論理的構造を、形式的な構文と意味論を通じて明確化すること。

提案手法

• 三つの論理言語を形式化：$ olcal{L}_1$ は確率的関連性を、$ olcal{L}_2$ は $do$-演算子を用いた介入に基づく条件文を、$ olcal{L}_3$ は反実仮想の任意のブール結合を扱う。
• 構造的因果モデル上で意味論を定義し、その後確率的プログラム上でも解釈を保証し、解釈の整合性を確保する。
• 各言語に対して有限公理化（$ olcal{AX}_1$, $ olcal{AX}_2$, $ olcal{AX}_3$）を構築し、半代数的幾何学の技法を用いて健全性と完全性を証明する。
• 実閉体の量化子除去（Tarskiの定理）を活用し、充足可能性と妥当性が $ olcal{PSPACE}$ に属することを示す。
• 三つの言語すべてに対して $ olcal{PSPACE}$ 決定可能性を裏付ける小モデル性を証明する。
• 因果的介入付き確率的プログラムと、計算可能構造的因果モデルの自然な部分集合との間の同値性を確立し、この手続き的意味論下でも完全性を拡張する。

実験結果

リサーチクエスチョン

• RQ1 因果的階層の三つの段階—関連性、介入、反実仮想—を、表現力が段階的に向上する確率的論理言語として正式に記述できるか？
• RQ2 因果的階層の各レベルにおける確率的推論に対して、有限的で健全かつ完全な公理化が存在するか？
• RQ3 これらの論理言語の充足可能性と妥当性は決定可能か？ その計算複雑性はいかほどか？
• RQ4 因果的介入付き確率的プログラムは、構造的因果モデルの自然な部分集合と等価な手続き的意味論として機能できるか？
• RQ5 $ olcal{L}_1$, $ olcal{L}_2$, $ olcal{L}_3$ のような論理言語は、do-計算式および因果的同定の原則をどの程度正確に捉え、明確化できるか？

主な発見

• 本稿は、純粋な確率的論理（$ olcal{L}_1$）に対する、初めての有限的で健全かつ完全な公理化を提供し、以前の研究が残した未解決問題を解決する。
• 介入と反実仮想の両方の確率的推論を統合した、初めての有限公理化（$ olcal{L}_2$ と $ olcal{L}_3$）を提示し、因果的階層全体の推論を統一する。
• 三つの言語すべての充足可能性と妥当性が多項式空間で決定可能であり、実閉体の量化子除去による上界が確立されている。
• 充足可能性の $ olcal{PSPACE}$ 決定性を裏付ける小モデル性が証明され、任意の論理式のすべてのモデルがサイズで有界であることが示された。
• 因果的介入付き確率的プログラムと、計算可能構造的因果モデルの自然な部分集合との間の形式的同値性を確立し、この手続き的解釈下でも公理化の妥当性を裏付けた。
• $ olcal{AX}_3$ 計算式の完全性から、確率的表現に還元可能な因果効果の照会は、do-計算式のスキーマ（11）と（12）に加え、$ olcal{AX}_3$ の公理のみで導出可能であることが示された。