Kursen ger fördjupade teoretiska och metodiska kunskaper och färdigheter i klassisk AI (artificiell intelligens) tillsammans med tillämpningskunskaper i robotik. Följande ämnen behandlas: Heuristik för sökning. Spelteori, sökning för spel, omvänd spelteori. Tillämpad predikatlogik. Klassisk planering: heuristik. Kunskapsrepresentation. Sannolikhetsteori: axiom, villkorlig sannolikhet, Bayes regel. Bayesiska nätverk. Probabilistiskt resonerande över tid, Hidden Markov Models. Beslutsträd och lärande. Robotik: hybridarkitekturer, rörelseplanering, topologisk ruttplanering, lokalisering och kartgenerering.