Логический подход относится к нисходящему типу (англ. Top-Down AI) и означает создание экспертных систем, баз знаний и систем логического вывода и других систем, основанных на знаниях, имитирующих высокоуровневые психические процессы: мышление, рассуждение, речь, эмоции, творчество.
Логический подход может быть проиллюстрирован применением для этих целей языка и системы логического программирования Пролог. Программы, записанные на языке Пролог, представляют наборы фактов и правил логического вывода без жесткого задания алгоритма как последовательности действий, приводящих к необходимому результату.
Курс «Компьютерная логика» погрузит вас в мир формальной логики в различных её аспектах (в том числе и через призму исчисления предикатов первого порядка и его программной реализации — языка программирования Пролог). Также вы узнаете о многих видах логики , а также сопутствующую информацию, необходимую для погружения в мир технологий искусственного интеллекта.
Содержание:
Модуль 1 - Введение в формальную логику
Основание логического подхода к ИИ
Виды логик
Наивная теория множеств
Диаграммы Венна
Двоичная система счисления
Перевод чисел из двоичной системы в десятичную и обратно
Модуль 2 - Логические операции и пропозициональные выражения
Логические операции и их таблицы истинности
Важные логические операции
Некоторые свойства логических операций
Диаграммы логических выражений
Пропозициональные выражения
Что такое тавтология
Правила де Моргана
Модуль 3 - Троичные и многозначные логики
Троичная логика
Импликация в троичной логике
Многозначные логики Лукасевича
Многозначная логика Поста
Модуль 4 - Логики и логический вывод
Что такое продукция
Хорновские выражения
Логический вывод
Правило резолюций
Автоматическое доказательство теорем
Модуль 5 - Формальные системы
Формальные системы
Теоремы Гёделя о неполноте
Диагонализация Кантора
Модуль 6 - Исчисление предикатов первого порядка
Исчисление предикатов первого порядка
Кванторы всеобщности и существования
Законы отрицания кванторов
Связанные и свободные переменные
Язык программирования ПРОЛОГ
Модуль 7 - Логические функции
Логическая функция
Функциональный базис
Конъюнктивная и дизъюнктивная нормальные формы
СДНФ и СКНФ
Преобразование функции в СДНФ
Преобразование функции в СКНФ
Для чего нужны СДНФ/СКНФ
Практический пример использования булевых функций
Модуль 8 - Оптимизация логических функций
Обзор методов оптимизации булевых функций
Карты Карно
Диаграмма Вейча
Метод неопределённых коэффициентов
Метод Куайна
Метод Куайна — МакКласки
Модуль 9 - Бонус: о вычислительных системах
Логические вентили из людей
Для прохождения курса не требуются какие-либо навыки программирования. Желательно, но необязательно понимание основ линейной алгебры.