Учеб. пособие. — СПб.: Изд-во Политехн. ун-та, 2010. — 240 с. — ISBN 978-5-7422-1845-6.
В пособии излагаются основы теории искусственного интеллекта и методы решения слабо формализованных задач. Основное внимание уделяется методам представления знаний в компьютерах. Рассматривается представление знаний системами продукций и представления знаний формулами исчисления предикатов. Приводятся алгоритмы поиска решения в системах продукций и автоматического доказательства теорем.
Пособие предназначено для студентов высших учебных заведений, обучающихся по направлениям и специальностям в области техники и технологии при изучении дисциплин «Искусственный интеллект», «Инженерия знаний». Пособие может быть полезно для студентов, обучающихся по другим специальностям.
Работа выполнена в рамках реализации Инновационной образовательной программы Санкт-Петербургского государственного политехнического университета «Развитие политехнической системы подготовки кадров инновационной среде науки и высокотехнологичных производств Северо-Западного региона России».
Печатается по решению редакционно-издательского совета Санкт-Петербургского государственного политехнического университета.
