Лукашевич Н.В. - Искусственный интеллект - 2. Модели представления знаний. Логическое представление

Модели представления знаний. Логическое представление Лукашевич Наталья Валентиновна 00:21 Искусственный интеллект как сфера деятельности 01:44 Представление знаний 12:06 Формальные языки представления знаний: выразительность 14:45 Лексическое представление: синтаксис + семантика 16:20 Логический вывод 19:51 Формальная система: основные свойства 22:36 Исчисление высказываний. Синтаксис 25:07 Истинностные значения для связок 31:06 Логическая эквивалентность 32:51 Правила вывода 39:48 Плюсы и минусы исчисления высказываний 41:35 Исчисление предикатов 43:13 Отношения 44:15 Кванторы 53:21 Закон Моргана для кванторов 55:41 Использование исчисления предикатов 01:01:34 Базовые факты 01:01:47 Терминологические факты #Morgan's_law