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

Описание

Базы знаний. Логический вывод. Система 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: значение истинности

Ссылка на плейлист Teach-In: https://teach-in.ru/course/ii-lukashevich
Ссылка на плейлист YouTube: https://www.youtube.com/playlist?list=PLcsjsqLLSfNCHou6u-UdoFCOT65mCs1Yg
Ссылка на плейлист VK: https://vkvideo.ru/playlist/-176441665_833
Ссылка на плейлист RuTube: https://rutube.ru/plst/1217682