Лукашевич Н.В. - Искусственный интеллект - 3. Базы знаний. Логический вывод. Система CYC

Аватар автора
Teach-In
Базы знаний. Логический вывод. Система CYC Лукашевич Наталья Валентиновна 01:24 Представление знаний и исчисление предикатов 03:21 Правила вывода 07:17 Унификация 17:40 Пример работы алгоритма 21:42 Высказывания 27:31 Логический вывод 35:47 Основа правила резолюции 40:41 Метод резолюций 43:50 Правила вынесения кванторов и сколемизация 51:16 Шаги преобразования формулы в предложения 01:02:21 Проблемы логических баз знаний 01:05:06 Проект CYC 01:10:27 Общие знания 01:16:55 Основные предикаты 01:21:25 CycL: значение истинности #общие_знания

0/0


0/0

0/0

0/0

Скачать популярное видео

Популярное видео

0/0