Faglig innhold

Emnet er en videreføring av TDT4136 Logikk og resonnerende systemer. De tre hovedformene for resonnering (regelbasert, modellbasert, og casebasert) behandles, med hovedfokus på modellbasert resonnering. Resonnering med usikker og delvis manglende informasjon, gis spesiell fokus, samt grunnlaget for lærende systemer (maskinlæring). I tillegg til de symbolprosesserende metodene (spesielt Bayesianske nettverk og beslutningsgrafer) gis det også en innføring i metoder basert på nevrale nettverk.

Læringsutbytte

Sammen med TDT4136 Logikk og resonnerende systemer skal emnet gi en generell innføring i fagfeltet kunstig intelligens (AI) og dets grunnlag hentet fra matematikk, logikk og kognitive vitenskaper. Fagfeltet sikter mot å realisere aspekter av intelligent adferd i datamaskinsystemer ved å utvikle, implementere og teste kvalitative modeller av komplekse fenomener.

Læringsformer og aktiviteter

Forelesninger, selvstudium og øvinger. Mappevurdering gir grunnlag for sluttkarakter i emnet. I mappen inngår skriftlig avsluttende eksamen (80%) og øvingsarbeider (20%). Resultatet for delene angis i %-poeng, mens sensur for hele mappen (sluttkarakteren) angis med bokstavkarakter. Ved utsatt eksamen (kontinuasjonseksamen) kan skriftlig eksamen bli endret til muntlig eksamen.

Anbefalte forkunnskaper

TDT4136 Logikk og resonnerende systemer, eller tilsvarende.

Kursmateriell

Stuart Russel, Peter Norvig: Artificial Intelligence. A Modern Approach, Third Edition, Prentice Hall, 2010.
Eventuelt øvrig materiale vil gjøres tilgjengelig via kursets websider.

Studiepoengreduksjon