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

Логическое программирование
PROLOG и MBASE

Правилпоискв языке PROLOG
Правилпоискв языке PROLOG - 2
Управление поиском в системе MBASE
Управление поиском в системе MBASE - 2
Управление поиском в системе MBASE - 3
Управление поиском в системе MBASE - 4
Управление поиском в системе MBASE - 5
Рекомендуемая литература
Упражнения
Упражнения - 2

Упражнения - 3
Формальные языки
Исчисление высказываний
Исчисление высказываний - 2
Исчисление предикатов
Исчисление предикатов - 2
Исчисление предикатов - 3
Исчисление предикатов - 4
Язык PROLOG
Опровержение резолюций

Принцип резолюций
Принцип резолюций - 2
Поиск доказательствв системе резолюций
Поиск доказательствв системе резолюций - 2
Поиск доказательствв системе резолюций - 3
Поиск доказательствв системе резолюций - 4
Процедурная дедукция в системе PLANNER
Процедурная дедукция в системе PLANNER - 2
Процедурная дедукция в системе PLANNER - 3
Содержание

Forekc.ru
Рефераты, дипломы, курсовые, выпускные и квалификационные работы, диссертации, учебники, учебные пособия, лекции, методические пособия и рекомендации, программы и курсы обучения, публикации из профильных изданий