L'utilisation de probabilités permet de modéliser un système non monotone.
Chaque élément de la base de connaissances est stocké avec un réel compris entre 0 et 1.
représente l'ignorance totale à propos de la valeur de vérité d'une formule.
1 signifie que la formule est certainement vraie et 0 qu'elle est sûrement fausse.
Une valeur entre 0 et 1 permet de coder une nuance intermédiaire.
La non monotonie et le maintien de la cohérence sont obtenus par la propagation de probabilités dans le réseau représentant la base de connaissances. Pour définir le calcul de la probabilité P(A) d'une formule complexe A, nous allons utiliser les relations suivantes :