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

http://mosmart.ru/news/perchatki-dlya-mujchin-praktichnyie-i-udobnyie-aksessuaryi/          

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

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

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

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

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