Abstract
In this article, we consider the computational aspects of deciding
whether a conditional independence statement $t$ is implied by a
list of conditional independence statements $L$ using the implication
related to the method of structural imsets. We present two methods
which have the interesting complementary properties that one method
performs well to prove that $t$ is implied by $L$, while the other
performs well to prove that $t$ is not implied by $L$. However, both
methods do not well perform the opposite. This gives rise to a parallel
algorithm in which both methods race against each other in order
to determine effectively whether $t$ is or is not implied. Some empirical
evidence is provided that suggest this racing algorithms method performs
considerably better than an existing method based on so-called skeletal
characterization of the respective implication. Furthermore, unlike
previous methods, the method is able to handle more than five variables.
Users
Please
log in to take part in the discussion (add own reviews or comments).