Théorème de Cox-Jaynes Article, Signification, Explication
(en particulier toute écriture de formules mathématiques avec les codes HTML adéquats sera la bienvenue; sans ces formules, il est difficile de parler du théorème)
Cox cherche à poser les desiderata souhaitables pour un robot qui raisonnerait selon une logique inductive :
(à détailler en TEX)
Si une conclusion peut être obtenue par plus d'un moyen, alors tous ces moyens doivent bien donner le même résultat.
Le robot doit toujours prendre en compte la totalité de l'information qui lui est fournie. Il ne doit pas ignorer délibérément une partie d'entre elles et fonder ses conclusions sur le reste. En d'autres termes, le robot doit être totalement non idéologique, neutre de point de vue.
Le robot représente des états de connaissance équivalents par des plausibilités équivalentes. Si deux problèmes sont identiques à un simple étiquetage de propositions près, le robot doit assigner les mêmes plausibilités dans les deux cas.
Alan Turing avait fait remarquer en son temps que l'expression des probabilités était beaucoup plus facile à manier en remplaçant une probabilité p variant de 0 à 1 par l'expression ln (p/(1-p)) variant entre moins l'infini et plus l'infini. En particulier, sous cette forme, un apport d'information par la règle de Bayes se traduit par l'ajout d'une quantité algébrique unique à cette expression (que Turing nommait log-odd), cela quelle que soit la probabilité priori de départ avant l'observation.
C'est un article concernant le Théorème de Cox-Jaynes. La page contient la signification du Théorème de Cox-Jaynes , Description et explication au sujet de Théorème de Cox-Jaynes Problèmes de validité de la démarche inductive avant Cox
Réserves de Bertrand Russell
Dans le chapitre La science est-elle superstitieuse ? de son ouvrage Science et religion, Bertrand Russell énonce le problème - il ose même le mot de scandale - posé par l'inductionParadoxe de Hempel
Ce paradoxe se trouve décrit en détail dans la section Paradoxe de Hempel, dit de l'ornithologie en chambre.Les « desiderata » (axiomes)
Les degrés de plausibilité sont représentés par des nombres réels
La convention adoptée, arbitrairement, est que des plausibiliités plus grandes seront représentées par des nombres plus grands.Les règles d'inférence ne doivent pas contredire les règles d'inférence communes
Règle de cohérence
Règle d'honnêteté
Règle de reproductibilité
Les règles quantitatives (lois de composition interne)
La règle de somme
La règle de produit
Liens externes
Les résultats
Exemple
La notation d'I.J Good (weight of evidence)
en décibels (dB)
I. J. Good reprit cette idée, mais pour faciliter le travail avec ces nouvelles quantités :
Il nomma la mesure correspondante, W = 10 log10 (p/(1-p)), weight of evidence parce qu'elle permettait de « peser » le témoignage des faits en fonction des attentes - manifestées par des probabilités « subjectives » antérieures à l'observation - de façon indépendante de ces attentes.
en bits
Les évidences sont parfois exprimées aussi en bits, en particulier dans les tests de validité de lois scalantes. Quand une loi comme la loi de Zipf ou de Mandelbrot s'ajuste en effet mieux aux données qu'une autre loi ne nécessitant pas de tri préalable, il faut en effet tenir compte du fait que ce tri a représenté un apport d'information de l'ordre de N log2N et que c'est peut-être lui seul qui est responsable de ce meilleur ajustement ! Si le gain d'évidence apporté par le tri représente moins de bits que celui qu'a coûté le tri, cela signifie que l'information apportée par la considération d'une loi scalante est en fait nulle.Conséquences du théorème
Unification de l'algèbre de Boole et de la théorie des probabilités
On remarque que l'algèbre de Boole est isomorphe à la théorie des probabilités réduite aux seules valeurs 0 et 1.
Cette considération conduisit à l'invention dans les années 1970 des calculateurs stochastiques promus par la société Alsthom (qui s'écrivait avec un h à l'époque) et qui entendaient combiner le faible coût des circuits de commutation avec la puissance de traitement des calculateurs analogiques. Quelques-uns furent réalisés à l'époque.Abandon du paradigme « fréquentiste »
Bases rationnelles de l'apprentissage machine
Limitations importantes du théorème
Un paradoxe apparent
Le rôle du langage (formatage)
Liens
Internes
Externes