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

  1. 00:15Введение. Подстановка. Произведение подстановок
  2. 11:30Унификатор. Алгоритм унификации. Пример
  3. 24:50Склейка. Правило резолюции
  4. 35:36Корректность правила резолюции. Корректность резолюционного вывода. Корректность исчисления резолюций
  5. 43:48Полнота метода резолюций
  6. 56:22Метод резолюций и доказательство теорем. Хорновские дизъюнкты
  7. 01:05:02Минимальная модель
  8. 01:14:12Экзистенциальность. Логические программы. Вычисление
  9. 01:27:28Протокол вычисления. Пространство вычислений. Значение программы
  10. 01:41:27Теорема об успешном вычислении логической программы. Протокол связываний
  11. 01:50:08Вычисление функций. Возможности логической программы. Вычислимость частично-рекурсивных функций
  12. 01:59:17Вычисление базисных функций. Подстановка. Рекурсия. Пример. Минимизация. Литература