опис
Логічний підхід відноситься до низхідного типу (англ. Top-Down AI) і означає створення експертних систем, баз знань і систем логічного виведення та інших систем, заснованих на знаннях, що імітують високорівневі психічні процеси: мислення, міркування, мова, емоції, творчість.
Логічний підхід може бути проілюстрований застосуванням для цих цілей мови і системи логічного програмування Пролог. Програми, записані на мові Пролог, представляють Набори фактів і правил логічного висновку без жорсткого завдання алгоритму як послідовності дій, що призводять до необхідного результату.
Курс "Комп'ютерна логіка" занурить вас у світ формальної логіки в різних її аспектах (в тому числі і через призму обчислення предикатів першого порядку і його програмної реалізації — мови програмування Пролог). Також ви дізнаєтеся про багато видів логіки, а також супутню інформацію, необхідну для занурення в світ технологій штучного інтелекту. Основними розглянутими темами курсу є:
- підстава логічного підходу до ІІ
- види логік
- логічні операції та їх таблиці істинності
- деякі властивості логічних операцій
- наївна теорія множин
- діаграми Венна
- двійкова система числення
- переклад чисел з двійкової системи в десяткову і назад
- важливі логічні операції
- діаграми логічних виразів
- речення
- функціональний базис
- Кон'юнктивна і диз'юнктивна нормальні форми
- Що таке тавтологія
- логічний висновок
- Що таке продукція
- Трійкова логіка
- імплікація в трійковій логіці
- багатозначні логіки Лукасевича
- правило резолюцій
- автоматичне доведення теорем
- формальні системи
- теореми Геделя про неповноту
- Диагонализация Кантора
- обчислення предикатів першого порядку
- квантори загальності та існування
- закони заперечення кванторів
- Пов'язані та вільні змінні
- мова програмування ПРОЛОГ
- логічні вентилі з людей
- багатозначна логіка Поста
https://privatelink.de/?https://www.udemy.com/course/computerlogic/