更改

:<math> P(Y|do(Z=z),do(X=x),W=w)=P(Y|do(Z=z),W=w)</math>

:<math> P(Y|do(Z=z),do(X=x),W=w)=P(Y|do(Z=z),W=w)</math>

其中 <math> Z(W) </math> 表示 <math> Z\\An(W)_{G_{\overline{X}}} </math>，<math> An(W)_G </math> 表示W的祖先集（W及其祖先节点构成的点集）， <math> G_{\overline{X}} </math> 表示删除G中所有指向X节点的边后得到的子图， <math> G_{\overline{X}\underline{Z}} </math> 表示删除G中所有指向X和从Z指向其他节点的边后得到的子图。

其中 <math> G_{\overline{Z}}^{+} </math> 表示删除G中所有指向Z节点的边，添加独立决策变量<math> \hat{Z} </math>唯一指向Z，从而得到的拓展图。

=====扩展 Entensions =====

=====扩展 Entensions =====