Alternative causal encodings

Some preceding step adds

Estab(S1,Pj,Si) => Adds(S1, Pj)

& Precedes (S1, Sj)

For every preceding step deleting a needed condition, there is a white-knight that adds it back

Needs(Sj, Pj) & Deletes(Sd, Pj) & Precedes(Sd,Sj)

=> Wknight(S1, Sj, Sd, Pj) V

Wknight(S2,Sj,Sd,Pj) V ….

Wknight(Sw,Sj,Sd,Pj) => Precedes(Sw, Sj) &

Precedes(Sd, Sw) & Adds(Sw, Pj)

Step Sj is in position j

Precedes(S1,S2)

Precedes(S1, S3)

…….

Precedes(Sj,Sj+k)

Whiteknight based establishment

Contiguity based

precedence

Eliminates the need for O(k2) causal link variables

Eliminates the need for O(k3)

Transitivity clauses

[Mali & Kambhampati, AAAI-99]