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



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

Глава


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



Содержание