对 Miller 对比（反事实）解释定义的修正

Miller 最近基于众所周知的 Halpern-Pearl（HP）因果与非对比（non-contrastive）解释定义，提出了一种对比（反事实）解释的定义。关键在于，Miller 定义基于原始的 HP 解释定义，但此后 Halpern 对该定义进行了修改； presumably 是因为原始定义在许多标准例子中会产生反直觉的结果。最近 Borner 提出了第三种定义，指出这种修改后的 HP 定义也可能产生反直觉的结果。在本文中，我们表明 Miller 定义继承了原始 HP 定义中的问题。我们通过提出基于更稳健的修改版 HP 和 Borner 定义的两个改进变体来解决这些问题。我们分析了新定义，并表明它们保留了 Miller 定义的精神，其中所有三个变体都满足一个替代性的统一定义，该定义相对于底层的非对比解释定义是模块化的。据我们所知，本文也提供了原始与修改版 HP 定义之间的首次显式比较。