带概率干预反事实逻辑的有力完全公理化
计算机科学中的逻辑
2023-04-07 v1
摘要
因果多团队语义是一个可在统一框架下研究概率概念与因果推断的框架。我们研究了一种具有边际概率与干预反事实、并能表达条件概率陈述、do 表达式以及其他因果与概率推理混合形式的逻辑（PCO）。我们的主要贡献是给出了 PCO 的一个有力完全的无穷公理化。
引用
@article{arxiv.2304.02964,
title = {Strongly complete axiomatization for a logic with probabilistic interventionist counterfactuals},
author = {Fausto Barbero and Jonni Virtema},
journal= {arXiv preprint arXiv:2304.02964},
year = {2023}
}
备注
15 pages