Les probabilités à partir de zéro : le langage de l’incertitude
Construire les probabilités depuis la base : les mondes possibles, l’univers, les deux axiomes fondamentaux, puis les règles d’addition et de multiplication, chacune démontrée plutôt qu’affirmée, avec des exemples numériques résolus.
Presque toutes les idées de ce site reposent en fin de compte sur une seule phrase : nous ne savons pas ce qui va se produire, mais nous pouvons dire à quel point chaque issue est vraisemblable. Cet article rend cette phrase précise. Nous construisons les probabilités à partir de deux axiomes, nous démontrons les règles familières au lieu de les supposer, et nous terminons avec les outils nécessaires à tous les articles suivants de cette série.
Rien ici n’est admis sur parole. Chaque règle ci-dessous est démontrée à partir des deux axiomes : à la fin, vous saurez non seulement ce que disent les formules, mais pourquoi elles sont nécessairement vraies.
A. Mondes possibles et univers
Russell & Norvig présentent les probabilités en termes de mondes possibles. Une assertion probabiliste indique à quel point chaque monde est vraisemblable, là où une assertion logique se contenterait de dire quels mondes sont exclus.
L’ensemble de tous les mondes possibles est l’univers, noté (oméga majuscule). Un monde particulier se note . Deux propriétés le définissent :
- Les mondes sont mutuellement exclusifs - deux d’entre eux ne peuvent pas être réalisés en même temps.
- Les mondes sont exhaustifs - l’un d’eux doit nécessairement être réalisé.
Pour un unique lancer d’un dé ordinaire, l’univers est
Pour un lancer de deux dés distinguables, il y a 36 mondes possibles : . Cela mérite qu’on s’y arrête, car c’est sur ce dénombrement que les débutants se trompent le plus souvent : les mondes sont des couples ordonnés, donc et sont deux mondes différents, et non un seul.
Un modèle de probabilité attribue un nombre à chaque monde possible.
B. Les deux axiomes
Tout découle de deux exigences sur cette attribution :
Autrement dit : aucune probabilité n’est négative ni supérieure à un, et les probabilités de tous les mondes possibles totalisent exactement un - il faut bien que quelque chose se produise.
Voilà toute la fondation. Ces axiomes remontent aux Fondements de la théorie des probabilités de Kolmogorov (1950), et toutes les formules du reste de cet article en sont des conséquences.
Si les deux dés sont équilibrés et n’interfèrent pas l’un avec l’autre, la symétrie impose que chacun des 36 mondes porte la même probabilité ; comme leur somme doit valoir 1, chacun vaut .
C. Événements : des mondes aux propositions
Nous nous intéressons rarement à un monde isolé. Nous nous intéressons à une proposition telle que « le résultat est pair ». Un événement est l’ensemble des mondes où la proposition est vraie, et sa probabilité est la somme de leurs probabilités :
Pour un dé équilibré et « pair » :
Pourquoi « cas favorables sur cas totaux » est un cas particulier, et non la définition. Compter les issues et diviser ne fonctionne que si tous les mondes sont équiprobables. Un dé pipé possède un modèle de probabilité parfaitement valable ; il attribue simplement des inégaux. La somme ci-dessus est la véritable définition et s’applique toujours.
D. Démontrer la règle du complémentaire
Voici la machinerie à l’œuvre. Les mondes où est vrai et ceux où (« non ») est vrai sont disjoints, et réunis ils forment tout . En scindant la somme du second axiome :
ce qui est exactement
Si un modèle attribue à un événement la probabilité , sa non-réalisation a la probabilité - et vous le savez désormais comme un théorème, non comme une intuition.
E. La règle d’addition, et le piège qu’elle évite
Pour deux événements qui peuvent se chevaucher, additionner les probabilités compte deux fois les mondes communs. Retrancher le chevauchement exactement une fois donne
Exemple résolu. On tire une carte d’un jeu standard de 52 cartes. Soit = « c’est un cœur » et = « c’est un roi ».
- - treize cœurs.
- - quatre rois.
- - exactement un roi de cœur.
L’addition naïve aurait donné , en comptant deux fois le roi de cœur. Le terme de chevauchement n’est pas un détail technique : c’est la différence entre une bonne et une mauvaise réponse.
Interactif : compter les mondes, puis compter l’intersection une seule fois
Tous les mondes sont équiprobables.
- P(A)
- 13/52 = 0.2500
- P(B)
- 4/52 = 0.0769
- P(A et B)
- 1/52 = 0.0192
- P(A ou B)
- 16/52 = 0.3077
- Somme naïve P(A) + P(B)
- 17/52 = 0.3269
- P(A) × P(B)
- 0.0192
En comptant les mondes un par un, A ou B est vrai dans 16 cas sur 52. La règle d’addition y arrive à partir des trois autres comptes : 13 + 4 - 1 = 16, donc P(A ou B) = 4/13. La somme naïve compte 17, et l’excédent de 1 est exactement l’intersection mise en évidence, comptée une fois pour A et une fois pour B. Ces deux événements sont aussi indépendants : P(A et B) est égal à P(A) × P(B), donc connaître l’un n’apprend rien sur l’autre.
F. Probabilité conditionnelle
Apprendre quelque chose change ce que nous devons attendre. La probabilité de sachant que est réalisé est définie par
L’intuition : on restreint l’attention aux mondes où est vrai, puis on demande quelle fraction de cet ensemble restreint vérifie aussi . La division par est ce qui renormalise l’ensemble restreint pour que sa probabilité totale revienne à 1.
En réarrangeant, on obtient la règle de multiplication :
Exemple résolu. Dans une population, 10 % des membres appartiennent à un groupe à haut risque. Au sein de ce groupe, un événement survient avec une probabilité de 20 %. La probabilité qu’un membre choisi au hasard soit à la fois à haut risque et subisse l’événement vaut
soit 2 % de la population entière.
G. Indépendance, et pourquoi elle se mérite
Deux événements sont indépendants lorsque connaître l’un n’apprend rien sur l’autre - formellement, lorsque . En substituant dans la règle de multiplication, celle-ci se réduit à la version dont tout le monde se souvient :
Pour deux événements réellement sans lien, chacun de probabilité , la chance que les deux surviennent vaut , soit .
L’erreur la plus coûteuse en probabilités appliquées. Multiplier des probabilités n’est valable que sous l’hypothèse d’indépendance. Lorsqu’une cause commune entraîne de nombreuses issues à la fois - un mode de défaillance partagé, un choc affectant tout un marché, une unique dépendance en amont - les événements sont fortement dépendants, et la multiplication sous-estime radicalement la probabilité qu’un grand nombre d’entre eux surviennent ensemble. L’indépendance est une hypothèse à vérifier face au processus qui engendre les données, jamais un acquis gratuit.
H. Vérifier l’arithmétique des dés et des cartes
Les nombres ci-dessus sont assez petits pour être vérifiés par énumération exhaustive, ce qu’il vaut la peine de faire une fois afin de faire confiance aux règles plutôt qu’à l’arithmétique :
S'exécute dans votre navigateur. La première exécution télécharge l'environnement Python (~10 Mo), puis il est mis en cache.
L’exécution affiche 16 16 4/13 : l’union comptée directement et l’union calculée
par la règle d’addition coïncident exactement, et la probabilité est bien le
démontré plus haut.
À retenir
- Un modèle de probabilité est un univers de mondes possibles mutuellement exclusifs et exhaustifs, chacun portant une probabilité.
- Les deux axiomes sont que les probabilités appartiennent à et qu’elles somment à 1 sur . Tout le reste en est déduit.
- La probabilité d’un événement est la somme sur les mondes où il est réalisé ; c’est la définition, et « favorables sur total » n’en est que le cas particulier équiprobable.
- Le « ou » exige la règle d’addition avec le chevauchement retranché ; le « et » exige la règle de multiplication avec une probabilité conditionnelle.
- L’indépendance est le cas particulier où le conditionnement ne change rien. Elle doit être vérifiée, jamais supposée.
La suite
La probabilité conditionnelle a une conséquence bien plus utile qu’il n’y paraît d’abord : elle peut être inversée, ce qui permet de transformer « comment se comporte l’indice sachant une cause » en « quelle est la vraisemblance de la cause sachant l’indice ». Cette inversion, c’est le théorème de Bayes, et il produit des résultats qui surprennent immanquablement. C’est le sujet de Le théorème de Bayes et la mise à jour des croyances.
Références et lectures complémentaires
- Stuart Russell, Peter Norvig, Artificial Intelligence: A Modern Approach, Pearson (3rd edition), 2010· Bibliothèque de référence Kudos AI
Les œuvres protégées par le droit d’auteur sont citées à titre de référence uniquement et ne sont pas hébergées ici ; veuillez consulter l’éditeur pour y accéder.