Le raisonnement probabiliste peut être fait par un système
de calcul formel.
Il est fondé sur les probabilités alors que la plupart des
systèmes formels sont basés sur la logique.
Le raisonnement probabiliste permet de calculer pour chaque proposition
une valeur réelle comprise entre 0 et 1, interprétable comme
une plausibilité. Les systèmes formels courants servent, eux,
à dériver ou réfuter les propositions, ce qui revient
à calculer une valeur qui est, soit 0, soit 1.