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


              

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



Логическое программирование
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
Содержание