d-Separation Without Tears 笔记

具体证明我也没看，只能先记下结论了👀
原文链接
d-Separation是用于判断在一个因果图中，在给定第三个集合Z的情况下，集合X中的元素和集合Y中的元素是否独立。思想是将“依赖(dependence)”与“连接性(connectedness)”相联系，“独立(independence)”与“不连通性(unconnected-ness)”或者“分离(separation)”相联系。(后面一句没看懂)

1,无条件分离

如果x和y之间有一条非堵塞的路径，那么它们是d-connected的。
所谓非堵塞的路径是指在沿着路走时不会遇到一对箭头头对头(➡⬅)的箭头，比如下图就不是非堵塞路径。


下面的是D-connected的

2,条件堵塞

在给定Z集合中的值后，剩余的变量的条件分布会改变属性，有些非独立的变量会变成独立，有些独立的变量会变成非独立。(和西瓜书P157页分析贝叶斯网络结构的内容对应)。
如果X和Y之间有一条不通过Z中元素的路径，那么X和Y在条件Z下是d-connected的；如果这种路径不存在，那么我们说X和Y被Z是d-separated，同时也可以说X和Y之间的每条路径都被Z堵塞。
比如下图中的X和Y是条件堵塞。(Z是灰色的元素)

3,碰撞时的条件

如果一个碰撞的节点是集合Z中的成员或者有一个后代在Z中，那么它将不会再堵塞任何经过它的路径。
t的一个后代在集合Z中，所以它不再堵塞X和Y的路径。

以上是D-seperation的定义。