Return to Answer

Does this represent every possible independence in a graph given every possible subset of the set of variables $Z$? Or are you able to define $I(P)$ because the graph structure is specified?

No. The set of all possible conditional independencies expressed by a DAG $I(G)$ is different from the set of all possible conditional independencies we can find in a certain joint distribution $I(P)$.

The whole last sentence is confusing to me. Maybe it's because I can't think abstractly enough, but I don't understand how the I-map of G is a subset of the I-map of P.

Normally $I(G)\subset I(P)$ which means the set of independencies we can see from the connectivity in the graph is only a part of the independencies the joint distribution has, which indicates the soundness rather than the completeness of the d-separation. All independencies we can get from the graph easily are right and can be verified in the joint distribution but some dependencies/edges are redundant. If we don't use the graph to visually express the independencies it would be much harder for us to tackle the related problems by directly checking the joint distribution.

The toy of Bayes Network is conditional independency and the more conditional independencies we can express using the graph for the joint distribution we are dealing with the better. Since almost everything in the universe is to some extent dependent on each otinr by some way, and we can just simplify the issue by assuming some independencies, otherwise, we cannot tackle any problem.

An easy example: for every fully connected graph $I(G)=\emptyset$ and every $\emptyset$ is a subset of the set of independencies in any joint distribution and thus this always holds: $I(G)\subset I(P)$. But the graph is totally unrepresentative and uselesss because it tells us nothing about the independence structure in the distribution.

If $I(G)=I(P)$ the graph is a perfect graph: P-Map, which means all independencies can be perfectly expressed by the graph( and all the independencies in the graph are right for the joint distribution).

Does this represent every possible independence in a graph given every possible subset of the set of variables $Z$? Or are you able to define $I(P)$ because the graph structure is specified?

No. The set of all possible conditional independencies expressed by a DAG $I(G)$ is different from the set of all possible conditional independencies we can find in a certain joint distribution $I(P)$.

The whole last sentence is confusing to me. Maybe it's because I can't think abstractly enough, but I don't understand how the I-map of G is a subset of the I-map of P.

Normally $I(G)\subset I(P)$ which means the set of independencies we can see from the connectivity in the graph is only a part of the independencies the joint distribution has, which indicates the soundness rather than the completeness of the d-separation. All independencies we can get from the graph easily are right and can be verified in the joint distribution but some dependencies/edges are redundant. If we don't use the graph to visually express the independencies it would be much harder for us to tackle the related problems by directly checking the joint distribution.

The use of Bayes Network is expressing conditional independence and the more conditional independencies we can express using the graph for the joint distribution we are dealing with the better. Since almost everything in the universe is to some extent dependent on each other in some way, and we can just simplify the issue by assuming some independencies, otherwise, we cannot tackle any problem.

An easy example: for every fully connected graph $I(G)=\emptyset$ and every $\emptyset$ is a subset of the set of independencies in any joint distribution and thus this always holds: $I(G)\subset I(P)$. But the graph is totally unrepresentative and useless because it tells us nothing about the independence structure in the distribution.

If $I(G)=I(P)$ the graph is a perfect graph: P-Map, which means all independencies can be perfectly expressed by the graph( and all the independencies in the graph are right for the joint distribution).

Does this represent every possible independence in a graph given every possible subset of the set of variables $Z$? Or are you able to define $I(P)$ because the graph structure is specified?

No. The set of all possible conditional independencies expressed by a DAG $I(G)$ is different from the set of all possible conditional independencies we can find in a certain joint distribution $I(P)$.

The whole last sentence is confusing to me. Maybe it's because I can't think abstractly enough, but I don't understand how the I-map of G is a subset of the I-map of P.

Normally $I(G)\in I(P)$ which means the set of independencies we can see from the connectivity in the graph is only a part of the independencies the joint distribution has, which indicates the soundness rather than the completeness of the d-separation. All independencies we can get from the graph easily are right and can be verified in the joint distribution but some dependencies/edges are redundant. If we don't use the graph to visually express the independencies it would be much harder for us to tackle the related problems by directly checking the joint distribution.

The key of Bayes Network is conditional independency and the more conditional independencies we can express using the graph for the joint distribution we are dealing with the better. Since almost everything in the universe is to some extent dependent on each other by some way, and we can just simplify the issue by assuming some independencies, otherwise we cannot tackle any problem.

An easy example: for every fully connected graph $I(G)=\emptyset$ and every $\emptyset$ is a subset of the set of independencies in any joint distribution and thus this always holds: $I(G)\in I(P)$. But the graph is totally unrepresentative and uselesss because it tells us nothing about the independence structure in the distribution.

If $I(G)=I(P)$ the graph is a perfect graph: P-Map, which means all independencies can be perfectly expressed by the graph( and all the independencies in the graph are right for the joint distribution).

Does this represent every possible independence in a graph given every possible subset of the set of variables $Z$? Or are you able to define $I(P)$ because the graph structure is specified?

No. The set of all possible conditional independencies expressed by a DAG $I(G)$ is different from the set of all possible conditional independencies we can find in a certain joint distribution $I(P)$.

The whole last sentence is confusing to me. Maybe it's because I can't think abstractly enough, but I don't understand how the I-map of G is a subset of the I-map of P.

Normally $I(G)\subset I(P)$ which means the set of independencies we can see from the connectivity in the graph is only a part of the independencies the joint distribution has, which indicates the soundness rather than the completeness of the d-separation. All independencies we can get from the graph easily are right and can be verified in the joint distribution but some dependencies/edges are redundant. If we don't use the graph to visually express the independencies it would be much harder for us to tackle the related problems by directly checking the joint distribution.

The toy of Bayes Network is conditional independency and the more conditional independencies we can express using the graph for the joint distribution we are dealing with the better. Since almost everything in the universe is to some extent dependent on each otinr by some way, and we can just simplify the issue by assuming some independencies, otherwise, we cannot tackle any problem.

An easy example: for every fully connected graph $I(G)=\emptyset$ and every $\emptyset$ is a subset of the set of independencies in any joint distribution and thus this always holds: $I(G)\subset I(P)$. But the graph is totally unrepresentative and uselesss because it tells us nothing about the independence structure in the distribution.

If $I(G)=I(P)$ the graph is a perfect graph: P-Map, which means all independencies can be perfectly expressed by the graph( and all the independencies in the graph are right for the joint distribution).

Does this represent every possible independence in a graph given every possible subset of the set of variables $Z$? Or are you able to define $I(P)$ because the graph structure is specified?

No. The set of all possible conditional independencies expressed by a DAG $I(G)$ is different from the set of all possible conditional independencies we can find in a certain joint distribution $I(P)$.

The whole last sentence is confusing to me. Maybe it's because I can't think abstractly enough, but I don't understand how the I-map of G is a subset of the I-map of P.

Normally $I(G)\in I(P)$ which means the set of independencies we can see from the connectivity in the graph is only a part of the independencies the joint distribution has, which indicates the soundness rather than the completeness of the d-separation. All independencies we can get from the graph independence structure easily are right and can be verified in the joint distribution but some independencies are unnecessary. If we don't use the graph to visually express the independencies it would be much harder for us to tackle the related problems by directly checking the joint distribution.

The key of Bayes Network is conditional independency and the more conditional independencies we can express using the graph for the joint distribution we are dealing with the better. Since almost everything in the universe is to some extent dependent on each other by some way, and we can just simplify the issue by assuming some independencies, otherwise we cannot tackle any problem.

An easy example: for every fully connected graph $I(G)=\emptyset$ and every $\emptyset$ is a subset of the set of independencies in any joint distribution and thus this always holds: $I(G)\in I(P)$. But the graph is totally unrepresentative and uselesss because it tells us nothing about the independence structure in the distribution.

If $I(G)=I(P)$ the graph is a perfect graph: P-Map, which means all independencies can be perfectly expressed by the graph( and all the independencies in the graph are right for the joint distribution).

Does this represent every possible independence in a graph given every possible subset of the set of variables $Z$? Or are you able to define $I(P)$ because the graph structure is specified?

No. The set of all possible conditional independencies expressed by a DAG $I(G)$ is different from the set of all possible conditional independencies we can find in a certain joint distribution $I(P)$.

The whole last sentence is confusing to me. Maybe it's because I can't think abstractly enough, but I don't understand how the I-map of G is a subset of the I-map of P.

Normally $I(G)\in I(P)$ which means the set of independencies we can see from the connectivity in the graph is only a part of the independencies the joint distribution has, which indicates the soundness rather than the completeness of the d-separation. All independencies we can get from the graph easily are right and can be verified in the joint distribution but some dependencies/edges are redundant. If we don't use the graph to visually express the independencies it would be much harder for us to tackle the related problems by directly checking the joint distribution.

The key of Bayes Network is conditional independency and the more conditional independencies we can express using the graph for the joint distribution we are dealing with the better. Since almost everything in the universe is to some extent dependent on each other by some way, and we can just simplify the issue by assuming some independencies, otherwise we cannot tackle any problem.

An easy example: for every fully connected graph $I(G)=\emptyset$ and every $\emptyset$ is a subset of the set of independencies in any joint distribution and thus this always holds: $I(G)\in I(P)$. But the graph is totally unrepresentative and uselesss because it tells us nothing about the independence structure in the distribution.

If $I(G)=I(P)$ the graph is a perfect graph: P-Map, which means all independencies can be perfectly expressed by the graph( and all the independencies in the graph are right for the joint distribution).