对Miller的对比（反事实）解释定义的修改
摘要：对比性（反事实）解释是基于Halpern-Pearl（HP）关于因果和（非对比性）解释的定义而被Miller最近提出的。关键是，Miller的定义是基于最初的HP解释定义的，但这已经被Halpern修改过了；很可能是因为原始定义在许多标准示例中产生了令人反感的结果。更近期，Borner提出了第三个定义，观察到这个修改过的HP定义也可能产生令人反感的结果。本文我们展示了Miller定义中存在的问题继承自原始HP定义。我们通过提出两个改进的变体，基于更强大的修改后的HP和Borner定义，来解决这些问题。我们分析了我们的新定义，并展示它们保留了Miller定义的精神，其中所有三个变体都满足与非对比性解释的基本定义相对应的模块化的替代统一定义。据我们所知，本文还首次明确比较了原始和修改后的HP定义。
作者：Kevin McAreavey, Weiru Liu
论文ID：2307.10832
分类：Artificial Intelligence
分类简称：cs.AI
提交时间：2023-07-21