I am learning d-seperation in Bayes nets for my A.I. class.
What this involves is considering all paths from some node X to Y (representing random variables) and seeing whether such paths are active or inactive. By definition, a path is active if there is exist a tuple along the path that is inactive (essentially blocking the propagation of information between X and Y).
I know that if ALL paths are inactive, we can conclude X and Y are independent.
Now there are two other cases. 1) All paths are active 2) Some paths active, some inactive
My question is, does case (1) allow us to make some stronger conclusion about the independence of X and Y, versus case (2). Something like this
1) X and Y are NOT independent 2) X and Y are not necessarily independent.