Logique probabiliste

Un article de Wikipédia, l'encyclopédie libre.

En théorie des probabilités et en logique mathématique, une logique probabiliste est un système formel qui permet de faire du raisonnement déductif avec des probabilités. Le terme est utilisé pour la première fois dans un article de Nils John Nilsson de 1986[1] où l'auteur présente une variable de la logique propositionnelle où les valeurs de vérités sont remplacées par des probabilités.

Notes et références[modifier | modifier le code]

  1. Nils John Nilsson, « Probabilistic Logic », Artif. Intell., vol. 28,‎ , p. 71–88 (ISSN 0004-3702, DOI 10.1016/0004-3702(86)90031-7, lire en ligne, consulté le )

Voir aussi[modifier | modifier le code]