Все, что необходимо знать по экспортным системам

Что такое экспертная система? Представление знаний Символические вычисления Логическое программирование Приобретение знаний Эвристическая классификация Системы с доской объявлений Сети доверия Гибридные системы       ГЛАВА 8. Логическое программирование 8.1. Формальные языки 8.1.1. Исчисление высказываний 8.1.2. Исчисление предикатов 8.2. Язык PROLOG 8.3. Опровержение резолюций 8.3.1. Принцип резолюций 8.3.2. Поиск доказательства в системе резолюций 8.4. Процедурная дедукция в системе PLANNER 8.5. PROLOG и MBASE 8.5.1. Правила поиска в языке PROLOG 8.5.2. Управление поиском в системе MBASE Рекомендуемая литература Упражнения Search Information

Экспортные системы