Formule atomique

Mettre à jour A avec la probabilité P signifie que A doit être vrai avec au moins la probabilité P. Donc, si P₀ est la probabilité courante de A, la nouvelle probabilité sera $\max(P_0,P)$.