干预主义对多团队语境下的反事实推论：概率与因果关系
摘要：因果多团队中的概率推理能力 我们在[4]中引入了团队语义（因果团队）的扩展，该语义为干预性反事实和基于它们的因果概念（如Pearl和Woodward的操纵方法）分配了一种解释。我们现在提出了这个框架的进一步扩展（因果多团队），该扩展使我们能够谈论概率因果陈述。我们分析了两种因果概率语言的表达能力资源，一种是有限的，一种是无限的。我们展示了许多因果推断领域的因果概率概念已经可以在有限的语言中表达，并且我们证明了一个新颖的正规形式定理，从而让我们对Pearl的“因果阶梯”有了新的认识。另一方面，我们提供了对无限语言的精确语义特征描述，这表明这种语言准确捕捉了那些不偏袒任何特定概率解释的因果概率陈述；并且我们证明了没有通常的可数语言适用于这个任务。
作者：Fausto Barbero and Gabriel Sandu
论文ID：2305.02613
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-05-23