Propagation en avant

Soit l'état mental A_P et l'instance de règle d'inférence $\left(\frac{A}{B}\right)_Q$. Le réseau doit être mis à jour avec $B_{\min(P,Q)}$.