Ich lese Judea Perles "Causality" (zweite Ausgabe 2009) und in Abschnitt 1.1.5 Conditional Independence and Graphoids sagt er:
Das Folgende ist eine (teilweise) Liste von Eigenschaften, die von der bedingten Unabhängigkeitsrelation (X_ || _Y | Z) erfüllt werden.
- Symmetrie: (X_ || _ Y | Z) ==> (Y_ || _X | Z).
- Zerlegung: (X_ || _ YW | Z) ==> (X_ || _Y | Z).
- Schwache Vereinigung: (X_ || _ YW | Z) ==> (X_ || _Y | ZW).
- Kontraktion: (X_ || _ Y | Z) & (X_ || _ W | ZY) ==> (X_ || _ YW | Z).
- Schnittpunkt: (X_ || _ W | ZY) & (X_ || _ Y | ZW) (X_ || _ YW | Z).
(Schnittpunkt ist in streng positiven Wahrscheinlichkeitsverteilungen gültig .)
(Formel (1.28) weiter oben in der Veröffentlichung angegeben: [(X_ || _ Y | Z) iff P (X | Y, Z) = P (X | Z))
Aber was ist eine "streng positive Verteilung" im Allgemeinen und was unterscheidet eine "streng positive Verteilung" von einer Verteilung, die nicht streng positiv ist?