Statistique et estimation de paramètres : maximum de vraisemblance, MAP et intervalles de confiance
Échantillon, estimateur, biais et pourquoi la variance empirique divise par n − 1, maximum de vraisemblance, estimation bayésienne MAP et intervalles de confiance — et pourquoi entraîner un réseau de neurones revient à estimer des paramètres.
Série Bases de l’IA Partie 19 sur 52
- Carte de l’intelligence artificielle : qu’est-ce qui est quoi et comment tout s’emboîte
- Brève histoire de l’intelligence artificielle : de Turing aux modèles de langage
- Données, modèle, entraînement, inférence : les notions de base sur un seul exemple
- Lire la notation mathématique : symboles, indices, sommes et quantificateurs
- Ensembles et relations : les briques dont sont faites les définitions en IA
- Fonctions et applications : pourquoi tout modèle d’IA est une fonction
- Logique et démonstrations : les règles selon lesquelles on raisonne en IA
- Graphes et arbres : la structure sur laquelle reposent la recherche et les réseaux de neurones
- Algèbre linéaire pour l’apprentissage automatique : vecteurs, matrices et pourquoi l’IA multiplie surtout
- Dérivées, gradient et règle de dérivation en chaîne : comment un modèle sait dans quelle direction apprendre
- Descente de gradient : comment un modèle apprend
- Qu’est-ce que la probabilité : du lancer de dé aux axiomes de Kolmogorov
- Probabilité conditionnelle et théorème de Bayes : comment réviser une estimation quand on apprend du nouveau
- Variable aléatoire et fonction de répartition : une seule fonction qui dit tout de la loi
- Fonction de densité et fonction de masse : pourquoi une variable continue a une probabilité nulle en chaque point
- Espérance, variance et covariance : où se situe une loi, quelle est sa largeur et ce qui varie avec quoi
- Panorama des lois de probabilité : Bernoulli, binomiale, Poisson, uniforme, normale et exponentielle
- Loi des grands nombres et théorème central limite : pourquoi les moyennes sont si prévisibles
- Statistique et estimation de paramètres : maximum de vraisemblance, MAP et intervalles de confiance
- Théorie de l’information : entropie, entropie croisée et divergence KL — d’où viennent les fonctions de perte
- Recherche dans l’espace d’états : BFS, DFS, UCS et A* en animations
- Jeux et adversaires : minimax, élagage alpha-bêta et Monte Carlo tree search
- Satisfaction de contraintes : backtracking, propagation de contraintes et AC-3 sur un sudoku et une carte des régions tchèques
- Logique et systèmes à base de connaissances : chaînage avant et arrière, résolution et systèmes experts
- Planification : STRIPS, monde des blocs, heuristiques par relaxation et planification dans les agents IA
- Recherche locale et recuit simulé : un voyageur de commerce à travers les chefs-lieux de région tchèques
- Algorithmes génétiques : population, croisement, mutation et sélection sur un sac à dos de randonnée
- Stratégies d’évolution et programmation génétique : de la règle du cinquième à la loi de Kepler
- Optimisation par colonies de fourmis : comment une piste de phéromone trouve un chemin court
- Optimisation par essaim de particules : inertie, expérience propre et expérience de l’essaim
- Neuroévolution : faire évoluer les poids et la forme des réseaux de neurones, et l’algorithme NEAT
- Ensembles flous et fonctions d’appartenance : comment écrire « un peu chaud »
- Logique floue et probabilité : pourquoi « un peu chaud » ne veut pas dire « probablement chaud »
- Logique floue : t-normes, implications et règles SI–ALORS
- Commande floue : Mamdani et Sugeno, du ventilateur au pendule inversé sur un chariot
- Clustering flou : l’algorithme fuzzy c-means et les points entre les clusters
- Systèmes neuro-flous (ANFIS) : des règles floues qui apprennent à partir des données
- Chaînes de Markov : matrice de transition, distribution stationnaire et PageRank
- Modèles de Markov cachés : l’algorithme de Viterbi et le casino malhonnête
- Réseaux bayésiens : pourquoi l’herbe est mouillée et ce que cela implique pour l’arroseur
- Le filtre de Kalman : comment estimer, à partir de mesures imprécises, où se trouve une voiture et à quelle vitesse elle roule
- Types d’apprentissage automatique : supervisé, non supervisé, semi-supervisé et plus
- Prompts, contexte et RAG : comment donner au modèle les bonnes informations
- Autoencodeurs variationnels (VAE) : de nouvelles images à partir d’un espace latent continu
- Réseaux antagonistes génératifs (GAN) : le faussaire contre le détective
- Modèles de diffusion : comment une image naît du bruit pur
- Processus de décision markoviens : états, actions, récompenses et équations de Bellman
- Q-learning et DQN : apprendre la valeur des actions, du tableau au réseau de neurones
- Policy gradient et PPO : apprendre directement la politique
- Comment fonctionne un agent IA : un modèle de langage en boucle avec des outils
- Programmer avec des agents IA : consigne, tests et vérification
- Évaluation et sécurité des systèmes d’IA : comment mesurer et comment surveiller
Programme complet de la série 52 sur 83 sujets publiés
- Ce qu’est un estimateur, quand il est sans biais et convergent, et pourquoi la variance empirique divise par n − 1.
- Comment fonctionnent le maximum de vraisemblance et l’estimation MAP — et pourquoi ce sont l’entraînement et la régularisation.
- Ce que signifie exactement un intervalle de confiance à 95 % et l’erreur fréquente que l’on commet en le lisant.
Utile à connaître avant : Loi des grands nombres et théorème central limite : pourquoi les moyennes sont si prévisibles
La théorie des probabilités va du modèle vers les données : si vous savez que la pièce est équilibrée, vous calculez ce qui va tomber. La statistique fait le chemin inverse — des données vers le modèle : on a obtenu 6 piles sur 20, quelle est donc cette pièce ? C’est exactement ce que fait l’apprentissage automatique. Le modèle a des paramètres, les données sont ce qui est tombé, et l’entraînement est une estimation de paramètres. Cette partie montre ce qu’est un bon estimateur, d’où vient la méthode du maximum de vraisemblance, sur laquelle repose presque chaque fonction de perte, et comment dire honnêtement à quel point on peut se fier à une estimation.
Cette partie fait suite à Loi des grands nombres et théorème central limite.
1. Échantillon, statistique, estimateur
Définition — échantillon aléatoire
Un échantillon aléatoire de taille n issu d’une loi de densité (ou de fonction de masse) f(x ; θ) est formé de n variables indépendantes et identiquement distribuées X1, …, Xn qui suivent cette loi. Le paramètre θ est inconnu.
Les données dont nous disposons, nous les considérons comme tirées au hasard d’une certaine loi. Le type de loi, c’est nous qui le choisissons (par exemple une loi de Bernoulli — spam ou pas), mais son paramètre (la part du courrier qui est du spam) nous est inconnu, et nous voulons le déterminer à partir des données.
Définition — statistique et estimateur
Une statistique est une fonction quelconque de l’échantillon T = T(X1, …, Xn) qui ne dépend pas du paramètre inconnu θ. Une statistique utilisée pour estimer θ s’appelle un estimateur et se note θ̂.
Une statistique, c’est n’importe quel calcul fait sur les données : la moyenne, le maximum, la médiane, la proportion de spam. Un estimateur est une statistique investie d’une mission : atteindre le paramètre inconnu. Comme les données sont aléatoires, l’estimateur l’est aussi : avec d’autres données, il donnerait un autre résultat. C’est pourquoi on s’intéresse à la façon dont les estimateurs se comportent en moyenne et à mesure que les données s’accumulent.
2. Un bon estimateur : sans biais et convergent
Définition — estimateur sans biais
Un estimateur θ̂ est sans biais si E[θ̂] = θ pour toute valeur de θ. La différence E[θ̂] − θ s’appelle le biais.
Un estimateur sans biais se trompe tantôt dans un sens, tantôt dans l’autre, mais en moyenne il vise juste. La moyenne empirique est un estimateur sans biais de l’espérance — nous l’avons vu dans la partie précédente.
Définition — estimateur convergent
Un estimateur θ̂n est convergent si, pour tout ε > 0, limn→∞ P(|θ̂n − θ| ≥ ε) = 0.
Avec suffisamment de données, l’estimateur tombe aussi près de la cible qu’on le souhaite. La moyenne empirique est convergente — c’est exactement la loi des grands nombres.
L’absence de biais ne va pas de soi. Pour estimer la variance, il est tentant de prendre l’écart quadratique moyen par rapport à la moyenne, (1/n) ∑ (Xi − X̄)². Mais cet estimateur sous-estime systématiquement la variance : on mesure les écarts par rapport à X̄, qui s’est ajusté aux données, au lieu du vrai μ.
Théorème — variance empirique corrigée
Pour un échantillon aléatoire de variance σ², on a E[(1/n) ∑ (Xi − X̄)²] = ((n − 1)/n) σ². L’estimateur sans biais de la variance est donc la variance empirique corrigée
s² = 1/(n − 1) · ∑i=1n (Xi − X̄)².
Il faut diviser par n − 1, et non par n (correction de Bessel). Un « degré de liberté » est consommé par l’estimation de la moyenne. Sur de petits échantillons, la différence se voit — avec cinq valeurs, diviser par cinq fait une erreur d’un cinquième —, sur un million de valeurs, elle ne joue aucun rôle.
Vérifions-le : nous avons lancé 2 000 fois cinq dés et, à chaque fois, calculé les deux estimations de la variance. La vraie variance d’un dé vaut 35/12 ≈ 2,92. La moyenne des estimations avec division par n s’est arrêtée à 2,38 (elle vise 4/5 · 2,92 ≈ 2,33), celle avec division par n − 1 à 2,97 :
3. Méthode du maximum de vraisemblance
Définition — fonction de vraisemblance
Pour des données observées x1, …, xn, la fonction de vraisemblance est la fonction du paramètre
L(θ) = ∏i=1n f(xi ; θ).
Les données sont fixées ; on fait varier le paramètre et on se demande : « si le paramètre valait θ, quelle serait la probabilité d’obtenir exactement ces données-là ? » Pour des observations indépendantes, les probabilités se multiplient. Attention : L(θ) n’est pas une probabilité du paramètre — sur l’ensemble des θ, elle ne somme pas forcément à 1.
Définition — estimateur du maximum de vraisemblance
L’estimateur du maximum de vraisemblance (EMV, en anglais MLE) est θ̂ = argmaxθ L(θ). Comme le logarithme est croissant, c’est la même chose que argmaxθ ∑i ln f(xi ; θ).
Choisissez le paramètre qui rend les données observées les plus probables. Le logarithme transforme le produit en somme — c’est plus commode à calculer, et l’ordinateur n’a pas à manipuler des nombres minuscules qui s’arrondiraient à zéro.
Sur 20 e-mails, 6 étaient du spam. Pour une proportion de spam p, on a L(p) = p6(1 − p)14. La dérivée du logarithme, 6/p − 14/(1 − p), s’annule pour p̂ = 6/20 = 0,3 — exactement la proportion de spam dans les données. En général, pour k succès sur n, on obtient p̂ = k/n. Avec 60 spams sur 200, l’estimation est la même, mais le pic est beaucoup plus étroit : les données en disent davantage sur le paramètre.
Pour l’attente d’un e-mail, qui suit une loi exponentielle, la méthode du maximum de vraisemblance donne λ̂ = 1 / X̄. Avec cinq attentes mesurées de 1,2 ; 3,5 ; 0,4 ; 2,1 et 2,8 minutes, la moyenne vaut 2 minutes et λ̂ = 0,5 par minute.
4. Estimation bayésienne MAP
Définition — estimateur du maximum a posteriori
Si π(θ) est la densité a priori du paramètre, l’estimateur du maximum a posteriori (MAP) est θ̂ = argmaxθ L(θ) · π(θ).
C’est le théorème de Bayes de la partie sur la probabilité conditionnelle, appliqué aux paramètres : a posteriori ∝ vraisemblance × a priori. Le MAP choisit le paramètre le plus probable après avoir pris en compte ce que l’on pensait au départ. Si l’on accorde d’emblée peu de poids aux valeurs extrêmes (densité a priori proportionnelle à p(1 − p)), on obtient une proportion de spam de 7/22 ≈ 0,318 — l’estimation est légèrement tirée vers le centre. À mesure que les données s’accumulent, l’influence de la loi a priori s’efface.
5. Intervalle de confiance
Définition — intervalle de confiance
L’intervalle (T1, T2), où T1 ≤ T2 sont des statistiques, est un intervalle de confiance pour θ au niveau de confiance 1 − α si P(T1 < θ < T2) = 1 − α pour tout θ.
Au lieu d’un seul nombre, vous donnez une fourchette, assortie d’une garantie : la procédure qui calcule la fourchette atteint le vrai paramètre dans 95 % des cas. Ce sont les bornes de l’intervalle qui sont aléatoires, pas le paramètre.
Pour l’espérance et un n suffisamment grand, le théorème central limite donne un intervalle approché à 95 % : X̄ ± 1,96 · s/√n. Nous avons lancé quarante fois 40 dés et calculé un intervalle à partir de chaque échantillon. La ligne verticale représente la vraie espérance, 3,5 :
La vraie valeur se trouve dans 38 intervalles sur 40 — soit 95 %. Sur 20 000 répétitions, ce fut 94,1 %, un peu en dessous des 95 % promis, car σ est estimé à partir des données et n = 40, ce n’est pas encore l’infini.
Une erreur fréquente : « μ se trouve dans l’intervalle (3,2 ; 3,9) avec une probabilité de 95 % ». Pour un intervalle concret, μ est soit dedans, soit dehors. Ces 95 % sont une propriété de la procédure — la proportion d’intervalles qui visent juste sur un grand nombre de répétitions. Pour parler de la probabilité du paramètre lui-même, il faut passer à l’approche bayésienne.
6. L’estimation en intelligence artificielle
- Entraîner un modèle, c’est faire une estimation par maximum de vraisemblance. L’entropie croisée en classification est l’opposé du logarithme de la vraisemblance divisé par le nombre d’exemples, et l’erreur quadratique moyenne est la même chose pour des données à bruit normal. Minimiser la perte = maximiser la vraisemblance.
- La régularisation, c’est le MAP. La pénalité sur les poids λ‖w‖² (L2, weight decay) correspond à une loi a priori normale sur les poids, la pénalité L1 à une loi de Laplace. L’idée a priori « les poids doivent rester petits » freine le surapprentissage.
- Biais et variance d’un modèle. Un modèle est un estimateur ; les modèles complexes ont un faible biais mais une forte variance (surapprentissage), les modèles simples l’inverse. La régularisation accepte un peu plus de biais en échange d’une variance plus faible.
- Jeu de test et intervalle de confiance. La précision mesurée sur les données de test est une estimation de la précision réelle ; sans intervalle de confiance, impossible de savoir si l’écart entre deux modèles est réel. La batch normalization estime la moyenne et la variance sur chaque lot, et les modèles de langage sont entraînés par maximum de vraisemblance : ils maximisent la vraisemblance du mot suivant.
7. Résumé
- La statistique va des données vers le modèle : un estimateur est un calcul sur les données qui doit atteindre un paramètre inconnu.
- Un bon estimateur est sans biais (il vise juste en moyenne) et convergent (il se précise avec les données) ; la variance empirique corrigée divise par n − 1.
- La méthode du maximum de vraisemblance choisit le paramètre qui rend les données les plus probables ; pour une proportion, c’est k/n.
- Le MAP ajoute une idée a priori ; en apprentissage automatique, c’est la régularisation.
- Un intervalle de confiance à 95 % est produit par une procédure qui atteint le vrai paramètre dans 95 % des cas.
Vous voyez les choses autrement ? Écrivez à support@coden-app.com.