Голенков В.В. и др. Логические основы интеллектуальных систем

Минск: БГУИР, 2011. — 70 с. Практикум по логическим основам интеллектуальных систем содержит теоретические сведения по основам классической, прикладной и нечёткой логики, необходимые для выполнения практических и лабораторных занятий, три лабораторные работы, упражнения, задания и решения.
Предназначен для студентов, обучающихся по специальности «Искусственный интеллект». Будет полезен студентам математических и инженерно—технических специальностей. Логика высказываний.
Алгебра высказываний.
Основные законы и понятия.
Общезначимость.
Противоречивость.
Нейтральность.
Выполнимость.
Следование и равносильность формул.
Исчисление высказываний.
Аксиоматика.
Правила вывода.
Принцип и правило резолюции.
Логика предикатов.
Алгебраические системы и модели логики предикатов.
Операция объединения отношений.
Операция соединения отношений.
Операция проекции отношений.
Алфавит языка логики предикатов.
Синтаксис языка логики предикатов.
Равносильные преобразования.
Сколемовские, предварённые и нормальные формы.
Исчисление предикатов.
Аксиоматика.
Правила вывода.
Логическое программирование.
Метод резолюций.
Операция унификации.
Операция обратного логического вывода.
Языки логического программирования.
Прикладные логики и правдоподобные рассуждения.
Неклассический логический вывод.
Алгоритмизация вывода по аналогии.