Лекция 2. Модели представления знаний. Логическое представление

  1. 00:16Искусственный интеллект как сфера деятельности
  2. 01:44Представление знаний
  3. 12:06Формальные языки представления знаний: выразительность
  4. 14:45Лексическое представление: синтаксис + семантика
  5. 16:20Логический вывод
  6. 19:51Формальная система: основные свойства
  7. 22:36Исчисление высказываний. Синтаксис
  8. 25:07Истинностные значения для связок
  9. 31:06Логическая эквивалентность
  10. 32:51Правила вывода
  11. 39:48Плюсы и минусы исчисления высказываний
  12. 41:35Исчисление предикатов
  13. 43:13Отношения
  14. 44:15Кванторы
  15. 53:21Закон Моргана для кванторов
  16. 55:41Использование исчисления предикатов
  17. 01:01:34Базовые факты
  18. 01:01:47Терминологические факты