Studenti se v předmětu seznámí se základními úlohami v oblasti umělé inteligence a metodami jejich řešení. Obsahem předmětu je: Stavový prostor, metody jeho prohledávání a jejich složitost; Genetické algoritmy; Základní algoritmy strojového učení; Shlukování; Učení z klasifikovaných dat; Kombinace klasifikátorů; Základy formální výrokové a predikátové logiky jako nástrojů pro řešení úloh; Automatické dokazování teorémů - resoluční metoda; Neuronové sítě (MLP, CNN, RNN, LSTM), Hluboké učení.