Управление стратегией вывода в экспертных системах

О работе
Прямой и обратный логический вывод в экспертных системах.
Экспертная система — компьютерная программа, способная частично заменить специалиста-эксперта в разрешении проблемной ситуации.
Прямой логический вывод представляет собой метод формирования рассуждений от фактов к заключениям, которые следуют из этих фактов.
Обратный логический вывод предусматривает формирование рассуждений в обратном направлении - от гипотезы к фактам, которые подтверждают гипотезу.

Состояние вопроса

ExPRO
Экспертная система EXPRO предназначена для решения трудно формализуемых научно-технических и экономических задач. Она может быть использована на предприятиях, НИИ и КБ для технико-экономического анализа производства, выбора и обоснования проектных решений, определения технологических параметров процессов изготовления изделий, оценки качества продукции, Диагностики технических систем и пр.
Система имеет язык представления знаний, который формализует знания в виде продукционной модели:
ЕСЛИ <Условие> ТО <Действие>

Алгоритм обратного вывода

Обратный вывод

Алгоритм прямого вывода

Прямой вывод

Программная реализация
Инструментальная экспертная система ExPRO реализована на языке программирования C# с использованием MS Visual Studio 2008.
Существует 2 версии системы:
ExPRO 2.15 – рабочая версия
ExPRO 3.2 – тестируемая версия

Что получилось?