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

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