反事实解释的公理基础

arXiv:2602.04028v1 公告类型：新 摘要：解释自主和智能系统对于提高对其决策的信任至关重要。反事实已经成为最引人注目的解释形式之一。他们通过揭示如何改变决策来解决“为什么不”的问题。尽管文献不断增加，但大多数现有的解释者都关注单一类型的反事实，并且仅限于局部解释，侧重于个体实例。目前还没有对替代反事实类型进行系统研究，也没有对揭示系统整体推理过程的全局反事实进行系统研究。 本文通过引入一个公理框架来解决这两个差距，该框架建立在反事实解释器的一组理想属性的基础上。它证明了不可能定理，表明没有任何一个解释器可以同时满足某些公理组合，并充分表征所有兼容集。然后，表示定理在特定的公理子集和满足它们的解释器族之间建立五个一一对应的关系。每个家庭都会产生一种独特类型的反事实解释，揭示五种根本不同类型的反事实。其中一些对应于局部解释，而另一些则捕获全局解释。最后，该框架将现有的解释器置于该分类中，正式描述其行为，并分析生成此类解释的计算复杂性。