Faglig innhold

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

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

Lærebok: Stuart Russel, Peter Norvig: Artificial Intelligence. A Modern Approach, Second Edition, Prentice Hall, 2003. Pensum hentes fra kapitlene som følger etter de som er pensum i AI-1.

Studiepoengreduksjon