Учебное пособие для вузов. 2-е издание, исправленное. — М.: МГАПИ,
2001. — 223 с.: ил. — ISBN 5-88538-071-6, ISBN 5-8068-0167-5.
В книге систематизировано приведены основные логические модели,
используемые в прикладных информационных системах и, в том числе, в
системах искусственного интеллекта: логики высказываний и
предикатов первого порядка, модальная, немонотонная логики и
элементы нечеткой. Через все главы проведены фундаментальные
понятия интерпретации, модели, резолюции, необходимые для понимания
механизмов логического вывода и рассуждений. К материалу каждой
главы предложены задачи, к некоторым из них даются решения.
Учебное пособие предназначено для студентов технических вузов, обучающихся по специальностям группы 220200 "Информатика и вычислительная техника"; может оказаться полезным студентам, обучающимся по специальности "Прикладная математика" и аспирантам.
Учебное пособие предназначено для студентов технических вузов, обучающихся по специальностям группы 220200 "Информатика и вычислительная техника"; может оказаться полезным студентам, обучающимся по специальности "Прикладная математика" и аспирантам.