Her er en slags mal for examen, eller hvilke emner som jeg plukker ut fra
pensum som de mest examensrelevante:


<car og cdr på lister>

<hva blir output fra følgende lisp-funksjon>

<skriv en rekursiv lisp-funksjon som erstatter alle tall i en liste med
symbolet X>

<sett opp start-tilstand, mål-test, operatorer og sti-pris-funksjon
for...>

<hva vil du velge av BFS, DFS og IDFS for følgende problem og
tilstandsrom, og hvorfor>

<foreslå en tillatelig (admissible) heuristikk for følgende problem>

<hvilken sti vil A* med en gitt heuristikk velge i følgende tilstandsrom,
gitt en problemformulering>

<vis at følgende setninger er gyldige, ved bruk av sannhetstabeller>

<fortell følgende problem til en kunnskapbase KB med TELL, og forklar
hvordan du vil spørre etter løsning med ASK>

<representer følgende setninger i første-ordens logikk>

<forklar på norsk hva disse setningene i første-ordens logikk
representerer>

<skriv ned logisk representasjon av følgende setninger på Horn-form,
konjuntiv normal form, og impliserende normal form>

<bruk foroverlenking eller bakoverlenking sammen med generalisert modus
ponens eller resolusjon til å vise følgende>

<sett opp operator-settet (STRIPS) for planlegging av følgende situasjon
og sett opp en delvis ordna plan som løser den>

<hva er sannsynligheten for ... gitt ... (et eller annet med Bayes)>

<sett opp et tiltro nettverk (belief network) med tilhørende
sannsynlighetstabeller for følgende situasjon>

<sett opp et beslutningstre for følgende beslutning>


NB! 
denne listen er ikke komplett, men er meningen at skal gi nok hint til
typen oppgaver som kommer på examen, det kan også dukke opp teoretiske
spørsmål fra boka, men dette vil være spørsmål som ikke lett kan "blas
opp" svaret på.

mer info om examen kommer under siste forelesning