因果模型中动作与干预的语义鸿沟：一个非循环解释的不可能性结果

因果贝叶斯网络因支持干预推理常被称为因果模型，但模型预测涉及现实世界行动效果，其可证伪性依赖于将行动解释为干预的具体方式。 作者构建形式化框架分离因果模型与数据生成过程，并证明不存在同时满足多项理想属性且非循环的解释方式。 该框架明确化了因果模型的经验内容假设，对因果发现、表征学习和抽象具有重要意义。