Absolvent programu dokáže aplikovat a dále rozvíjet techniky návrhu inteligentních systémů, jako je formální modelování znalostí a komplexních systémů prostředky matematické logiky a teorie pravděpodobnosti, automatické řešení úloh, plánování a rozvrhování, řízení autonomních agentů (jak virtuálních, tak fyzických), strojové učení a dolování dat. Je schopen analyzovat a formálně popsat komplexní rozhodovací problém, navrhnout vhodnou řešící techniku a tuto techniku implementovat.

Absolventi oboru mohou pracovat ve výzkumu a vývoji v akademické sféře i v praxi na jakékoliv pozici vyžadující logické myšlení, schopnost analýzy a algoritmický přístup či využití moderních metod informatiky (deklarativní a přírodou inspirované programování).