Czytam „Przyczynowość” Judei Pearl (drugie wydanie 2009), aw sekcji 1.1.5 Warunkowa niezależność i grafoidy stwierdza:
Poniżej znajduje się (częściowa) lista właściwości spełnianych przez warunkową zależność niezależności (X_ || _Y | Z).
- Symetria: (X_ || _ Y | Z) ==> (Y_ || _X | Z).
- Rozkład: (X_ || _ YW | Z) ==> (X_ || _Y | Z).
- Słaby związek: (X_ || _ YW | Z) ==> (X_ || _Y | ZW).
- Skurcz: (X_ || _ Y | Z) i (X_ || _ W | ZY) ==> (X_ || _ YW | Z).
- Przecięcie: (X_ || _ W | ZY) i (X_ || _ Y | ZW) (X_ || _ YW | Z).
(Przecięcie jest ważne w ściśle dodatnich rozkładach prawdopodobieństwa .)
(wzór (1.28) podany wcześniej w publikacji: [(X_ || _ Y | Z) iff P (X | Y, Z) = P (X | Z))
Ale czym jest ogólnie „ściśle pozytywny rozkład” i co odróżnia „ściśle pozytywny rozkład” od rozkładu, który nie jest ściśle dodatni?