Sto leggendo "Causality" della Judea Pearl (seconda edizione 2009) e nella sezione 1.1.5 Indipendenza condizionale e Graphoids, afferma:
Di seguito è riportato un elenco (parziale) di proprietà soddisfatte dalla relazione di indipendenza condizionale (X_ || _Y | Z).
- Simmetria: (X_ || _ Y | Z) ==> (Y_ || _X | Z).
- Decomposizione: (X_ || _ YW | Z) ==> (X_ || _Y | Z).
- Unione debole: (X_ || _ YW | Z) ==> (X_ || _Y | ZW).
- Contrazione: (X_ || _ Y | Z) & (X_ || _ W | ZY) ==> (X_ || _ YW | Z).
- Intersezione: (X_ || _ W | ZY) & (X_ || _ Y | ZW) (X_ || _ YW | Z).
(L'intersezione è valida nelle distribuzioni di probabilità strettamente positive .)
(formula (1.28) fornita in precedenza in publicatiob: [(X_ || _ Y | Z) iff P (X | Y, Z) = P (X | Z))
Ma cos'è una "distribuzione strettamente positiva" in termini generali e cosa distingue una "distribuzione strettamente positiva" da una distribuzione che non è strettamente positiva?