Kausale Wirkung durch Einstellungen der Hintertür und der Vordertür

Die Aktion entspricht einem Eingriff an variable dass setzt es auf $do(x)$ $X$ $x$ . Wenn wir auf eingreifen , bedeutet dies, dass die Eltern von seinen Wert nicht mehr beeinflussen, was dem Entfernen der Pfeile entspricht, die auf Lassen Sie uns diesen Eingriff auf einer neuen DAG darstellen. $X$ $X$ $X$

Nennen wir die ursprüngliche Beobachtungsverteilung und die Verteilung nach der Intervention . Unser Ziel ist es, in auszudrücken . Beachten Sie, dass wir in das . Auch die prä- und postinterventionellen Wahrscheinlichkeiten teilen diese beiden Invarianzen: und $P$ $P^*$ $P^*$ $P$ $P^*$ $U \perp X$ $P^*(U) = P(U)$ da wir bei unserer Intervention keinen Pfeil berührt haben, der diese Variablen eingibt. So: $P^*(Y|X, U) = P(Y|X, U)$

\begin{aligned} P (Y | d o (X)) & := P^{*} (Y | X) \\ = \sum_{U} P^{*} (Y | X, U) P^{*} (U | X) \\ = \sum_{U} P^{*} (Y | X, U) P^{*} (U) \\ = \sum_{U} P (Y | X, U) P (U) \end{aligned}

$\begin{aligned} P(Y|do(X)) &:= P^*(Y|X) \\ &=\sum_{U}P^*(Y|X, U)P^*(U|X)\\ &=\sum_{U}P^*(Y|X, U)P^*(U)\\ &=\sum_{U}P(Y|X, U)P(U) \end{aligned}$

Die Ableitung der Haustür ist etwas aufwendiger. Beachten Sie zunächst, dass zwischen und keine Verwechslung besteht. $X$ $Z$

P (Z | d o (X)) = P (Z | X)

$P(Z|do(X)) = P(Z|X)$

Auch die gleiche Logik für die Ableitung mit sehen wir , dass zur Steuerung der für die Ableitung der Wirkung von genug ist , auf , das heißt $P(Y|do(X))$ $X$ $Z$ $Y$

P (Y | d o (Z)) = \sum_{X^{'}} P (Y | X^{'}, Z) P (X^{'})

$P(Y|do(Z)) = \sum_{X'}P(Y|X', Z) P(X')$

Wo ich die Primzahl für die Bequemlichkeit der Notation für den nächsten Ausdruck verwende. Diese beiden Ausdrücke beziehen sich also bereits auf die Verteilung vor der Intervention, und wir haben einfach die vorherige Backdoor-Begründung verwendet, um sie abzuleiten.

Das letzte Stück, das wir brauchen, ist, auf die Wirkung von auf zu schließen und die Wirkung von auf und auf kombinieren . Um das zu tun, bemerkt in unserem Diagramm $X$ $Y$ $Z$ $Y$ $X$ $Z$ $P(Y|Z, do(X)) = P(Y|do(Z), do(X)) = P(Y|do(Z))$ , da die Wirkung von auf vollständig durch vermittelt wird und der Backdoor-Pfad von nach blockiert wird, wenn auf eingegriffen wird . Daher: $X$ $Y$ $Z$ $Z$ $Y$ $X$

\begin{aligned} P (Y | d o (X)) & = \sum_{Z} P (Y | Z, d o (X)) P (Z | d o (X)) \\ = \sum_{Z} P (Y | d o (Z)) P (Z | d o (X)) \\ = \sum_{Z} \sum_{X^{'}} P (Y | X^{'}, Z) P (X^{'}) P (Z | X) \\ = \sum_{Z} P (Z | X) \sum_{X^{'}} P (Y | X^{'}, Z) P (X^{'}) \end{aligned}

$\begin{aligned} P(Y|do(X)) &= \sum_{Z} P(Y|Z, do(X))P(Z|do(X))\\ &= \sum_{Z} P(Y|do(Z))P(Z|do(X))\\ &= \sum_{Z} \sum_{X'}P(Y|X', Z) P(X')P(Z|X)\\ &= \sum_{Z}P(Z|X) \sum_{X'}P(Y|X', Z) P(X') \end{aligned}$

Wo kann auf die folgende Art und Weise zu verstehen: wenn ich intervenieren , dann ist die Verteilung von ändert sich auf ; aber ich interveniere tatsächlich auf also möchte ich wissen, wie oft einen bestimmten Wert annehmen würde , wenn ich ändere , was $\sum_{Z} P(Y|do(Z))P(Z|do(X))$ $Z$ $Y$ $P(Y|do(Z))$ $X$ $Z$ $X$ . $P(Z|do(X))$

Daher ergeben die beiden Anpassungen die gleiche postinterventionelle Verteilung in diesem Diagramm, wie wir gezeigt haben.

Wenn Sie Ihre Frage noch einmal lesen, ist mir der Gedanke gekommen, dass Sie möglicherweise direkt zeigen möchten, dass die rechte Seite der beiden Gleichungen in der präinterventionellen Verteilung gleich ist (was sie angesichts unserer vorherigen Ableitung sein müssen). Das ist auch nicht schwer direkt zu zeigen. Es genügt zu zeigen, dass in Ihrer DAG:

\sum_{X^{'}} P (Y | Z, X^{'}) P (X^{'}) = \sum_{U} P (Y | Z, U) P (U)

$\sum_{X'}P(Y|Z, X') P(X') = \sum_{U}P(Y|Z, U) P(U)$

Beachten Sie, dass die DAG impliziert und dann: $Y \perp X|U, Z$ $U \perp Z|X$

\begin{aligned} \sum_{X^{'}} P (Y | Z, X^{'}) P (X^{'}) & = \sum_{X^{'}} (\sum_{U} P (Y | Z, X^{'}, U) P (U | Z, X^{'})) P (X^{'}) \\ = \sum_{X^{'}} (\sum_{U} P (Y | Z, U) P (U | X^{'})) P (X^{'}) \\ = \sum_{U} P (Y | Z, U) \sum_{X^{'}} P (U | X^{'}) P (X^{'}) \\ = \sum_{U} P (Y | Z, U) P (U) \end{aligned}

$\begin{aligned} \sum_{X'}P(Y|Z, X') P(X') &= \sum_{X'}\left(\sum_{U}P(Y|Z, X', U)P(U|Z, X') \right)P(X') \\ &= \sum_{X'}\left(\sum_{U}P(Y|Z, U)P(U| X') \right)P(X') \\ &= \sum_{U}P(Y|Z, U) \sum_{X'}P(U| X')P(X') \\ &= \sum_{U}P(Y|Z, U) P(U) \\ \end{aligned}$

Hence:

\begin{aligned} \sum_{Z} P (Z | X) \sum_{X^{'}} P (Y | X^{'}, Z) P (X^{'}) & = \sum_{Z} P (Z | X) \sum_{U} P (Y | Z, U) P (U) \\ = \sum_{U} P (U) \sum_{Z} P (Y | Z, U) P (Z | X) \\ = \sum_{U} P (U) \sum_{Z} P (Y | Z, X, U) P (Z | X, U) \\ = \sum_{U} P (Y | X, U) P (U) \end{aligned}

$\begin{aligned} \sum_{Z}P(Z|X) \sum_{X'}P(Y|X', Z) P(X') &= \sum_{Z}P(Z|X)\sum_{U}P(Y|Z, U) P(U)\\ &= \sum_{U}P(U)\sum_{Z}P(Y|Z, U)P(Z|X) \\ &= \sum_{U}P(U)\sum_{Z}P(Y|Z, X, U)P(Z|X, U) \\ &= \sum_{U}P(Y| X, U) P(U)\\ \end{aligned}$

Carlos Cinelli
quelle

This is a very good and exhaustive answer. The bit where you identify the causal effect through the front-door is, however, superfluous (OP has already done it and it follows straight from the front-door theorem), and it also contains a mistake: There is no "law of total probability" for causal effects. That is,

P (Y | d o (X))

$P(Y|do(X))$ does not generally equal

\sum_{Z} P (Y | d o (Z)) P (Z | d o (X)

$\sum_{Z}P(Y|do(Z))P(Z|do(X)$ , but rather

\sum_{Z} P (Y | Z, d o (X)) P (Z | d o (X))

$\sum_{Z}P(Y|Z, do(X))P(Z|do(X))$ , which is clearly different. See the big Pearl book on pages 87--88.

Julian Schuessler

@JulianSchuessler that’s why I wrote “can be thought as”, as a way to help understanding, but not literally saying it is. Regarding the front door derivation it wasn’t clear the OP knew how to obtain it, that’s why I put it there.

Carlos Cinelli

Great answer. Thanks, Carlos. The second part of your answer was exactly what I asked for. I have two follow-up questions here. 1) What search strategy did you use for algebraically manipulating the expressions in your second answer? (By squinting long enough at the expressions?) Since the search space is large, I am wondering how an algorithm can be written to be able to automatically come to the same conclusion.

Jae

2) I was also confused with how to interpret

\sum_{z} P (Y | do (Z) P (Z | do (X))

$\sum_z P(Y|\textit{do}(Z)P(Z|\textit{do}(X))$ , as my first intuition was like Julian's suggestion. But the Pearl et al.'s book I mentioned uses your expression. I am wondering, whether, in general, when factoring a directed chain where the start node is the cause and end node is the effect, each factor has to be conditioned on

do (Z)

$\textit{do}(Z)$ and not on

Z

$Z$ , where

Z

$Z$ is an intermediate note in the chain.

Jae

@Jeevaka this is an assumption encoded in the DAG, implied by its factorization and the assumption that the system is composed of modular, autonomous pieces. Thus, changes in

P (X, U)

$P(X, U)$ do not affect

P (Y | X, U)

$P(Y|X, U)$ . One way to help thinking about this is to write down the structural equations of both models

M

$M$ (observational model) and

M^{*}

$M^*$ (interventional model) and then derive the implied distributions

P

$P$ and

P^{*}

$P^*$ . You will see that the conditional of

Y

$Y$ given

X

$X$ and

U

$U$ will be the same in both.

Carlos Cinelli

Kausale Wirkung durch Einstellungen der Hintertür und der Vordertür

Antworten: