TDT4171 · NTNU

Studieguide for TDT4171 Metoder i kunstig intelligens

Komplett pensumoversikt for metoder i kunstig intelligens ved NTNU — med forklaringer, sentrale begreper, eksamenstips og vanlige fallgruver. Eksamensoptimalisert basert på tidligere eksamener.

Introduksjon

TDT4171 Metoder i kunstig intelligens gir deg det formelle verktøyskrinet som ligger under moderne KI: hvordan resonnere fornuftig under usikkerhet, hvordan bygge kompakte modeller av en usikker verden, og hvordan la et system lære og handle rasjonelt. Pensum følger Russell & Norvigs klassiker Artificial Intelligence: A Modern Approach (AIMA), og eksamen er en fire timers skriftlig prøve uten hjelpemidler som tester både regneferdighet og begrepsforståelse.

Denne studieguiden er bygget opp som en rød tråd gjennom pensum: vi starter med sannsynlighetsteori som det matematiske fundamentet, bygger videre til bayesianske nettverk for å representere avhengigheter kompakt, går til Markov-modeller for resonnering over tid, og deretter til beslutningsteori som kobler sannsynlighet til handling og nytte. Siste del av guiden dekker læring — maskinlæring generelt, klassifisering spesielt, nevrale nettverk som en kraftig modellklasse, og til slutt reinforcement learning der agenten lærer å handle gjennom prøving og feiling.

Bruk guiden slik: les hver seksjon for å forstå hvorfor metoden finnes og hvordan den henger sammen med resten av pensum, øv deretter på regneoppgaver med formelarket ved siden av til utregningene sitter i ryggmargen, og bruk eksamensrådene i hver seksjon til å unngå de vanligste poengtapene. Siden eksamen er uten hjelpemidler, må sentrale formler — Bayes' regel, kjederegelen, Bellman-ligningen, gradientnedstigningsregelen — kunne gjengis og brukes fra hukommelsen.

Slik prioriterer du: En gjennomgang av eksamenssettene fra 2015 til 2024 viser at eksamensverdien er svært ujevnt fordelt på tvers av pensum. Anbefalt leserekkefølge etter eksamensverdi:

Høyest prioritet — garanterte gjengangere hver årgang: case-basert resonnering (CBR, ofte egen 20-poengsoppgave), d-separasjon og konstruksjon av bayesianske nettverk (ofte den største enkeltbolken på settet), og sannsynlighetsregning (fundamentet alt annet bygger på).
Høy prioritet — testet hver årgang, men noe mindre poengtungt per oppgave: HMM/Markov-modeller (filtrering, prediksjon, glatting, Viterbi), beslutningsteori (EU/MEU, VPI, Bellman-ligningen), nevrale nettverk (konseptuelt og gradientnedstigning), og AI-grunnlag/etikk (store sant/usant-batterier, opptil 35 utsagn i én eksamen).
Lavere prioritet — les kort, men ikke dropp helt: resten av maskinlæring (beslutningstrær/ID3), reinforcement learning konseptuelt, og klassifisering — der de spesifikke algoritmene naiv Bayes/SVM/k-NN/logistisk regresjon ikke er observert på eksamen 2015–2024, mens metodevalg ut fra beslutningsgrensens form (2017, 2022) fortsatt er verdt å kunne.

Tidsbudsjett: Med begrenset lesetid, bruk så mye som halvparten av tiden på punkt 1 (CBR + bayesianske nettverk + sannsynlighet) — disse tre alene dekker en stor andel av poengsummen på en typisk årgang. Bruk deretter om lag en tredjedel av gjenstående tid på punkt 2, og resten på punkt 3 til slutt, når du uansett har god oversikt over resten av pensum.

Sannsynlighetsteori

Eksamensrelevant

Sannsynlighetsteori gir det formelle språket for å representere og oppdatere usikker kunnskap, og produktregel, Bayes' regel, marginalisering og kjederegelen er verktøyene alt videre pensum bygger på.

📌 Eksamenshistorikk (2015–2024): Sannsynlighetsregning inngår i alle 6 fullstendig gjennomgåtte eksamener (2015, 2019, 2021, 2022, 2023, 2024), nesten alltid som symbolsk utledning før tall settes inn: Bayes' regel/base-rate (2021), inferens ved oppsummering (2019, 2015), tannverk-tabell med marginalisering (2024). Dette er grunnmuren — svake ferdigheter her koster poeng i alle andre temaer også.

Hvorfor sannsynlighet i kunstig intelligens?

En rasjonell agent handler i en verden den ikke har full oversikt over: sensorer er upresise, handlinger kan feile, og informasjon er ofte ufullstendig. Sannsynlighetsteori gir et konsekvent språk for å representere denne usikkerheten og for å oppdatere tro etter hvert som ny evidens kommer inn. I TDT4171 er sannsynlighetsteori fundamentet alt annet bygger på — bayesianske nettverk, skjulte Markov-modeller og til dels maskinlæring er alle anvendelser av de samme grunnreglene.

Grunnleggende regler

Alt starter med aksiomene: $0 \le P(A) \le 1$ , $P(\text{sant}) = 1$ , og $P(A \lor B) = P(A) + P(B) - P(A \land B)$ . Fra disse følger produktregelen, $P(A, B) = P(A \mid B) P(B)$ , som forteller at sannsynligheten for at to ting begge skjer er sannsynligheten for det ene ganger sannsynligheten for det andre gitt at det første har skjedd. Snur vi produktregelen får vi Bayes' regel:

$P(A \mid B) = \dfrac{P(B \mid A) P(A)}{P(B)}$

Bayes' regel er selve motoren i sannsynlighetsbasert resonnering: den lar oss snu et diagnostisk problem («gitt symptomet, hva er sykdommen?») til et kausalt problem («gitt sykdommen, hvor sannsynlig er symptomet?»), som ofte er lettere å anslå fra domenekunnskap.

Marginalisering og kjederegelen

Marginalisering ( $\displaystyle P(A) = \sum_b P(A, B=b)$ ) lar oss «summere ut» variabler vi ikke er interessert i, og er selve arbeidsmetoden når man regner ut sannsynligheter i et bayesiansk nettverk med skjulte variabler. Kjederegelen generaliserer produktregelen til flere variabler: $P(X_1, \ldots, X_n) = \prod_i P(X_i \mid X_1, \ldots, X_{i-1})$ . Denne dekomponeringen er alltid sann, uansett hvordan variablene henger sammen — det er først når vi legger til betinget uavhengighet at leddene forenkles, og det er nettopp det bayesianske nettverk utnytter.

Uavhengighet vs. betinget uavhengighet

To hendelser $A$ og $B$ er uavhengige dersom $P(A, B) = P(A) P(B)$ . De er betinget uavhengige gitt $C$ dersom $P(A, B \mid C) = P(A \mid C) P(B \mid C)$ . Et klassisk eksempel: brannalarm og røykdetektor er ikke uavhengige (begge korrelerer med brann), men er betinget uavhengige gitt at det faktisk brenner — når vi vet at det brenner, gir ikke kunnskap om alarmen ekstra informasjon om detektoren. Dette skillet er avgjørende for å forstå strukturen i bayesianske nettverk senere i pensum.

Normalisering i praksis

På eksamen møter du ofte oppgaver der du skal regne ut $P(X \mid e)$ for en variabel $X$ med flere verdier. Fremgangsmåten er: regn ut det ikke-normaliserte uttrykket $P(X, e)$ for hver verdi av $X$ , og normaliser deretter med $\displaystyle \alpha = 1 / \sum_x P(X=x, e)$ slik at svarene summerer til 1. Å hoppe over normaliseringssteget er en av de vanligste feilene på eksamen.

Nøkkelformler

•Bayes' regel: $P(A\mid B)=P(B\mid A)P(A)/P(B)$
•Produktregel: $P(A,B)=P(A\mid B)P(B)$
•Marginalisering: $P(A)=\sum_b P(A,B=b)$
•Kjederegelen: $P(X_1,\ldots,X_n)=\prod_i P(X_i\mid X_1,\ldots,X_{i-1})$

Vanlige feil

⚠️Glemmer å normalisere etter Bayes-oppdatering.
⚠️Forveksler $P(A\mid B)$ med $P(B\mid A)$ .
⚠️Antar uavhengighet uten å sjekke om den faktisk gjelder i oppgaven.
⚠️Blander sammen $P(A,B)$ (fellessannsynlighet) og $P(A\mid B)$ (betinget sannsynlighet) i utregninger.

Eksamenstips

💡Skriv alltid opp kjederegelen eksplisitt før du regner, ikke bare tallsvaret.
💡Husk normaliseringskonstanten $\alpha$ i enhver Bayes-oppdatering — sjekk at svarene summerer til 1.
💡Skill tydelig mellom marginal uavhengighet og betinget uavhengighet i drøftingssvar.
💡Bruk konkrete tall fra oppgaveteksten direkte i formlene — ikke la variablene stå abstrakte lenger enn nødvendig.
💡På eksamen kommer sannsynlighetsregning nesten aldri som isolert tema, men som verktøy inni bayesianske nettverk- og HMM-oppgaver — pugg kjederegel og normalisering til det sitter, for det testes indirekte i ALLE 6 gjennomgåtte årganger.

Laster...

Laster…