Главная

Статьи

Библиотека статей

Методология бизнес-инжиниринга

Излагается способ построения механизма логического вывода с нечеткой логикой в экспертной системе (ЭС), используемой для реализации компоненты объяснения результатов имитационного моделирования поведения сложных систем.

В последние годы заметен значительный рост интенсивности исследований в области моделирования и искусственного интеллекта, что определяет основные тенденции в развитии технологии создания систем поддержки принятия решений (СППР). Сегодня моделирование - наиболее широко используемый прием решения задач планирования и управления.

Однако, несмотря на рост популярности и перспективность использования моделирования на практике, имеются существенные трудности в его практической реализации. Проблемы разработки моделей и оценки их адекватности хорошо освещены в литературе [1]. Другой проблемой, сопровождающей любую задачу моделирования, является объяснение результатов моделирования, поскольку моделирование не дает практического решения, а лишь позволяет получить последовательность фактов во времени и выработать некоторые предложения.

Интерпретация фактов и получение выводов на ее основе лежит вне сферы задач моделирования. Тем не менее, интерпретация и получение выводов критически важны для пользователя комплекса моделей (КМ). Эту проблему осложняет возникающая в ряде случаев потребность привлечения экспертов для интерпретации результатов моделирования. Отсутствие экспертов требуемой квалификации или высокая стоимость экспертизы результатов моделирования могут создать серьезные препятствия и даже нивелировать преимущества моделирования как инструмента планирования и управления.

Таким образом, актуальной задачей является разработка специальных программных сред, ориентированных на проведение консультаций и объяснения результатов имитационного моделирования.

В статье рассматриваются принципы построения разработанной СППР и способ интерпретации фактов, используемых при имитационном моделировании, основанной на технологии ЭС.

На Рис.1 показана обобщенная схема интегрированной СППР, совмещающей способности моделирования процессов и получения выводов по результатам моделирования с использованием технологии ЭС.

Система поддержки принятия решений оснащена двумя редакторами (см. Рис.1), основными функциями которых являются оказание сервиса пользователю в формированиях базы знаний (БЗ), состоящей из базы фактов (БФ) и базы правил (БП), или моделирующих модулей, удовлетворяющих синтаксическим требованиям СППР. Банк моделей является библиотекой созданного пользователем комплекса моделей, к которым организуется доступ при консультациях с пользователем. Моделирующий модуль формирует сценарий, позволяющий при имитации событий получить траекторию моделируемой системы в фазовом пространстве, представляемую в виде времен совершения событий или значений параметров, которые фиксируются в БЗ системы, придавая СППР прогнозирующие способности. БЗ системы, помимо этого, включает в себя данные о системных константах, не зависящих от моделируемых значений времен или параметров. Интерпретатор результатов контролирует работу механизма имитационного моделирования и механизма логического вывода (МЛВ) и взаимодействует с пользователем с целью объяснения результатов работы и контроля состояния системы.

Особенностью задачи интерпретации результатов моделирования является потребность в сохранении информации о всех изменениях состояний элементов моделируемой системы в процессе эксперимента. Классические ЭС (например, продукционного типа) ориентированы на получение одного логического вывода за один акт работы МЛВ и не могут выдать информацию о достоверности всех других менее достоверных, но возможных выводов. Поэтому их использование для анализа всех свершившихся событий в моделируемой системе проблематично.

В рассматриваемой СППР выбран альтернативный подход к построению МЛВ, использующий алгоритм решения задачи линейного программирования (ЛП). Один из возможных способов реализации такого подхода на базе алгоритма целочисленного ЛП описан в литературе [2, 3]. Отличие использованного в СППР способа построения МЛВ - сведение БП к задаче ЛП общего вида, что обеспечивает большую гибкость процессам интерпретации благодаря введению элементов "размытой" логики.

В Табл.1 представлены формальные правила (см. комментарий) преобразования БП в систему линейных выражений, где Р_x, Р_А, Р_Аi - степень уверенности в совершении событий Х, А, A_j; U_i ( [0, 1] - степень уверенности в том, что i-тое логическое выражение неверно. Существуют только два случая (полное название и полная уверенность пользователя), когда Ui_I = 0. В первом случае логическое выражение - цель логического вывода и соответствует событию, достоверность которого пользователь не может априорно оценить. Во втором случае логическое выражение соответствует событию, определяющему условия имитационного моделирования с достоверностью свершения, равной единице.

Ядром, рассматриваемого МЛВ, является целевая функция: SUM_i (G_i * P_i) > min, обеспечивающая выработку рекомендаций по коррекции оценок достоверности свершения событий. Здесь G_i - индикатор уверенности в i-ом логическом выражении (G_i = 0, если U_i = 1; G_i = 1 в других случаях), задаваемый экспертно или вычисляемый по данным, хранящимся в БП системы; P_i - уверенность в i-ом логическом выражении.

В случае использования симплекс-метода для решения задач ЛП величины dP_i= 1- P_i для P_i, соответствующих фиктивным переменным, вводимым в правую часть линейных выражений для приведения их к стандартной форме, будут служить рекомендациями по корректировке исходной системы предположений о достоверности свершения событий.

Справедливость последнего утверждения подтверждают следующие рассуждения.

При вероятностной интерпретации вводимых фактов формирующаяся система знаний должна обладать свойством полной группы событий, что мало вероятно при экспертном задании оценок достоверности. Описанный МЛВ позволяет для первой задачи получить рекомендации в виде приращений ?P_I по корректировке допущений пользователя о достоверности событий и добиться выполнения условия нормировки. При этом значение целевой функции задачи ЛП будет являться мерой некорректности всей системы знаний, событий.

Далее раскрывается содержание основных этапов решения задачи интерпретации фактов, используемых при имитационном моделировании.

Формирование временной БП, содержащей в себе правила типа (Х)=>(Истина) или (Х)=>(Ложь) только для событий (Х), являющихся исходными данными для имитационного моделирования. Признак такого события - неравенство нулю значения априорной степени уверенности в правиле.

С использованием МЛВ для временной БП получение рекомендаций в виде значений dP_i по корректировке предположений о достоверности правил во временной БП.

Воспроизведение на экране объяснения логического вывода.

После корректировки пользователем исходной БП может быть произведена повторная интерпретация входных фактов. При этом устраняется противоречивость исходных предположений пользователя о достоверности совершения исходных событий.

Формирование временной БП, содержащей в себе правила типа (Х)=>(Истина) или (Х)=>(Ложь) только для событий, априорная достоверность свершения которых равна нулю.

С использованием МЛВ для временной БП получение рекомендаций в виде значений dP_i по корректировке предположений о достоверности правил по временной БП.

Воспроизведение на экране объяснения логического вывода.

При этом полагается, что СППР осуществляет ввод в БФ и БП фактов, аналогичных первой задаче, а события, достоверность которых пользователь желает оценить, вводятся как абсолютно недостоверные события (т.е. искусственно нарушается свойство нормировки для полной группы событий в исходной БП).

Получение рекомендаций в виде значений P_I для исходной БП по корректировке значений апостериорных степеней уверенности в правилах.

Воспроизведение на экране объяснения логического вывода.

Корректировка ЛРП значений апостериорных степеней уверенности в БП с целью указания потребностей в изменении результатов имитационного моделирования.

Этапы, аналогичные задаче 2.

Замена в БП значений априорных степеней уверенности значениями скорректированных в задаче 4 апостериорных степеней уверенности.

Этапы, аналогичные задаче 3.

Отличием результата, получаемого в данном случае, от результата, получаемого в задаче 2, является то, что рекомендации ?P_i будут иметь отношение к входным данным.

Рассмотрим имитационную модель испытания беспилотного самолета. Предполагается, что после вылета самолета до достижения им точки возврата (соответствует остатку горючего, необходимому для успешного возвращения на аэродром) диспетчерской службой подается команда на возвращение. Возмущения в модели возникают из-за ошибки оценки скорости расхода горючего и ошибок диспетчерской службы. В Табл.2 представлена БФ (см. Табл.1), которой соответствует следующая система линейных неравенств (Рис.2).

Реализованный в интегрированной СППР способ описания моделируемого объекта в виде БФ и БП позволяет добиться существенного повышения эффективности исследований благодаря унификации описания моделей различного назначения, обусловленной использованием правил с заданным синтаксисом.

При этом повышается наглядность представления знаний о моделируемом объекте; реализуется механизм проверки комплекса моделей на полноту и противоречивость, что крайне важно для больших комплексов; имеется возможность задания универсальных требований разработчикам моделей; в интерфейсе пользователя легко реализуется компонента объяснения результатов моделирования на ограниченном естественном языке; реализация СППР не требует дополнительных теоретических проработок и может быть выполнена на базе известных результатов теории принятия решений и ЭС; при разработке пользовательской БЗ нет необходимости дополнительного привлечения экспертов, так как информация, содержащаяся в ней, является промежуточным результатом разработки комплекса моделей.

Описанный подход к интерпретации фактов, используемых при имитационном моделировании, реализован в демонстрационном прототипе интегрированной СППР, программные средства которой разработаны на языке программирования СИ с использованием пакета прикладных программ CodeBase.

Версия для печати  |  Пользовательское соглашение