78042     KTEK METODER
          Kunnskapsteknologiske metoder
          Knowledge based methods
Faglærer: Førsteamanuensis Tore Amble
Uketimer: Vår: 3F + 2Øu + 2Øs + 2D = 12Bt
Tid:      Vår:   F   ti  12-14  F3                          Ø   on  12-14 329-SII
                     to  10-11  VKR142
Eksamen:  8.mai                Hjelpemidler: A1            Øvinger: O    Karakter: TE

Mål: Faget skal gi en dypere innsikt i teori og metoder for kunnskapsbaserte systemer.

Forutsetning: Fag 78040 Logikkprogrammering, og bygger på dette.

Innhold: Kunnskapsrepresentasjon: Logikk, regler, rammer. Resonnering: Deduksjon, abduksjon og induksjon, ikke­monoton resonnering. Resonnering med usikkerhet: CF­modellen. Bayesmodellen, Fuzzy sets og Rough sets. Induktiv resonnering, maskinlæring, nevralnett. Planlegging: Situasjonskalkyle, rammeproblemet. Heuristiske søkemetoder. Ekspertsystemer. Naturlig språksystemer.

Undervisningsform: Forelesninger og øvingsoppgaver.

Kursmateriell: Russel & Norvig: Artifical Intelligence, A Modern Approach, Prentice Hall 1995.