Крисевич В.С. (ред.). Экспертные системы для персональных компьютеров методы, средства, реализации

В.С. Крисевич, Л.А. Кузьмич, А.М. Шиф и др.
Мн.: Выш. шк., 1990. — 197 с: ил. ISBN 6-339-00492-9 Содержится описание методов, средств построения, отечественных и зарубежных реализаций экспертных систем для персональных компьютеров. рассматриваются методы работы инженера знаний с экспертом и средства их автоматизации.
Для программистов, проектировщиков, студентов, аспирантов и всех желающих расширить свои знания в области экспертных систем. ВВЕДЕНИЕ В ЭКСПЕРТНЫЕ СИСТЕМЫ
Структура, принципы организации и способы реализации экспертных систем
Представление знаний в экспертных системах
Технология разработки экспертных систем
Критерии оценки экспертных систем ПРОЛОГСРЕДСТВО СОЗДАНИЯ ЭКСПЕРТНЫХ СИСТЕМ
Исчисление предикатовматематическая основа языка
Выражения Хорна и алгоритм унификации
Реализация языка Пролог на последовательных машинах
достоинства и недостатки языка Пролог
Описание версии ТурбоПролог ТЕХНИКА РАЗРАБОТКИ ЭКСПЕРТНЫХ СИСТЕМ НА ПРОЛОГЕ
Механизм логического вывода и управление поиском
Отсечение
Рекурсия
Работа со списками
Неточные рассуждения и реализация прямого вывода
Получение эффективных программ
Построение интерфейса эксперта и пользователя
Модульное программирование
Установление интерфейса с программами на других языках
Отладка программ ОБОЛОЧКИ ЭКСПЕРТНЫХ СИСТЕМ
История вопроса
Классификация оболочек экспертных систем
Интегрированная система ИНТЕРЭКСПЕРТ
Исследовательская система СПЭИС
Краткий обзор зарубежных оболочек ЭКСПЕРТНАЯ ОБОЛОЧКА АИЭКС
Краткая характеристика системы ДИЭКС
Модель представления знаний системы ДИЭКС
Язык консультаций
Работа с системой ДИЭКС МЕТОДЫ ПРИОБРЕТЕНИЯ ЗНАНИЙ
Общие сведения
Прямые методы
Косвенные методы
Пример работы инженера знаний с экспертом
Автоматизация процесса загрузки базы знаний