Eng During last 365 days Approved articles: 2065,   Articles in work: 293 Declined articles: 786 

Gorokhov A. V. The formal synthesis of structure of a simulation model (on example of the synthesis of system-dynamic models)

Published in journal "Software systems and computational methods", 2013-3 in rubric "Knowledge Base, Intelligent Systems, Expert Systems, Decision Support Systems", pages 277-284.

Resume: 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: expert knowledge, conceptual model, base of knowledge, formal synthesis, rules of inference, algorithm, structure, simulation model, system dynamics, complex system

DOI: 10.7256/2305-6061.2013.3.8855

This article can be downloaded freely in PDF format for reading. Download article

Ignat'ev M.B., Putilov V.A., Smol'kov G.Ya. Modeli i sistemy upravleniya kompleksnymi eksperimental'nymi issledovaniyami. M., Nauka, 1986, 232 s.
Putilov V.A., Gorokhov A.V. Sistemnaya dinamika regional'nogo razvitiya. Murmansk: NITs Pazori , 2002, 306 s.
Gorokhov A.V., Bystrov V.V. Informatsionnaya tekhnologiya kontseptual'nogo sinteza dinamicheskikh modeley slozhnykh sistem. Informatsionnye tekhnologii v regional'nom razvitii, Vypusk 7. Apatity, izd-vo KNTs RAN, 2007, s.69-77.

Correct link to this article:
just copy this link to clipboard