[論文レビュー] Team semantics for interventionist counterfactuals and causal dependence

Fausto Barbero, Gabriel Sandu|arXiv (Cornell University)|Dec 22, 2017

Semantic Web and Ontologies参考文献 31被引用数 3

ひとこと要約

本稿は、構造方程式モデルにおける介入的反実仮想的推論と因果的依存関係を統合する一般化されたチーム意味論フレームワークとして、因果的チーム意味論を導入する。チーム意味論に介入作用素を拡張し、形式的エントリと弱い真理値（偽棄可能性と許容可能性）を導入することで、決定論的および確率的因果的記述の統一的論理的基盤を提供し、直接的因果関係および総合的因果関係、不変性、反実仮想的依存関係の形式的分析を可能にする。

ABSTRACT

We introduce a generalization of team semantics which provides a framework for manipulationist theories of causation based on structural equation models, such as Woodward's and Pearl's; our causal teams incorporate (partial or total) information about functional dependencies that are invariant under interventions. We give a unified treatment of observational and causal aspects of causal models by isolating two operators on causal teams which correspond, respectively, to conditioning and to interventionist counterfactual implication. The evaluation of counterfactuals may involve the production of partially determined teams. We suggest a way of dealing with such cases by 1) the introduction of formal entries in causal teams, and 2) the introduction of weaker truth values (falsifiability and admissibility), for which we suggest some plausible semantical clauses. We introduce formal languages for both deterministic and probabilistic causal discourse, and study in some detail their inferential aspects. Finally, we apply our framework to the analysis of direct and total causation, and other notions of dependence and invariance.

研究の動機と目的

• 因果的モデルにおける介入的反実仮想的推論を捉える論理的枠組みを構築すること。これは、従来のチーム意味論を拡張することを目的とする。
• 標準的チーム意味論が因果的関係を表現する際の限界、特に介入に対して不変な関数的依存関係を表現できない点を解決すること。
• チームにおける条件付けと介入の作用素を導入することで、観測的推論と因果的介入の両方を統一的に扱うこと。
• 非パラメトリックモデルと部分的に決定されたチームを、形式的エントリと弱めた真理値（偽棄可能性と許容可能性）を用いて扱うこと。
• 決定論的および確率的因果的記述のための論理言語を提供し、因果関係、依存関係、不変性の形式的分析を可能にすること。

提案手法

• 代入集合に関数的依存関係と介入能力を追加することで、チーム意味論を因果的チームへ一般化する。
• 観測的推論（条件付け）と因果的介入（反実仮想的推論）を区別する2つの主要作用素を導入し、チーム変換を用いて形式化する。
• 構造方程式に従って変数の代入を変更する介入を、介入に対して不変性を保つ形で定義する。
• 非パラメトリックモデルにおける部分的に決定された値を表すために形式的エントリを導入し、反実仮想的推論の論理的評価を可能にする。
• 標準的真理値が非パラメトリック設定で失敗する場合に対応するため、偽棄可能性と許容可能性という弱い真理値を採用する。
• 依存原子、反実仮想的条件文、不変性式を含む論理言語（決定論的および確率的）を構築し、チームに基づく意味論を用いる。

実験結果

リサーチクエスチョン

• RQ1 どのようにしてチーム意味論を拡張し、構造方程式モデルにおける介入的反実仮想的推論をモデル化できるか？
• RQ2 チームベースの枠組みにおいて、観測的条件付けと因果的介入を区別するために必要な論理的作用素は何か？
• RQ3 非パラメトリックモデルと部分的に決定されたチームを、論理的意味論フレームワーク内でどのように扱えるか？
• RQ4 直接的因果関係および総合的因果関係、不変性といった概念を、この拡張された意味論で形式的に表現・分析できるか？
• RQ5 提案された論理言語が因果的記述に対して持つ推論的および定義的力は何か？

主な発見

• 本フレームワークは、構造方程式モデルに整合する形式的介入作用素を導入することで、介入的反実仮想的推論をチーム意味論に統合することに成功した。
• 形式的エントリと弱い真理値（偽棄可能性と許容可能性）の導入により、標準的真理値が失敗する非パラメトリックモデルでも反実仮想的推論の論理的評価が可能になった。
• 本稿は、すべての介入に対して不変である依存関係—すなわち、介入に対して不変な依存関係—が、反実仮想的条件文を含む論理式の体系を用いて形式的に定義可能であることを示した。
• 論理的枠組みは、決定論的および確率的因果的記述を統一的に扱うことができ、介入前後状態を区別できる言語を提供している。
• 本フレームワークは、直接的因果関係や総合的因果関係といった因果的概念が、因果的チーム上の論理式によって表現・分析可能であることを明らかにした。これにより、操作主義的理論の形式的基盤が得られた。
• 本研究では、非再帰的モデル、観測されない変数、非手術的介入への拡張における未解決の課題を同定し、表現力および証明系に関する今後の研究の方向性を示唆した。