Управление стратегией вывода в экспертных системах выполнил Студент 5го курса факультета ВМК группы 957 Модестов Борис
О работе Прямой и обратный логический вывод в экспертных системах. Экспертная система компьютерная программа, способная частично заменить специалиста-эксперта в разрешении проблемной ситуации. Прямой логический вывод представляет собой метод формирования рассуждений от фактов к заключениям, которые следуют из этих фактов. Обратный логический вывод предусматривает формирование рассуждений в обратном направлении - от гипотезы к фактам, которые подтверждают гипотезу.
Состояние вопроса Экспертная системаЛогический вывод Mycinобратный Clipsпрямой Eclipse, G2прямой и обратный Логический выводЗадачи обратныйдиагностика прямойпрогнозирование
ExPROExPRO Экспертная система EXPRO предназначена для решения трудно формализуемых научно-технических и экономических задач. Она может быть использована на предприятиях, НИИ и КБ для технико- экономического анализа производства, выбора и обоснования проектных решений, определения технологических параметров процессов изготовления изделий, оценки качества продукции, Диагностики технических систем и пр. Система имеет язык представления знаний, который формализует знания в виде продукционной модели: ЕСЛИ ТО Интерфейс ExPRO Эксперт Инж. Зн Пользователь База Знаний Редактор БЗ Модуль управления процессом решения Механизм логического вывода Модуль вычисления выражений Модуль объяснения
Алгоритм обратного вывода
Обратный вывод Намерение = экспедиция Место экспедиции = горы Рабочая память Намерение = экспедиция Место экспедиции = горы Дорога = плохая Рабочая память Намерение = экспедиция И дорога = плохая Средство передвижения = джип Место экспедиции = горы Дорога = плохая Средство передвижения ? Дорога ? Средство передвижения Джип
Алгоритм прямого вывода
Прямой вывод Намерение = экспедиция Место экспедиции = горы Рабочая память Намерение = экспедиция Место экспедиции = горы Дорога = плохая Рабочая память Намерение = экспедиция И дорога = плохая Средство передвижения = джип Место экспедиции = горы Дорога = плохая Средство передвижения ?
Программная реализация Инструментальная экспертная система ExPRO реализована на языке программирования C# с использованием MS Visual Studio Существует 2 версии системы: ExPRO 2.15 – рабочая версия ExPRO 3.2 – тестируемая версия
Что получилось?