Introduksjon til kunstig intelligens

Emnet starter med å beskrive metoder for problemløsning ved hjelp av heuristisk søk i tilstandsrom. Deretter beskrives forskjellige kunnskapspresentasjonsspråk og slutningsmekanismer for maskinell problemløsning. Representasjon i form av predikatlogikk, regler, rammer og semantiske nett behandles, og knyttes til hovedformene for resonnering - særlig regelbasert resonnering. Emnet behandler videre arkitekturer som integrerer forskjellige resonneringsmetoder, agentbaserte arkitekturer, samt arkitekturer for interaktiv problemløsning i et menneske-maskin samspill. Det gis anvendelseseksempler underveis for å belyse metodene.

Emnet skal 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.

Forelesninger, selvstudium, øvinger og et prosjekt. Et antall obligatoriske øvinger må bli godkjent for å kunne gå opp til eksamen.