Введение в экспертные системы
Введение в экспертные системы
Введение в экспертные системы
ГЛАВА 8. Логическое программирование
Формальные языки
Исчисление высказываний
Исчисление предикатов
Язык PROLOG
Опровержение резолюций
Принцип резолюций
Поиск доказательства в системе резолюций
Процедурная дедукция в системе PLANNER
PROLOG и MBASE
Правила поиска в языке PROLOG
Управление поиском в системе MBASE
Рекомендуемая литература
Упражнения
Содержание