基于莱维斯反事实的非干预因果推理方法
计算机科学中的逻辑
2025-05-21 v2
摘要
我们提出了一种基于反事实条件的计算可实现语义，其中 i) 模型中的状态被分解为两个元素：命题价值和以命题形式表示的因果基础，后者代表该状态所需的因果信息; ii) 状态之间的比较相似性关系由这两个组成部分计算得出。我们展示，通过我们的语义，我们可以优雅地形式化实际原因的概念，而无需依赖于干预的原始概念。此外，我们提供了我们语义下反事实条件语言模型检查问题的简洁表述。我们显示，该问题是 PSPACE-complete，并提供将其归约到 QBF 的方法，可用于自动验证因果属性。
引用
@article{arxiv.2505.12972,
title = {A Non-Interventionist Approach to Causal Reasoning based on Lewisian Counterfactuals},
author = {Carlos Aguilera-Ventura and Xinghan Liu and Emiliano Lorini and Dmitry Rozplokhas},
journal= {arXiv preprint arXiv:2505.12972},
year = {2025}
}