Я читаю «Причинность» Иудеи Перл (второе издание 2009 года), а в разделе 1.1.5 «Условная независимость и графоиды» он заявляет:
Ниже приведен (частичный) список свойств, удовлетворяемых условным условием независимости (X_ || _Y | Z).
- Симметрия: (X_ || _ Y | Z) ==> (Y_ || _X | Z).
- Разложение: (X_ || _ YW | Z) ==> (X_ || _Y | Z).
- Слабый союз: (X_ || _ YW | Z) ==> (X_ || _Y | ZW).
- Сокращение: (X_ || _ Y | Z) & (X_ || _ W | ZY) ==> (X_ || _ YW | Z).
- Пересечение: (X_ || _ W | ZY) & (X_ || _ Y | ZW) (X_ || _ YW | Z).
(Пересечение действует в строго положительных распределениях вероятностей .)
(формула (1.28), приведенная ранее в publicatiob: [(X_ || _ Y | Z) тогда и только тогда, когда P (X | Y, Z) = P (X | Z))
Но что такое «строго положительное распределение» в общих чертах и что отличает «строго положительное распределение» от распределения, которое не является строго положительным?