arXiv:2501.19335v1 类别：交叉学科 摘要：因果贝叶斯网络是“因果”的模型，因为它们对干预分布作出预测。为了将这种因果模型的预测与现实世界的成果联系起来，我们必须确定世界中的哪些行为对应于模型中的哪些干预措施。例如，要将一个行为解释为对治疗变量的干预，该行为大概需要满足以下两点：a) 以与干预相对应的方式改变治疗的分布；b) 不改变其他方面，比如结果如何依赖于治疗；而一些变量的边缘分布可能会受到影响。我们提出了一个形式化的框架，以使不同行为解释为干预措施的要求变得精确。我们证明了将行为解释为干预措施的直观解释是循环的：在这种解释下，任何正确建模观测分布的因果贝叶斯网络也必然会是干预有效的，而没有任何行为能够提供能够反驳这种模型的实证数据。我们证明了一个不可能性结果：不存在一种既不是循环的，又能同时满足一系列自然要求的解释。相反，我们研究了一种非循环的解释，这种解释可能违背一些自然要求，并展示了这如何反过来使因果模型的证伪成为可能。通过严格探讨因果贝叶斯网络如何成为世界中的“因果”模型，而非仅仅是一个数学对象，我们的形式化框架为因果表示学习、因果发现和因果抽象的概念基础做出了贡献，同时也突显了现有方法的一些局限性。