Inteligentní agenti, jejich prostředí a základní struktury.
Řešení úloh prohledáváním (DFS, BFS, ID, A*, IDA*, lokální a on-line prohledávaní, heuristiky).
Splňování omezujících podmínek.
Hry (minimax, alfa-beta prořezáván í).
Reprezentace znalostí v logice, logické odvozovací techniky (dopředné a zpětné řetězení, rezoluční metoda).
Automatické plánování.
Úvodní přednáška představující základní pojmy a metody různých oblastí umělé inteligence.
Předpokládají se znalosti v rozsahu bakalářského kursu NAIL062 Výroková a predikátová logika.