[论文解读] Team semantics for interventionist counterfactuals and causal dependence

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

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

一句话总结

本文提出了因果团队语义（causal team semantics），这是一种广义的团队语义框架，将干预式反事实推理与结构方程模型中的因果依赖关系相结合。通过在团队语义中引入干预算子，并引入形式化条目（formal entries）及较弱的真值（可证伪性与可接受性），该框架为确定性和概率性因果论述提供了统一的逻辑基础，支持对直接因果与总因果、不变性以及反事实依赖性的形式化分析。

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.

研究动机与目标

• 开发一个能够捕捉因果模型中干预式反事实推理的逻辑框架，扩展传统团队语义。
• 解决标准团队语义在表示因果关系方面的局限性，例如在干预下保持不变的功能依赖。
• 通过引入对团队的条件化与干预算子，统一观测性与因果性推理。
• 通过形式化条目与弱化真值（可证伪性与可接受性），处理非参数模型与部分确定的团队。
• 为确定性与概率性因果论述提供逻辑语言，支持对因果、依赖与不变性的形式化分析。

提出的方法

• 通过在赋值集合中增加功能依赖与干预能力，将团队语义推广为因果团队。
• 引入两个关键算子：一个用于条件化（观测推理），一个用于干预（反事实推理），通过团队变换形式化。
• 将对因果团队的干预定义为在结构方程下对变量赋值的修改，同时保持干预下的不变性。
• 引入形式化条目以表示非参数模型中的部分确定值，从而支持反事实的形式化评估。
• 采用较弱的真值（可证伪性与可接受性）以处理标准真值在非参数设定下失效的情况。
• 构建基于团队语义的逻辑语言（确定性与概率性），包含依赖原子、反事实条件句与不变性公式。

实验结果

研究问题

• RQ1 如何将团队语义扩展以在结构方程模型中建模干预式反事实？
• RQ2 在基于团队的框架中，需要哪些逻辑算子来区分观测性条件化与因果干预？
• RQ3 如何在逻辑语义框架中处理具有部分确定团队的非参数模型？
• RQ4 是否能在此扩展的语义中形式化表达并分析直接因果与总因果、以及不变性等概念？
• RQ5 所提出的逻辑语言在因果论述中的推理与定义能力如何？

主要发现

• 该框架通过引入与结构方程模型一致的形式化干预算子，成功将干预式反事实推理整合进团队语义。
• 形式化条目与较弱真值（可证伪性与可接受性）的引入，使得在标准真值失效的非参数模型中，也能对反事实进行逻辑评估。
• 本文证明，所有干预下保持不变的依赖关系——即不变依赖——可借助包含反事实条件句的公式体系进行形式化定义。
• 该逻辑框架支持对确定性与概率性因果论述的统一处理，其语言能够区分干预前与干预后状态。
• 该框架表明，诸如直接因果与总因果等因果概念，可通过因果团队上的逻辑公式进行表达与分析，为操纵主义理论提供了形式基础。
• 本研究识别出将框架扩展至非递归模型、未观测变量与非手术干预时的开放挑战，为未来在表达力与证明系统方面的研究指明了方向。