Judea Pearl'ün "Nedensellik" i (ikinci baskı 2009) okuyorum ve 1.1.5 Koşullu Bağımsızlık ve Grafoitler bölümünde şöyle diyor:
Koşullu bağımsızlık ilişkisi (X_ || _Y | Z) tarafından karşılanan özelliklerin (kısmi) bir listesi aşağıdadır.
- Simetri: (X_ || _ Y | Z) ==> (Y_ || _X | Z).
- Ayrışma: (X_ || _ YW | Z) ==> (X_ || _Y | Z).
- Zayıf birlik: (X_ || _ YW | Z) ==> (X_ || _Y | ZW).
- Daralma: (X_ || _ Y | Z) & (X_ || _ W | ZY) ==> (X_ || _ YW | Z).
- Kavşak: (X_ || _ W | ZY) & (X_ || _ Y | ZW) (X_ || _ YW | Z).
(Kesişim kesinlikle pozitif olasılık dağılımlarında geçerlidir .)
(daha önce kamuoyunda verilen formül (1.28): [(X_ || _ Y | Z) iff P (X | Y, Z) = P (X | Z))
Ancak genel anlamda "kesinlikle pozitif dağılım" nedir ve "kesinlikle pozitif dağılım" ı, kesinlikle pozitif olmayan bir dağılımdan ayıran nedir?