Knowledge Management Software - Системы управления знаниями KMSOFT: Управление знаниями, автоматизация документооборота Программные решения KMSOFT в сфере менеджмента знаний: Е-МАСТЕР: Управление знаниями, Е-МАСТЕР: Документооборот Copyright © KMSOFT, 2002-2023 info@kmsoft-is.com Terms of use Privacy Policy
KMSOFT - Системы управления знаниями KMSOFT: Менеджмент знаний, автоматизация документооборота, системы класса ECM (управление корпоративной информацией) Информация о продуктах и услугах в сфере менеджмента знаний »»»
««« Описание программных решений в сфере менеджмента знаний: Е-МАСТЕР: Управление знаниями, Е-МАСТЕР: Документооборот
Продукты и услуги
Продукты и услуги
Статьи
Статьи
Теория
Теория
Экстранет
Экстранет
Поддержка
Поддержка
О Фирме
О Фирме
Статьи
Расширенный поиск
Найти

Основные публикации по менеджменту знаний

Избранные статьи по менеджменту знаний

Антология статей по менеджменту знаний

Глоссарий

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

Общие концепции современного менеджмента

Управленческий консалтинг

Финансовый менеджмент

Логистика

Менеджмент качества

Менеджмент знаний

Маркетинг

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

Организационная культура

Управление персоналом

Организационное проектирование

Информационные технологии

Стратегическое управление
Новые публикации
Главная Статьи Библиотека статей Методология бизнес-инжиниринга

Интерпретация фактов в "интеллектуальной" системе имитационного моделирования

Рубцов С.В., Ивченко П.Г.

Колонка Сергея Рубцова

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

Введение

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

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

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

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

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

Организация знаний и алгоритм логического вывода в СППР

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

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

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

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

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

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

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

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

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

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

Сценарий интерпретации данных

Интерпретация входных фактов

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

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

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

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

Интерпретация выходных фактов

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

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

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

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

Интерпретация свершившихся событий

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

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

Интерпретация потребностей ЛРП

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

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

Интерпретация рекомендаций

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

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

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

Пример работы макета СППР

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

Выводы

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

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

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

Библиография

  • Balci O. Credibility assessment of simulation results: Winter Simul. Conf. Proc. Washington: D.C., Dec. 8-10, 1986. New York, N.Y., 1986. 38-44
  • Post S. Simultaneous evaluation of expert system rules to find most likely solutions: Expert Syst. Gov. Symp., McLean., Va, Oct. 22-24, 1986. Washington: D.C., 1986. 298-302.
  • Post S. Reasoning with incomplete and uncertain knowledge as an integer linear program: 7th Int. Workshop: Expert Syst. And Appl., Avingnon, May 13-15, 1987. Vol. 2. – Paris: Eyrolles, 1987. 1361-1377
  • Источник: www.bigspb.ru
    Коротко о системе Е-МАСТЕР
    Е-МАСТЕР® — система управления корпоративной информацией.

    Е-МАСТЕР® включает в себя возможности систем класса ECM (Enterprise Content Management).

    Система обеспечивает:

    • Совместное создание и согласование документов
      • Каждый документ может быть обсужден как при помощи прикрепленного к нему мини-форума, так и в главном форуме
      • Разработанный документ может быть направлен на согласование по указанному маршруту
    • Хранение документов любых форматов
      • Хранение и передача документов в зашифрованном виде
      • Встроенные системы восстановления после сбоев и резервного копирования
    • Поиск документов
      • Возможность поиска по ключевым словам и другим атрибутам документов (автор, дата создания…)
      • Возможность поиска с помощью навигации по рубрикам
    • Управляемый доступ к документам
      • Возможность установки доступа к документам для различных категорий пользователей
      • Возможность введения ограничений на работу с документами
    • Функциональный интерфейс пользователя
      • Веб-интерфейс, позволяющий просматривать карточки и скачивать файлы из системы хранения документов
      • Удаленный доступ или работа пользователя из любой точки мира (при условии подключения к Интернету).
    Система FLAMORY™

    FLAMORY™FLAMORY™ — уникальный программный продукт, позволяющий сохранять историю действий пользователя на компьютере, таких, например, как работа в приложениях Windows, посещения сайтов и д.р.
    Сохраненные последовательности действий, далее, можно просмотреть, сохранить в файл и передать коллегам. FLAMORY позволяет аккумулировать и делиться знаниями.
    Работая с FLAMORY, обмен опытом, обучение новых сотрудников, обсуждения технологий, становятся, как никогда ранее, простой и удобной, в практических аспектах, задачей.

    FLAMORY™ разрабатывается при участии специалистов KMSOFT.
    Скачать бета-версию можно по этой ссылке.

    Версия для печати  |  Пользовательское соглашение
    Статьи
    KMSOFT: Управление знаниями, автоматизация документооборота, управление корпоративной информацией
    К началу страницы ...