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