<br><br>Введение в экспертные системы



Введение в экспертные системы


             101 english Idioms part 2 really is of top resources for ESL learners   



Введение в экспертные системы






ГЛАВА 8. Логическое программирование
Формальные языки

Исчисление высказываний

Исчисление предикатов

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


Процедурная дедукция в системе PLANNER

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


Рекомендуемая литература
Упражнения
Содержание