超越“若非”测试：基于实际因果性的抽象论辩反事实解释（扩展版）

抽象论辩中的反事实解释旨在回答“假设性”问题：如果改变某些其他论点的状态，主题论点是否仍会被接受？现有方法局限于“若非”测试，无法适应更精细的反事实条件。为克服这些局限性，我们在抽象论辩中引入了一个基于干预的反事实推理框架。该方法将论点的接受条件编码为方程，随后定义了一个干预算子，支持（1）同时改变论点集合，以及（2）将见证论点固定为其实际标签。在 Halpern-Pearl 定义中引入的精细反事实条件指导下，我们的方法超越了“若非”测试，从而能够正确识别诸如抢占和过度决定等论辩结构中的原因。通过比较，我们表明该方法在表达能力和可靠性方面均优于先前的方法。