d9e5a92d

Введение в экспертные системы -Логическое программирование



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

Формальные языки
Исчисление высказываний
Исчисление предикатов

Язык PROLOG

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

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

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

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




Содержание раздела