Statistik und Parameterschätzung: Maximum Likelihood, MAP und Konfidenzintervalle
Stichprobe, Schätzer, Erwartungstreue und warum die Stichprobenvarianz durch n − 1 teilt, die Maximum-Likelihood-Methode, die bayessche MAP-Schätzung und Konfidenzintervalle — und warum das Training eines neuronalen Netzes eine Parameterschätzung ist.
Serie KI-Grundlagen Teil 19 von 52
- Landkarte der künstlichen Intelligenz: was was ist und wie alles zusammenpasst
- Eine kurze Geschichte der künstlichen Intelligenz: von Turing bis zu Sprachmodellen
- Daten, Modell, Training, Inferenz: die Grundbegriffe an einem einzigen Beispiel
- Mathematische Notation lesen: Symbole, Indizes, Summen und Quantoren
- Mengen und Relationen: der Baukasten, aus dem Definitionen in der KI bestehen
- Funktionen und Abbildungen: warum jedes KI-Modell eine Funktion ist
- Logik und Beweise: die Regeln, nach denen KI schließt
- Graphen und Bäume: die Struktur, auf der Suche und neuronale Netze stehen
- Lineare Algebra für maschinelles Lernen: Vektoren, Matrizen und warum KI vor allem multipliziert
- Ableitungen, Gradient und Kettenregel: wie ein Modell herausfindet, in welche Richtung es lernen soll
- Gradientenabstieg: wie ein Modell lernt
- Was ist Wahrscheinlichkeit: vom Würfelwurf zu den Kolmogorow-Axiomen
- Bedingte Wahrscheinlichkeit und der Satz von Bayes: wie du deine Einschätzung änderst, wenn du etwas Neues erfährst
- Zufallsvariable und Verteilungsfunktion: eine Funktion, die alles über eine Verteilung verrät
- Dichtefunktion und Wahrscheinlichkeitsfunktion: warum eine stetige Zufallsvariable in einem Punkt die Wahrscheinlichkeit null hat
- Erwartungswert, Varianz und Kovarianz: wo eine Verteilung liegt, wie breit sie ist und was womit zusammenhängt
- Überblick über Wahrscheinlichkeitsverteilungen: Bernoulli-, Binomial-, Poisson-, Gleich-, Normal- und Exponentialverteilung
- Gesetz der großen Zahlen und zentraler Grenzwertsatz: Warum sich Durchschnitte so vorhersagbar verhalten
- Statistik und Parameterschätzung: Maximum Likelihood, MAP und Konfidenzintervalle
- Informationstheorie: Entropie, Kreuzentropie und KL-Divergenz — woher Verlustfunktionen kommen
- Zustandsraumsuche: BFS, DFS, UCS und A* mit Animationen
- Spiele und Gegner: Minimax, Alpha-Beta-Suche und Monte Carlo Tree Search
- Constraint Satisfaction: Backtracking, Constraint-Propagierung und AC-3 an Sudoku und einer Karte tschechischer Regionen
- Logik und wissensbasierte Systeme: Vorwärts- und Rückwärtsverkettung, Resolution und Expertensysteme
- Planung: STRIPS, die Blockwelt, Heuristiken aus Relaxierung und Planung in KI-Agenten
- Lokale Suche und simulierte Abkühlung: ein Handlungsreisender durch die tschechischen Regionalhauptstädte
- Genetische Algorithmen: Population, Kreuzung, Mutation und Selektion am Rucksack für die Wanderung
- Evolutionsstrategien und genetische Programmierung: von der 1/5-Erfolgsregel zum Keplerschen Gesetz
- Ameisenkolonieoptimierung: wie eine Pheromonspur einen kurzen Weg findet
- Partikelschwarmoptimierung: Trägheit, eigene Erfahrung und die Erfahrung des Schwarms
- Neuroevolution: Evolution der Gewichte und der Gestalt neuronaler Netze und der Algorithmus NEAT
- Fuzzy-Mengen und Zugehörigkeitsfunktionen: wie man „etwas warm“ aufschreibt
- Fuzzy-Logik und Wahrscheinlichkeit: warum „etwas warm“ nicht „wahrscheinlich warm“ bedeutet
- Fuzzy-Logik: t-Normen, Implikationen und WENN–DANN-Regeln
- Fuzzy-Regelung: Mamdani und Sugeno vom Ventilator bis zum Pendel auf dem Wagen
- Fuzzy-Clustering: der Algorithmus fuzzy c-means und Punkte zwischen den Clustern
- Neuro-Fuzzy-Systeme (ANFIS): Fuzzy-Regeln, die aus Daten lernen
- Markow-Ketten: Übergangsmatrix, stationäre Verteilung und PageRank
- Hidden-Markov-Modelle: der Viterbi-Algorithmus und das unehrliche Kasino
- Bayessche Netze: warum das Gras nass ist und was das für den Rasensprenger bedeutet
- Der Kalman-Filter: wie man aus ungenauen Messungen schätzt, wo ein Auto ist und wie schnell es fährt
- Arten des maschinellen Lernens: überwacht, unüberwacht, halbüberwacht und mehr
- Prompts, Kontext und RAG: wie man einem Modell die richtigen Informationen gibt
- Variational Autoencoder (VAE): neue Bilder aus einem stetigen latenten Raum
- Generative Adversarial Networks (GAN): der Fälscher gegen den Detektiv
- Diffusionsmodelle: wie aus reinem Rauschen ein Bild wird
- Markow-Entscheidungsprozesse: Zustände, Aktionen, Belohnungen und Bellman-Gleichungen
- Q-Learning und DQN: den Wert von Aktionen lernen, von der Tabelle bis zum neuronalen Netz
- Policy Gradient und PPO: die Strategie direkt lernen
- Wie ein KI-Agent funktioniert: ein Sprachmodell in einer Schleife mit Werkzeugen
- Programmieren mit KI-Agenten: Auftrag, Tests und Kontrolle
- Bewertung und Sicherheit von KI-Systemen: wie man misst und wie man überwacht
Der ganze Lehrplan der Serie 52 von 83 Themen fertig
- Was ein Schätzer ist, wann er erwartungstreu und konsistent ist und warum die Stichprobenvarianz durch n − 1 teilt.
- Wie die Maximum-Likelihood-Methode und die MAP-Schätzung funktionieren — und warum sie Training und Regularisierung sind.
- Was ein 95-%-Konfidenzintervall genau bedeutet und welcher Denkfehler beim Lesen häufig passiert.
Vorher gut zu wissen: Gesetz der großen Zahlen und zentraler Grenzwertsatz: Warum sich Durchschnitte so vorhersagbar verhalten
Die Wahrscheinlichkeitstheorie geht vom Modell zu den Daten: Wenn du weißt, dass eine Münze fair ist, kannst du ausrechnen, was fallen wird. Die Statistik geht den umgekehrten Weg — von den Daten zum Modell: 6-mal Zahl bei 20 Würfen, was ist das für eine Münze? Und genau das macht maschinelles Lernen. Ein Modell hat Parameter, die Daten sind das, was gefallen ist, und Training ist Parameterschätzung. Dieser Teil zeigt, was einen guten Schätzer ausmacht, woher die Maximum-Likelihood-Methode kommt, auf der fast jede Verlustfunktion beruht, und wie man ehrlich sagt, wie sicher man sich einer Schätzung sein kann.
Er baut auf dem Teil Gesetz der großen Zahlen und zentraler Grenzwertsatz auf.
1. Stichprobe, Statistik, Schätzer
Definition — Zufallsstichprobe
Eine Zufallsstichprobe vom Umfang n aus einer Verteilung mit der Dichte (oder Wahrscheinlichkeitsfunktion) f(x; θ) sind n unabhängig und identisch verteilte Zufallsvariablen X1, …, Xn mit dieser Verteilung. Der Parameter θ ist unbekannt.
Die Daten, die uns vorliegen, betrachten wir als zufällig aus einer Verteilung gezogen. Den Typ der Verteilung wählen wir selbst (etwa Bernoulli — Spam ja/nein), aber ihren Parameter (welcher Anteil der Post Spam ist) kennen wir nicht und wollen ihn aus den Daten ermitteln.
Definition — Statistik und Schätzer
Eine Statistik ist eine beliebige Funktion der Stichprobe T = T(X1, …, Xn), die nicht vom unbekannten θ abhängt. Eine Statistik, mit der wir θ schätzen, heißt Schätzer und wird θ̂ geschrieben.
Eine Statistik ist jede Rechnung mit den Daten: Mittelwert, Maximum, Median, Spamanteil. Ein Schätzer ist eine Statistik mit einer Aufgabe — den unbekannten Parameter zu treffen. Weil die Daten zufällig sind, ist auch die Schätzung zufällig: Mit anderen Daten käme etwas anderes heraus. Deshalb fragen wir, wie sich Schätzer im Mittel und mit wachsender Datenmenge verhalten.
2. Ein guter Schätzer: Erwartungstreue und Konsistenz
Definition — erwartungstreuer Schätzer
Ein Schätzer θ̂ ist erwartungstreu, wenn E[θ̂] = θ für jeden Wert von θ gilt. Die Differenz E[θ̂] − θ heißt Verzerrung (englisch bias).
Ein erwartungstreuer Schätzer irrt sich in einzelnen Versuchen mal nach oben, mal nach unten, zielt im Mittel aber genau richtig. Das Stichprobenmittel ist ein erwartungstreuer Schätzer des Erwartungswerts — das haben wir im vorigen Teil gesehen.
Definition — konsistenter Schätzer
Ein Schätzer θ̂n ist konsistent, wenn für jedes ε > 0 gilt: limn→∞ P(|θ̂n − θ| ≥ ε) = 0.
Mit genügend vielen Daten trifft die Schätzung beliebig genau. Das Stichprobenmittel ist konsistent — genau das ist das Gesetz der großen Zahlen.
Erwartungstreue ist keine Selbstverständlichkeit. Naheliegend wäre es, die Varianz als mittlere quadratische Abweichung vom Mittelwert zu schätzen, (1/n) ∑ (Xi − X̄)². Doch diese Schätzung unterschätzt die Varianz systematisch: Wir messen die Abweichungen von X̄, das sich den Daten angepasst hat, statt vom wahren μ.
Satz — Stichprobenvarianz
Für eine Zufallsstichprobe mit der Varianz σ² ist E[(1/n) ∑ (Xi − X̄)²] = ((n − 1)/n) σ². Ein erwartungstreuer Schätzer der Varianz ist deshalb die Stichprobenvarianz
s² = 1/(n − 1) · ∑i=1n (Xi − X̄)².
Geteilt wird durch n − 1, nicht durch n (Bessel-Korrektur). Einen „Freiheitsgrad“ verbrauchen wir für die Schätzung des Mittelwerts. Bei kleinen Stichproben macht das einen spürbaren Unterschied — bei fünf Werten liegt das Teilen durch fünf um ein Fünftel daneben —, bei einer Million Werten spielt es keine Rolle.
Prüfen wir das nach: 2 000-mal haben wir fünf Würfel geworfen und jedes Mal beide Schätzungen der Varianz berechnet. Die wahre Varianz eines Würfels ist 35/12 ≈ 2,92. Der Durchschnitt der Schätzungen mit Teilen durch n landete bei 2,38 (er zielt auf 4/5 · 2,92 ≈ 2,33), der mit Teilen durch n − 1 bei 2,97:
3. Maximum-Likelihood-Methode
Definition — Likelihood-Funktion
Für gemessene Daten x1, …, xn ist die Likelihood-Funktion die Funktion des Parameters
L(θ) = ∏i=1n f(xi; θ).
Die Daten stehen fest, wir verändern den Parameter und fragen: „Wäre der Parameter θ, wie wahrscheinlich wären dann genau diese Daten?“ Bei unabhängigen Beobachtungen multiplizieren sich die Wahrscheinlichkeiten. Achtung: L(θ) ist keine Wahrscheinlichkeit des Parameters — über θ summiert muss sie nicht 1 ergeben.
Definition — Maximum-Likelihood-Schätzer
Der Maximum-Likelihood-Schätzer (MLE) ist θ̂ = argmaxθ L(θ). Da der Logarithmus streng monoton wächst, ist das dasselbe wie argmaxθ ∑i ln f(xi; θ).
Wähle den Parameter, unter dem die gemessenen Daten am wahrscheinlichsten sind. Der Logarithmus macht aus dem Produkt eine Summe — damit rechnet es sich leichter, und im Computer laufen winzige Zahlen nicht unter.
Von 20 E-Mails waren 6 Spam. Für den Spamanteil p ist L(p) = p6(1 − p)14. Die Ableitung des Logarithmus, 6/p − 14/(1 − p), ist null bei p̂ = 6/20 = 0,3 — genau der Spamanteil in den Daten. Allgemein ergibt sich für k Erfolge aus n der Wert p̂ = k/n. Mit 60 Spams aus 200 ist die Schätzung dieselbe, aber der Gipfel viel schmaler: Die Daten verraten mehr über den Parameter.
Für das exponentialverteilte Warten auf eine E-Mail liefert die Maximum-Likelihood-Methode λ̂ = 1 / X̄. Aus fünf gemessenen Wartezeiten von 1,2; 3,5; 0,4; 2,1 und 2,8 Minuten ergibt sich ein Durchschnitt von 2 Minuten und λ̂ = 0,5 pro Minute.
4. Bayessche MAP-Schätzung
Definition — Maximum-a-posteriori-Schätzer
Ist π(θ) die A-priori-Dichte des Parameters, dann ist der Maximum-a-posteriori-Schätzer (MAP) θ̂ = argmaxθ L(θ) · π(θ).
Der Satz von Bayes aus dem Teil über bedingte Wahrscheinlichkeit, angewandt auf Parameter: A-posteriori ∝ Likelihood × A-priori. MAP wählt den wahrscheinlichsten Parameter, nachdem berücksichtigt wurde, was wir vorher dachten. Geben wir Extremwerten vorab wenig Gewicht (A-priori-Dichte proportional zu p(1 − p)), ergibt sich ein Spamanteil von 7/22 ≈ 0,318 — die Schätzung wird ein wenig zur Mitte gezogen. Mit wachsender Datenmenge verschwindet der Einfluss der A-priori-Verteilung.
5. Konfidenzintervall
Definition — Konfidenzintervall
Ein Intervall (T1, T2) mit Statistiken T1 ≤ T2 ist ein Konfidenzintervall für θ zum Konfidenzniveau 1 − α, wenn P(T1 < θ < T2) = 1 − α für jedes θ gilt.
Statt einer einzelnen Zahl gibst du einen Bereich an, dazu eine Garantie: Das Verfahren, mit dem du den Bereich berechnest, trifft den wahren Parameter in 95 % der Fälle. Zufällig sind die Grenzen des Intervalls, nicht der Parameter.
Für den Erwartungswert und ein genügend großes n liefert der zentrale Grenzwertsatz ein näherungsweises 95-%-Intervall X̄ ± 1,96 · s/√n. Vierzigmal haben wir 40 Würfel geworfen und aus jeder Stichprobe ein Intervall berechnet. Die senkrechte Linie ist der wahre Erwartungswert 3,5:
Den wahren Wert enthalten 38 der 40 Intervalle — 95 %. Bei 20 000 Wiederholungen waren es 94,1 %, etwas weniger als die versprochenen 95 %, weil wir σ aus den Daten schätzen und n = 40 eben noch nicht unendlich ist.
Ein häufiger Irrtum: „μ liegt mit 95 % Wahrscheinlichkeit im Intervall (3,2; 3,9).“ Bei einem konkreten Intervall liegt μ entweder darin oder nicht. Die 95 % sind eine Eigenschaft des Verfahrens — wie viele Intervalle bei vielen Wiederholungen treffen. Aussagen über die Wahrscheinlichkeit eines Parameters erlaubt erst der bayessche Ansatz.
6. Schätzungen in der künstlichen Intelligenz
- Training ist Maximum-Likelihood-Schätzung. Die Kreuzentropie bei der Klassifikation ist die negative Log-Likelihood geteilt durch die Zahl der Beispiele, und der mittlere quadratische Fehler ist dasselbe für Daten mit normalverteiltem Rauschen. Den Verlust minimieren = die Likelihood maximieren.
- Regularisierung ist MAP. Der Gewichtsstrafterm λ‖w‖² (L2, Weight Decay) entspricht einer Normalverteilung als A-priori-Verteilung der Gewichte, L1 einer Laplace-Verteilung. Die Vorannahme „Gewichte sollen klein sein“ bremst die Überanpassung.
- Verzerrung und Varianz eines Modells. Ein Modell ist ein Schätzer; komplexe Modelle haben eine kleine Verzerrung, aber eine große Varianz (Überanpassung), einfache Modelle umgekehrt. Regularisierung opfert ein wenig Verzerrung für eine kleinere Varianz.
- Testdatensatz und Konfidenzintervall. Die Genauigkeit auf Testdaten ist eine Schätzung der wahren Genauigkeit; ohne Konfidenzintervall erkennst du nicht, ob der Unterschied zwischen zwei Modellen echt ist. Batch Normalization schätzt Mittelwert und Varianz aus jedem Batch, und Sprachmodelle werden als MLE trainiert: Sie maximieren die Likelihood des nächsten Wortes.
7. Zusammenfassung
- Statistik geht von den Daten zum Modell: Ein Schätzer ist eine Rechnung mit den Daten, die einen unbekannten Parameter treffen soll.
- Ein guter Schätzer ist erwartungstreu (im Mittel richtig) und konsistent (mit mehr Daten genauer); die Stichprobenvarianz teilt durch n − 1.
- Die Maximum-Likelihood-Methode wählt den Parameter, unter dem die Daten am wahrscheinlichsten sind; für einen Anteil ist das k/n.
- MAP fügt eine Vorannahme hinzu; beim maschinellen Lernen ist das Regularisierung.
- Ein 95-%-Konfidenzintervall entsteht durch ein Verfahren, das den wahren Parameter in 95 % der Fälle trifft.
Siehst du das anders? Schreib an support@coden-app.com.