Скобелев В.Г. Компьютерное моделирование логических процессов

Учебное пособие. – Донецк: Юго-Восток, 2010. – 195 с.Изложены основы построения современных интеллектуальных систем. Представлен необходимый математический аппарат. Охарактеризованы принципы, лежащие в основе решателя задач, разработанного на механико-математическом факультете МГУ им. М.В.Ломоносова.
Пособие предназначено для студентов и аспирантов математических факультетов, а также для факультетов вычислительной и математики и кибернетики.Содержание
Предисловие
Проблемы моделирования логических процессов
Введение
Интеллектуальные системы: состояние и перспективы
Процессы анализа и синтеза
Некоторые характеристики логических процессов
Задачи
Принципы построения баз данных
Предварительные замечания
Реляционная модель данных
Информационно-графовая модель данных
Комментарий: литература по моделям данных
Задачи
Логический подход в процессе автоматизации решения задач
Исчисление высказываний
Исчисление предикатов
Эвристики, применяемые при проверке общезначимости замкнутых формул логики предикатов
Дедуктивный и индуктивный подходы в математике
Задачи
Принципы построения решателя задач
Логический язык решателя задач
Представление задач в решателе задач
Общая схема функционирования решателя задач
Некоторые характеристики решателя задач
Задачи
Приложения
Язык ЛОС
Язык ГЕНОЛОГ
Список литературы