Causal Reasoning with Bipartite Graphical Causal Models

arXiv:2608.198312026-08-21

一个浴缸案例揭示了现有因果推理工具的盲区

现有的因果推理框架,比如因果贝叶斯网络和结构因果模型,难以处理处于平衡状态、存在反馈循环的系统,例如水龙头持续注水、排水口持续排水且水位保持不变的浴缸。这篇论文提出了二分图因果模型,把变量和方程都画成图中的节点,这样一次干预就能明确说明到底替换了哪个方程,从而解决了不同方式把同一个变量固定到同一个值却导致不同结果这一矛盾。作者通过完整分析浴缸系统,展示这种新表示法恰好对应现实中不同的物理操作,并在此基础上建立了新的图分离准则和推理规则。

论文原文摘要（英文）

Causal Bayesian networks (CBNs) and structural causal models (SCMs) are the dominant frameworks for graphical causal reasoning, but they cannot adequately represent all real-world causal systems. In particular, systems at equilibrium---where feedback mechanisms create cyclic causal dependencies---can exhibit causal semantics that are fundamentally incompatible with these frameworks: different interventions that enforce the same variable value may have different effects, rendering the standard ``perfect intervention'' do($X = x$) ambiguous. We propose bipartite graphical causal models (BGCMs), in which the structure of a system of equations is encoded by a bipartite graph with variable and equation nodes. In this framework, a hard intervention do($f_j : X_v = \xi_v$) specifies which equation is replaced, which variable is targeted, and at what value---resolving the ambiguity of the standard notion. We demonstrate, through a detailed case study of a physical system, that this representation naturally corresponds to distinct real-world interventions. We formulate a Markov property in terms of a new graphical separation criterion (B-separation) that exploits the functional determinism inherent in the equations, and we extend it to settings with non-random inputs. We show how this gives rise to a do-calculus for reasoning about domain invariances. BGCMs strictly generalize CBNs and SCMs while retaining the ability to perform graphical causal reasoning.

作者 · Joris M. Mooij

图片来源： Joris M. Mooij et al., arXiv:2608.19831, arxiv-nonexclusive