I think this could be right, but I also think this attitude is a bit too careless. Conditional independence in the first place has lebesgue measure 0. I have some sympathy for considering something along the lines of “when your posterior concentrates on conditional independence, the causal relationships are the ones that don’t concentrate on a priori measure 0 sets” as a definition of causal direction—maybe this is implied by the finite factored set definition if you supply an additional rule for determining priors, I’m not sure.
Also, this is totally not the Pearlian definition! I made it up.
I think this could be right, but I also think this attitude is a bit too careless. Conditional independence in the first place has lebesgue measure 0. I have some sympathy for considering something along the lines of “when your posterior concentrates on conditional independence, the causal relationships are the ones that don’t concentrate on a priori measure 0 sets” as a definition of causal direction—maybe this is implied by the finite factored set definition if you supply an additional rule for determining priors, I’m not sure.
Also, this is totally not the Pearlian definition! I made it up.