Программные продукты и системы

При проведении исследований, моделировании и в процессе проектных разработок термин «слож­ная система» ассоциируется с объектом, состоящим из множества отдельных иерархически устроенных частей, функционирующих в тесном взаимодействии и составляющих единое целое [1]. Например, как сложную систему можно рассматривать город, крупное предприятие, экономику региона и т.п. К настоящему времени накоплен богатый опыт в изучении сложных систем, разработаны разнообразные методологические подходы [1–5]. К основным этапам моделирования сложных систем относятся построение концептуальной модели системы и ее формализация, алгоритмизация модели системы и ее машинная реализация, получение и интерпретация результатов моделирования системы.

Современные средства автоматизации моделирования (AnyLogic [6], GPSS World [7], iThink [8], Matlab Simulink [9], PowerSim [10] и др.) предоставляют пользователю возможность определять отношения между компонентами модели и правила их сборки. Основными задачами, решаемыми этими средствами автоматизации, являются построение непротиворечивой и эффективной (по времени и точности) компьютерной модели, соответствующей заданной постановке, многовариантные расчеты с целью оптимизации и настройки параметров, организация обмена данными между модулями, отображение результатов. Однако существующие средства уделяют недостаточно внимания этапу создания концептуальной модели и поддержке ее актуальности в рамках итеративного процесса разработки имитационной модели. Задача обеспечения явного использования формализованного представления концептуальной модели особенно важна при исследовании сложных систем, так как их изучение не укладывается в компетенцию ни одного конкретного специалиста и, следовательно, требует междисциплинарного подхода. Данное свойство сложных систем определяет следующую задачу, которую должны решать системы автоматизации моделирования, – организация совместной работы коллектива специалистов из разных областей знаний: экспертов-предметников, математиков, программистов, инженеров по знаниям. Использование парадигмы агентного моделирования позволяет учесть специфику междисциплинарного исследования за счет разделения областей компетенции экспертов по группам агентов. Для рассматриваемой проблемы важным преимуществом агентного моделирования является то, что в отличие от моделей системной динамики или дискретно-событийных моделей [11] нет необходимости подробно определять поведение системы в целом – разработку агента можно осуществить, опираясь на знания об индивидуальной логике поведения объектов предметной области.

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

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

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

Для поддержки исследователя в процессе создания агентной имитационной модели будет использоваться интегрированная экспертная система, база знаний которой содержит продукционные правила, управляющие процессом формирования структуры и поведения агента. На первом этапе этого процесса на основе понятий концептуальной модели определяются характеристики агента. Далее для полученной структуры определяется база знаний агента, которая содержит три составляющие поведения: собственная стратегия принятия решений, зависящая от структуры его характеристик; взаимодействие с внешней средой; реакция на действия других агентов. Поддержка проектирования будет заключаться в последовательном определении каждой составляющей поведения на основе анализа концептуальной модели. Отношения между понятиями концептуальной модели (структурные, причинно-следственные, наследование и т.п.) могут служить основанием для выявления потенциальной связи между агентами, содержащими эти понятия в качестве своих характеристик. Определение конкретных связей между агентами и/или средой в общем случае произ- водится в результате интерактивного диалога с исследователем. В ходе такого диалога система поддержки может по заданным шаблонам генерировать вопросы о характере связи, например, насколько изменится характеристика Х1 агента 1 при увеличении характеристики Y1 внешней среды. В некоторых случаях ответы на подобные вопросы могут быть найдены при анализе онтологии предметной области и статистической информации. В процессе создания правил, описывающих поведение агента, может быть использована заранее заданная база вычислительных процедур, позволяющих преобразовывать численные значения характеристик. Для редактирования полученных правил и создания новых будут использоваться современные средства визуального представления и обработки знаний (например Protege [12]).

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

Типовой агент обладает следующей структурой:

-   блок состояния, содержащий значения характеристик агента;

-   декларативный блок, содержащий стратегию поведения агента, формализованную в виде продукционных правил;

-   императивный блок, содержащий ссылки на программную реализацию расчетных процедур, используемых в процессе логического вывода.

В качестве базового средства, реализующего рутинные операции, связанные с организацией взаимодействия агентов, могут использоваться существующие инструментальные средства агентного моделирования (AnyLogic, JADE, MADKIT, NetLogo, Repast, Swarm и др.). Для апробации подхода предлагается использовать свободно распространяемую систему MADKIT [13], таким образом, реализация типового агента будет осуществлена на основе класса «Агент» системы MADKIT (рис. 1).

Для реализации декларативного блока типо- вого агента будут использованы инструментальные средства проектирования экспертных систем JESS [14]. Реализация процедур императивного блока будет осуществляться с использованием языка Java.

Функциональность типового агента позволяет изолировать информацию о структуре и поведении агента от его программной реализации в стороннем инструментальном средстве имитационного моделирования. Использование такого средства с отлаженной архитектурой позволяет разработчикам сконцентрироваться на решении задачи интеллектуализации и автоматизации процесса разработки имитационной модели.

Архитектура системы под­держки проектирования ими­тационных моделей. Пред- лагается использовать архи- тектуру системы поддержки проектирования интеллектуальных агентов, состоящую из перечисленных ниже блоков (рис. 2).

1. Блок концептуального моделирования предметной области. Результатом работы этого блока является онтология предметной области, содержащая описание рассматриваемой сложной системы в виде иерархии взаимосвязанных объектов и их свойств.

2. Интегрированная экспертная система на базе JESS, содержащая системную базу знаний, в которой находятся шаблоны, правила и факты, описывающие закономерности процесса создания агентной имитационной модели сложной системы на основе разработанной онтологии предметной области.

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

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

5. Исполняющий блок, использующий инструментальное средство имитационного моделирования общего назначения MADKIT для обеспечения непосредственного выполнения процесса моделирования.

6. Блок реализации типового агента, обеспечивающий интерпретацию декларативного описания агента и вызов расчетных процедур в процессе имитационного моделирования.

7. Блок инициализации, обеспечивающий создание необходимого количества агентов и определение конкретных параметров внешней среды для выбранной имитационной модели.

Систему поддержки проектирования имитационных моделей предлагается реализовать в виде web-приложения. Разработка блока концептуального моделирования предметной области, ин- тегрированной экспертной системы и исполняющего блока будет осуществлена по технологии тонкого клиента. Защита информации от несанкционированного доступа будет выполнена с помощью шифрования передаваемых данных на основе использования протокола HTTPS. Кроме того, реализация системы в виде web-приложения позволяет обеспечить совместную работу пользователей в процессе создания имитационных моделей.

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

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

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

Литература

1.     Бусленко Н.П. Моделирование сложных систем. М.: Наука, 1978.

2.     Гурман В.И., Дыхта В.А., Кашина Н.Ф. и др. Эколого-экономические системы: модели, информация, эксперимент. Н.: Наука, 1987.

3.     Месарович М., Мако Д., Такахара И. Теория иерархических многоуровневых систем. М.: Мир, 1973.

4.     Самарский А.А., Михайлов А.П. Математическое моделирование: идеи, методы, примеры. М.: Наука, 1997.

5.     Форрестер Дж. Мировая динамика. М.: Наука, 1978.

6.     Инструмент имитационного моделирования AnyLogic: обзор. URL: http://www.anylogic.ru/overview (дата обращения: 31.01.2014).

7.     Minuteman Software: GPSS World. URL: http://www.mi­nutemansoftware.com (дата обращения: 31.01.2014).

8.     The world leader in systems thinking software: systems thinking for business (iThink). URL: http://www.isee­sys­tems.com/softwares/Business/IthinkSoftware.aspx (дата обращения: 31.01.2014).

9.     Simulink: simulation and model-based design. URL: http://www.mathworks.com/products/simulink (дата обращения: 31.01.2014).

10.  Powersim Studio 10: build models with the system dynamics approach. URL: http://www.powersim.com (дата обращения: 31.01.2014).

11.  Борщев А.В. Практическое агентное моделирование и его место в арсенале аналитика // Exponenta Pro. Математика в приложениях. 2004. № 3. С. 38–47.

12.  Protégé is a free,open source ontology editor and knowledge-base framework. URL: http://protege.stanford.edu/ (дата обращения: 31.01.2014).

13.  Michel F., Ferber J., Gutknecht O. The Multiagent Deve­lopment Kit. URL: http://www.madkit.org/ (дата обращения: 31.01.2014).

14.  Jess, the Rule Engine for the JavaTM Platform. URL: http://www.jessrules.com/ (дата обращения: 31.01.2014).