Ebook: Изучение логического программирования на примере задач искусственного интеллекта

Задачи искусственного интеллекта (ИИ) - естественная и многообещающая область применения компьютеров и науки о них. К ним можно отнести распознавание образов (текстовых, графических, объемных), причем как восприятие образов, так и их интерпретацию, решение математических задач и автоматическое доказательство теорем, всевозможные игры (в том числе и азартные), понимание естественного языка, медицинский диагноз, составление расписаний и многое другое. Рассматривается, какие средства формализации задач ИИ и поиска их решения предлагает информатика