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