Иллюстрированный самоучитель по введению в экспертные системы

         

Иллюстрированный самоучитель по введению в экспертные системы

Логическое программирование
PROLOG и MBASE
Правилпоискв языке PROLOG
Управление поиском в системе MBASE

Рекомендуемая литература
Упражнения
Формальные языки
Исчисление высказываний
Исчисление предикатов

Язык PROLOG
Опровержение резолюций
Принцип резолюций
Поиск доказательствв системе резолюций
Процедурная дедукция в системе PLANNER

Содержание раздела