Propagation en arrière

Soit l'état mental B_P et l'instance de règle d'inférence $\left(\frac{A}{B}\right)_Q$. Le réseau doit être mis à jour avec $A_{\max(P,1-Q)}$. En effet, ceci est équivalent à une propagation en avant de $\lnot B_{1-P}$suivant la règle $\left(\frac{\lnot B}{\lnot A}\right)_Q$ qui conduit à la mise à jour $\lnot A_{\min(1-P,Q)}$, c'est à dire $A_{\max(P,1-Q)}$.