Betinget sannsynlighet, produktregelen og uavhengige hendelser.
Sannsyn i den verkelege verda
I dette kapittelet set vi saman verktøya frå dei føregåande kapitla og bruker dei på realistiske problem. Vi introduserer også Bayes' setning, eit kraftig verktøy for å oppdatere sannsyn når vi får ny informasjon, og ser på korleis simulering kan brukast til å estimere sannsyn som er vanskelege å rekne ut analytisk.
Spesialtilfelle med to alternativ:
Tolking:
- = prior (sannsyn for før vi veit om )
- = posterior (oppdatert sannsyn etter å ha observert )
- = likelihood (kor sannsynleg er gitt )
Bayes' setning blir brukt når vi kjenner men treng -- altså når vi vil «snu» betinginga.
Typiske situasjonar:
- Ein test er positiv -- kva er sannsynet for at personen faktisk er sjuk?
- Eit produkt er defekt -- frå kva maskin blei det truleg produsert?
- Eit dokument inneheld visse ord -- kva kategori høyrer det til?
Ein medisinsk test for ein sjukdom har:
- Sensitivitet: (testen fangar opp av sjuke)
- Spesifisitet: (testen frikjenner av friske)
- Prevalens: (1% av befolkninga er sjuk)
Ein tilfeldig person testar positivt. Kva er sannsynet for at personen faktisk er sjuk?
Lat = sjuk, = positiv test.
, (falsk positiv)
,
Totalsetninga:
Bayes' setning:
Berre ca. sjanse for at personen faktisk er sjuk! Sjølv med ein ganske god test gir ein positiv test lågt sannsyn når sjukdomen er sjeldan. Dette er base rate fallacy -- prevalensen spelar ei enorm rolle.
Ein fabrikk har tre maskiner A, B og C som produserer høvesvis , og av varene. Feilraten er: A: , B: , C: . Ei tilfeldig vare er defekt. Finn sannsynet for at ho blei produsert av maskin C.
Ein narkotikatest har sensitivitet og spesifisitet . I ei bedrift er av tilsette brukarar. Ein tilsett testar positivt.
a) Finn sannsynet for at den tilsette faktisk er brukar.
b) Kva skjer med svaret dersom prevalensen aukar til ?
Samansette sannsynsproblem
Mange praktiske problem krev at vi kombinerer fleire teknikkar: betinga sannsyn, binomisk fordeling, komplementsetninga og Bayes' setning. Nøkkelen er å identifisere rett modell for situasjonen og bryte problemet ned i overkommelege delsteg.
Ein forhandlar tingar varer i parti på . Defektraten varierer: av partia har defektrate, av partia har defektrate. Forhandlaren testar tilfeldige varer frå kvart parti. Partiet blir akseptert dersom ingen av dei er defekte. Finn sannsynet for at eit tilfeldig parti blir akseptert.
Lat = «partiet blir akseptert», = «godt parti» (5% defekt), = «dårleg parti» (15% defekt).
: ,
: ,
Totalsetninga:
Ca. av partia blir aksepterte.
I eksempelet over: Eit parti blir akseptert (alle testa varer er OK). Finn sannsynet for at det er eit «dårleg» parti (15% defektrate).
Du spelar eit spel der du kastar terningar. Du vinn dersom minst av dei viser seksar. Kva er sannsynet for å vinne?
Du har myntar: Mynt A er rettferdig (), mynt B er skeiv (), og mynt C er skeiv (). Du vel ein tilfeldig mynt og kastar han gonger. Resultatet er krone og mynt. Finn sannsynet for at du valde mynt B.
Monte Carlo-simulering
Nokre sannsynsproblem er vanskelege å løyse analytisk. Då kan vi bruke simulering (Monte Carlo-metoden): Gjenta forsøket mange gonger på ei datamaskin og tel opp delen gonger hendinga inntreff.
Prinsippet:
1. Simuler forsøket gonger (t.d. )
2. Tel talet på gonger hending inntreff:
3. Estimer
Jo større , jo betre estimat (lova om store tal).
Estimer sannsynet for at minst to av personar deler fødselsdag, ved simulering.
antall_treff = 0
N = 100000
for i = 1 til N:
generer 23 tilfeldige tall fra 1 til 365
hvis noen tall er like:
antall_treff += 1
estimat = antall_treff / NMed simuleringar får vi typisk eit estimat rundt , som stemmer godt med den eksakte verdien .
Skildr korleis du ville simulere følgjande eksperiment: Kaste terningar og finne sannsynet for at summen er nøyaktig . Skriv pseudokode og oppgi det eksakte sannsynet.
Eit lotteri har premiar og taparlodd (totalt lodd). Du kjøper lodd. Finn sannsynet for å vinne minst éin premie.
Bruk betinga sannsyn til å vise at du bør byte.
Ein alarm blir utløyst dersom det er eit innbrot (med sannsyn ), men han kan også bli utløyst av jordskjelv (med sannsyn ). og . Hendingane er uavhengige. Alarmen går. Finn sannsynet for at det er eit innbrot.
Ei pokermaskin trekkjer kort frå ein standard kortstokk med kort.
a) Finn sannsynet for «eitt par» (nøyaktig to kort med same verdi, resten forskjellige).
b) Finn sannsynet for «to par».
To spelarar (A og B) kastar kvar sin terning. Den som kastar høgast vinn. Ved likt kastar dei på nytt. Finn sannsynet for at A vinn.
Finn sannsynet for at Per vinn (dvs. endar med alle kronene).
Ei spåkone hevdar ho kan gjette rett farge (raud/svart) på kort trekt frå ein kortstokk. For å teste henne trekkjer du kort med tilbakelegging. Ho gjettar rett gonger.
a) Finn sannsynet for å gjette rett eller fleire gonger ved rein gjetting ().
b) Er resultatet «overtydande»?
a) Finn sannsynet for at begge trekka gir raud.
b) Finn sannsynet for at det andre trekket gir raud.
c) Er dei to trekka uavhengige?
Eit forsikringsselskap sel bilforsikring. Dei reknar:
-
- Gjennomsnittleg erstatning ved ulukke: kr
- Driftskostnader per kunde: kr
Kva er minste årlege premie selskapet kan ta for å gå i pluss i gjennomsnitt?
Oppsummering
Bayes' setning: -- snur betinginga.
Prior Posterior: Bayes oppdaterer sannsynet for ein hypotese basert på ny evidens.
Base rate fallacy: Ein positiv test tyder ikkje nødvendigvis sjukdom -- prevalensen (base rate) spelar stor rolle.
Monte Carlo-simulering: Gjenta forsøket mange gonger for å estimere sannsyn.
Strategi for samansette problem:
1. Identifiser hendingane og relasjonane (uavhengige? betinga?)
2. Vel rett verktøy (binomisk? kombinatorikk? Bayes?)
3. Sjekk svaret (er det mellom og ? gir det meining i konteksten?)
Dette kapitlet er skrevet av Anthropics toppmodeller (Claude Opus og Claude Fable) og er foreløpig ikke manuelt gjennomgått — kvalitetskontrollen gjøres av uavhengige KI-agenter, og innmeldte feil rettes fortløpende. Funnet en feil? Meld fra, så retter vi den. Les mer om hvordan innholdet lages.
