Садржај

Теоријска настава Проблемска подручја вештачке интелигенције. Интелигентни системи. Важност приказа знања и закључивања о знању. Представљање знања. Решавање проблема претраживањем. Претраживање супротстављањем. Проблеми задовољавања ограничења. Закључивање у логици првог реда. Механизми закључивања. Неизвесно знање и расуђивање. Доношење одлука. Обучавање. Обучавање на основу примера. Знање у обучавању. Системи засновани на знању. Резоновање у отвореном или затвореном свету. Процедурни и непроцедурни програмски језици. Језици логичког програмирања. Основни концепти за развој језика логичког програмирања. Основни принципи декларативних програмских језика. Карактеристике програмског језика ПРОЛОГ. Описни језик логичког програмирања базиран на уређеној линеарној резолуцији. Основни принципи функционалних програмских језика. Комуницирање, опажање и деловање.