【斯坦福大学AAAI2020】跨越因果层次的概率推理，Probabilistic Reasoning across the Causal Hierarchy

题目： Probabilistic Reasoning across the Causal Hierarchy∗

摘要： 我们将关联、干预和反事实的三层因果关系形式化为一系列概率逻辑语言，我们的语言具有严格的表达能力，第一种语言能够表达定量概率推理，包括条件独立和贝叶斯推理第二个是对因果关系的计算推理，第三个是对任意反事实查询的完全表达式计算。我们给出了在结构因果模型和概率程序上完成的一系列相应的有限公理化，并证明了多项式的SAT可效度和有效性在多项式空间中是决定性的。

作者简介： Thomas Icard，斯坦福人工智能实验室附属学院，哲学和计算机科学助理教授。个人主页：https://web.stanford.edu/~icard/