45136      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   ma  12-14  EL2                         Ø   ti  12-13 EL2
                     to  10-11  EL2                            to  11-12 EL2
Eksamen:   29.mai               Hjelpemidler: A1            Øvinger: O    Karakter: TE

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

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

Innhold: Kunnskapsrepresentasjon: Logikk, regler, rammer. Resonnering: Deduksjon, abduksjon og induksjon, ikke­monoton resonnering. Resonnering med usikkerhet: CF­modellen. Bayesmodellen, Dempster­Shafer, diffus (fuzzy) logikk. 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.