Садржај

Теоријска настава: Мотивација. Области примене. Основе аутоматског резоновања. Правило резолуције и метода резолуције. Пролог и пролошки системи. Модус поненс и генерализовани модус поненс. Структура интелигентних система. Формално представљање знања. Анализа података и формални записи знања. Фази системи. Вештачке неуронске мреже. Хибридни системи. Пробабилистичко резоновање. Методе процедурног генерисања. Алати за развој интелигентних система. Основе теорије игара.Резоновање засновано на случају. Развој специјализованих алгоритама. Практична настава: Израда постављених примера и задатака. Коришћење Матлаб, Оцтаве и ФрееМат софтверских пакета. Алгоритми и имплементација у програмским језицима. Апликација теоријског знања на конкретне практичне проблеме.