Tôi đang đọc "Nhân quả" của Judea Pearl (ấn bản thứ hai năm 2009) và trong phần 1.1.5 Độc lập có điều kiện và đồ thị, ông nói:
Sau đây là danh sách (một phần) các thuộc tính được thỏa mãn bởi mối quan hệ độc lập có điều kiện (X_ || _Y | Z).
- Đối xứng: (X_ || _ Y | Z) ==> (Y_ || _X | Z).
- Phân tách: (X_ || _ YW | Z) ==> (X_ || _Y | Z).
- Liên minh yếu: (X_ || _ YW | Z) ==> (X_ || _Y | ZW).
- Co thắt : (X_ || _ Y | Z) & (X_ || _ W | ZY) ==> (X_ || _ YW | Z).
- Giao lộ: (X_ || _ W | ZY) & (X_ || _ Y | ZW) (X_ || _ YW | Z).
(Giao lộ là hợp lệ trong phân phối xác suất tích cực nghiêm ngặt .)
(công thức (1.28) được đưa ra trước đó trong công khai: [(X_ || _ Y | Z) iff P (X | Y, Z) = P (X | Z))
Nhưng "phân phối tích cực nghiêm ngặt" theo nghĩa chung là gì và điều gì phân biệt "phân phối tích cực nghiêm ngặt" tạo thành một phân phối không hoàn toàn tích cực?