Лукашевич Н.В. - Искусственный интеллект - 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:17:01 Основные предикаты 01:21:28 CycL: значение истинности

0/0


0/0

0/0

0/0