Лекция 3. Базы знаний. Логический вывод. Система CYC

  1. 00:16Представление знаний и исчисление предикатов
  2. 03:21Правила вывода
  3. 07:17Унификация
  4. 17:40Пример работы алгоритма
  5. 21:42Высказывания
  6. 27:31Логический вывод
  7. 35:47Основа правила резолюции
  8. 40:41Метод резолюций
  9. 43:50Правила вынесения кванторов и сколемизация
  10. 51:16Шаги преобразования формулы в предложения
  11. 01:02:21Проблемы логических баз знаний
  12. 01:05:06Проект CYC
  13. 01:10:27Общие знания
  14. 01:16:55Основные предикаты
  15. 01:21:25CycL: значение истинности