PPT Slide
TYPICAL DERIVATION IN CAUSAL CALCULUS
P (c | do{s}) = ?t P (c | do{s}, t) P (t | do{s})
= ?s???t P (c | do{t}, s?) P (s? | do{t}) P(t |s)
= ?t P (c | do{s}, do{t}) P (t | do{s})
= ?t P (c | do{s}, do{t}) P (t | s)
= ?t P (c | do{t}) P (t | s)
= ?s? ?t P (c | t, s?) P (s?) P(t |s)
= ?s???t P (c | t, s?) P (s? | do{t}) P(t |s)