[论文解读] Defaults and Normality in Causal Structures

Joseph Y. Halpern|ArXiv.org|Jun 12, 2008

Logic, Reasoning, and Knowledge参考文献 32被引用 38

一句话总结

本文通过将默认推理与正常性概念整合进因果模型，弥补了Halpern-Pearl（HP）因果定义中的关键缺陷，解决了HP方法在结构同构但直觉上不同的情境中失效的问题。研究显示，将HP因果与基于正常性的偶然性选择（受Kahneman和Miller的典型性心理学启发）相结合，可恢复直觉上的因果判断；同时证明，当NESS检验被适当地形式化后，其在特定条件下与HP因果一致，并始终产生单析取因。

ABSTRACT

A serious defect with the Halpern-Pearl (HP) definition of causality is repaired by combining a theory of causality with a theory of defaults. In addition, it is shown that (despite a claim to the contrary) a cause according to the HP condition need not be a single conjunct. A definition of causality motivated by Wright's NESS test is shown to always hold for a single conjunct. Moreover, conditions that hold for all the examples considered by HP are given that guarantee that causality according to (this version) of the NESS test is equivalent to the HP definition.

研究动机与目标

• 解决Halpern-Pearl（HP）因果定义的第二个主要缺陷：在结构同构但直觉上不同的情境中，反事实推理失效。
• 使用Kraus、Lehmann和Magidor的默认逻辑，形式化人类在因果链中倾向于将因果归因于异常或例外因素的心理直觉。
• 调和HP定义与法律理论中的NESS（充分集合中的必要要素）检验，证明二者在何种条件下一致。
• 证明HP定义并不总是产生单析取因，这与先前观点相反；而经过适当形式化的NESS检验则始终产生单析取因。
• 提出一个逻辑框架，结合因果模型、默认推理与充分性条件，用于在不完整或不确定的模型中推理实际因果关系。

提出的方法

• 使用Kraus、Lehmann和Magidor的默认逻辑框架，按正常性对反事实偶然性进行排序，仅选择那些在实际世界中偏离典型行为的偶然性。
• 通过将考虑的干预集合限制为比实际世界更正常的干预，修改HP的反事实条件，从而避免产生反直觉的因果判断。
• 通过引入相对于上下文集$U$的充分性概念，重新表述NESS检验，确保集合$\mathbf{S}$在$U$的所有上下文中都满足$[\mathbf{S}]\varphi$时，$\mathbf{S}$对$\varphi$是充分的。
• 在上下文$\vec{u}$相对于集合$U$下，引入强充分性的正式条件，使NESS检验可应用于非普遍上下文。
• 建立HP因果蕴含NEST因果的充分条件（SN1–SN3），在两上下文集合$\{\vec{u}, \vec{u}'\}$下成立，确保不同框架间的一致性。
• 提出一个综合逻辑框架，整合KLM默认公理与HP风格的反事实逻辑及充分性陈述，用于在不完整模型中推理实际因果关系。

实验结果

研究问题

• RQ1 能否通过引入正常性与默认推理的概念，修复HP因果定义，以解决反直觉案例？
• RQ2 HP定义为何在结构同构的情境中有时无法识别出直觉上正确的因果，以及如何解决这一问题？
• RQ3 在何种条件下NESS检验与HP因果定义等价？NESS检验是否始终产生单析取因？
• RQ4 能否构建一个对上下文变化具有鲁棒性且与结构方程模型一致的NESS检验形式化版本？
• RQ5 是否可能开发一个统一的逻辑框架，整合因果模型、默认推理与充分性条件，用于实际因果推理？

主要发现

• 将默认推理与正常性整合进HP框架，成功解决了反事实推理导致反直觉因果判断的问题，特别是在结构同构的情境中。
• HP定义并不保证因果为单析取因，这与Halpern和Pearl（2005）期刊版中的主张相反，反例已证明此点。
• 当NESS检验相对于上下文集$U$被形式化时，其始终产生单析取因，解决了HP框架在复杂性与解释上的关键问题。
• 提供了HP因果蕴含NESS因果的充分条件（SN1–SN3），且该条件在原始HP论文的所有例子中均成立。
• 在SN1–SN3条件下，形式化后的NESS检验（具有上下文特定充分性）与HP定义等价，为法律理论与形式因果理论之间架起了桥梁。
• 本文表明，HP定义仅依赖实际上下文是不足以支持普遍因果主张的，而上下文相关的充分性对于与现实世界直觉保持一致至关重要。