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


Глава


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



- Начало -