Введение в компьютерную логику

Логический подход относится к нисходящему типу (англ. Top-Down AI) и означает создание экспертных систем, баз знаний и систем логического вывода и других систем, основанных на знаниях, имитирующих высокоуровневые психические процессы: мышление, рассуждение, речь, эмоции, творчество.

Логический подход может быть проиллюстрирован применением для этих целей языка и системы логического программирования Пролог. Программы, записанные на языке Пролог, представляют наборы фактов и правил логического вывода без жесткого задания алгоритма как последовательности действий, приводящих к необходимому результату.

Курс «Компьютерная логика» погрузит вас в мир формальной логики в различных её аспектах (в том числе и через призму исчисления предикатов первого порядка и его программной реализации — языка программирования Пролог). Также вы узнаете о многих видах логики , а также сопутствующую информацию, необходимую для погружения в мир технологий искусственного интеллекта. Основными рассматриваемыми темами курса являются:

• Основание логического подхода к ИИ

• Виды логик

• Логические операции и их таблицы истинности

• Некоторые свойства логических операций

• Наивная теория множеств

• Диаграммы Венна

• Двоичная система счисления

• Перевод чисел из двоичной системы в десятичную и обратно

• Важные логические операции

• Диаграммы логических выражений

• Пропозициональные выражения

• Функциональный базис

• Конъюнктивная и дизъюнктивная нормальные формы

• Что такое тавтология

• Логический вывод

• Что такое продукция

• Троичная логика

• Импликация в троичной логике

• Многозначные логики Лукасевича

• Правило резолюций

• Автоматическое доказательство теорем

• Формальные системы

• Теоремы Гёделя о неполноте

• Диагонализация Кантора

• Исчисление предикатов первого порядка

• Кванторы всеобщности и существования

• Законы отрицания кванторов

• Связанные и свободные переменные

• Язык программирования ПРОЛОГ

• Логические вентили из людей

• Многозначная логика Поста

Для прохождения курса не требуются какие-либо навыки программирования. Желательно, но необязательно понимание основ линейной алгебры.