Théorème de Cox
385426
28092282
2008-04-02T01:09:48Z
212.198.139.69
/* Voir aussi */
{{Voir homonymes|Cox}}
Le '''théorème de Cox''' est un théorème de [[logique]] établi en 1946 par le physicien [[Richard Threlkeld Cox]].
Cox formalise la notion intuitive de plausibilité sous une forme numérique et démontre que, si les plausibilités satisfont à un ensemble d'hypothèses, la seule façon cohérente de les manipuler est d'utiliser un système [[isomorphisme|isomorphe]] à la théorie des [[probabilité]]s.
Il est parfois nommé [[Théorème de Cox-Jaynes]]; le second n'a pas participé à la démonstration de Cox, mais a su en voir les implications dans le domaine de l'apprentissage automatique, et tirer de l'oubli ce théorème passé alors inaperçu même de [[Bertrand Russell]].
== Voir aussi ==
* [[Apprentissage automatique]]
* [[Edwin Thompson Jaynes]]
* [[Inférence bayésienne]]
* [[Logique floue]]
== Lien externe ==
* {{fr}} [http://www-laplace.imag.fr/publications/Rayons/Bessiere98b.pdf L'approche F+D (CNRS)] ([[PDF]]) : détails sur le théorème de Cox, implications et application.
{{Portail|logique|mathématiques}}
[[catégorie:théorème de mathématiques|Cox]]
[[Catégorie:Probabilités]]
[[Catégorie:Logique]]
[[en:Cox's theorem]]