От логики до ИИ

Факультет логики

На пути от человеческого разума, через логику к искусственному интеллекту

Формальная логика Математическая логика Дискретная математика Теория алгоритмов Криптография Вычислительная техника Программирование Когнитивная психология Искусственный интеллект

Дополнительные материалы:

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

Ниже сырой материал, который будет использован в курсе обучения.

Логические операции (Логические связки)

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

Математическая логика

And

Or

Not

Математическая логика

В математической логике логические операции соответствуют логическими связками в суждениях из формальной логике (которым в математической логике соответствуют высказывания). Но не логическим операциям над понятиями, операции над которыми уже в математической логике не рассматриваются.

В качестве основных обычно называют конъюнкцию ($\land$ или &), дизъюнкцию ($\lor$), импликацию ($\to$), отрицание ($\neg$). В смысле классической логики логические связки могут быть определены через алгебру логики. В асинхронной секвенциальной логике определена логико-динамическая связка в виде операции венъюнкции ($\angle$).

Программирование

Логические операции в программировании как правило служат для управления программой в зависимости от значения каких-то логических выражений или переменных. Наиболее известны конъюнкция (&&), дизъюнкция (||), отрицание (!).

Их нередко путают с битовыми операциями, хотя это разные вещи.

Битовая операция

• Битовая операция (или элементарная операция ) — в теории алгоритмов, криптографии запись знаков 0, 1, плюс, минус, скобка; сложение, вычитание и умножение двух битов (числа записаны в двоичной системе счисления). Используется для оценки сложности алгоритма.
• Битовая операция (или побитовая операция) — в программировании некоторые операции над отдельными битами чисел, к которым они применяются битов. В программировании, как правило, рассматриваются лишь некоторые виды этих операций: логические побитовые операции и побитовые сдвиги.