arXiv:2501.19335v2 类别: cross 摘要: 因果贝叶斯网络因其能够对干预分布做出预测而被视为“因果”模型。要将这些因果模型的预测与现实世界的结果联系起来，我们必须确定现实世界中的哪些行为与模型中的哪些干预措施相对应。例如，要将某个行为解释为对治疗变量的干预，该行为必须满足以下两点：a) 以对应干预的方式改变治疗的分布；b) 不改变其他方面，比如结果如何依赖于治疗；尽管某些变量的边缘分布可能会因干预效应而发生变化。我们引入了一个形式化的框架，使不同行为解释为干预的这些要求变得精确。我们证明了将行为解释为干预的看似自然的方式是循环的：在这种解释下，每个正确描述观察分布的因果贝叶斯网络也是显而易见地适合于干预分布，而且没有任何行为能够提供可能推翻这种模型的实验证据。我们证明了一个不可能性结果：不存在一种既非循环又同时满足一组自然的要求的解释。相反，我们研究了一些非循环解释，这些解释可能违反一些要求，并说明了这些解释如何使得因果模型的反驳成为可能。通过严格探讨因果贝叶斯网络如何才能成为世界的“因果”模型而不仅仅是数学对象，我们提出的形式化框架为因果表示学习、因果发现和因果抽象的概念基础做出了贡献，同时也揭示了一些现有方法的局限性。