Горохов А.В. Формальный синтез структуры имитационной модели (на примере синтеза системно-динамических моделей)

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

Ключевые слова:

Abstract: The author suggests an approach to formalization and presentation of collective expertise knowledge in a form of conceptual models, based on a functional-oriented technology. Implementation of the conceptual model in form of base of knowledge enables the ability to use expertise knowledge autonomously in solving the tasks of a simulation model structure synthesis. A mechanism of simulation model generation is in consequent appliance of formal rules of base of knowledge to its declarative data. The base of knowledge contains three groups of inference procedures. The first group of procedures provide the selection of the declarative knowledge needed to solve specific task (specific simulation model synthesis) from the entire base. The second group of procedures generates the composition and structure of the simulation model. The third group of procedures forms the informational connections in the synthesized model. Appliance of the formal-oriented approach at the stage of formalization of expertise knowledge provides adequacy of the structure of synthesized model to the tasks of the subject area and can significantly improve efficiency of the use of expertise knowledge in the modeling and study of complex systems.

Keywords: