User:AaronSw/PC algorithm

IC Algorithm (Inductive Causality)

Input: ${\hat {P}}$, a stable distribution on a set V of variables
Output: a patter $H({\hat {P}})$ compatible with ${\hat {P}}$.

1. For each pair of variables a and b in V, search for a set S_ab such that (a || b | S_ab) holds in ${\hat {p}}$ -- in other words, a and b should be independent in P-hat, conditioned on Sab. Construct an undirected graph G such that vertices a and b are connected with an edg if and only if no set Sab can be found.

1. For each pair of nonadjacient variables a and b with a common neighbor c, check if c e Sab.
   • If it is, then continue.
   • If it is not, then add arrowheads pointing at c (i.e., a->c <- b).

1. In the partially directed graph that results, orient as many of the undirected edges as possible subject to two conditions: (i) the orientation should not create a new v-structure; and (ii) the orientation should not create a directed cycle.