通过推导图揭示 do-calculus 推理的结构

do-calculus 定义了一个用于干预查询的通用推理系统，允许通过连续应用其规则转换因果量。该过程产生了丰富的等价干预表达式空间，但组合和排序这些规则仍具挑战性。本文引入了推导图，表示 do-calculus 规则的应用与组合方式，并刻画了在 do-calculus 下等价的所有观测和干预概率空间。利用这些图的结构，我们提出了一种最多只需四次应用 do-calculus 规则的简化程序。最后，我们展示了将识别算法应用于等价因果查询如何为同一因果量生成多个有效估计量，从而最终获得更高效的估计器。