У навчальному посібнику викладено основні поняття та методи систем штучного інтелекту. Наведено методику побудови предметної області, описано процедури пошуку в просторі станів. Розглянуто теорію логічного виведення, а також реалізацію доведення теорем методом резолюцій. Систематизовано подано ідеї та алгоритми машинного навчання; зокрема, розглянуто дерева рішень та нейронні мережі. Окремий розділ присвячено міркуванням в умовах невизначеності.
Посібник адресовано студентам і аспірантам спеціальностей, пов’язаних із вивченням систем штучного інтелекту, він буде корисним і для професіоналів, які бажають вийти за межі вузької спеціальності.

Гриф надано Міністерством освіти та науки України 
Стислий зміст
РОЗДІЛ 1. ПОДАННЯ ЗАДАЧ ТА ПОШУК РОЗВ’ЯЗКІВ
РОЗДІЛ 2. ЛОГІЧНЕ ВИВЕДЕННЯ
РОЗДІЛ 3. МАШИННЕ НАВЧАННЯ
РОЗДІЛ 4. МІРКУВАННЯ В УМОВАХ НЕВИЗНАЧЕНОСТІ