Логические методы в искусственном интеллекте

Автор(ы)

Ашинянц Р.А

Год

2001

Язык

rus

Теги

Компьютеры и информационные технологии Математика

Аннотация

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