1、D-分离定义
如果一条路径被一组条件节点Z阻断,当且仅当(两个条件有一个成立即可):
1.路径p包含链结构A → B → C,或分叉结构A ← B → C,且中间节点B在Z中(即以B为条件)
2.路径p包含一个对撞结构A → B ← C,且对撞节点B及其子孙节点不在Z中。(以对撞节点为条件时,会解除阻断)
2、样例
2.1 当条件节点为空时,Z、Y是否独立?
Z到Y的路径上有一个对撞结构:Z → W ← X,并且W和其后代U均不在条件节点中,根据定义2被阻断。因此Z、Y是独立的。
2.2 当条件节点为W时,Z、Y是否独立?
Z到Y的路径上有一个对撞结构:Z → W ← X,但是W在条件节点中,不符合定义2。因此Z、Y不独立。
2.3 当条件节点为U时,Z、Y是否独立?
同理,不独立。
2.4 当条件节点为W、X时,Z、Y是否独立?
首先ZWX对撞结构,因为W在条件节点中,因此联通。
然后WXY处理分叉结构,符合定义1,被阻断,因此整条路径被阻断,Z、Y独立。
2.5 当条件节点为空时,Z、Y是否独立?
前面已经分析了ZWXY这条路径被W阻断。
Z ← T → Y 是一个分叉结构,且T不在条件节点中,不符合定义1,因此Z、Y不独立。
2.6 当条件节点为T时,Z、Y是否独立?
此时符合定义1,因此独立。
参考书籍:统计因果推理入门,作者:Judea Pearl