The Presentation of Evolutionary Concepts
The paper considers an approach to solving the problem of supporting the semantic stability of information system (IS) objects. A set of IS objects is addressed as a semantic network consisting of concepts and frames. The interpretation that assigns intensional (meaning) and extensional (value) characteristics to network designs is connected to the constructions of the semantic network. The interpretation in the general case depends on the interpreting subject, time, context, which can be considered as parameters. The possibility to preset a consistent interpretation for a given semantic network is regarded as a semantic integrity, and the possibility to control changes in interpretation when the parameter is changed is regarded as semantic stability. Among the tasks related to supporting semantic stability, the problem of modelling evolutionary concepts (EC) is highlighted. It is proposed to construct a computational model of EC based on the theory of categories with a significant use of the concept of variable domain. The model is constructed as a category of functors, and it is shown that the Cartesian closure of the basic category implies Cartesian closure of the category of models. The structure of the exponential object of the category of models has been studied, and it is shown that its correct construction requires taking into account the evolution of concepts. The testing of the model’s constructions was carried out when lining the means of semantic support for the implementation of the best available technologies (BAT).
KeywordsInformation system Semantic network Semantic modeling Semantic stability Data model Computational model Theory of categories
Authors acknowledge support from the MEPhI Academic Excellence Project (Contract No. 02.a03.21.0005). The research is supported in part by the RFBR grant 15-07-06898.
- 5.Ismailova, L.: Criteria for computational thinking in information and computational technologies. Life Sci. J. 11(9s), 415–420 (2014)Google Scholar
- 6.Castro,G., Costa, B.: Using data provenance to improve software process enactment, monitoring and analysis. In: Proceedings of the 38th International Conference on Software Engineering Companion, ICSE 2016, pp. 875-878. ACM, New York (2016)Google Scholar
- 8.Comyn-Wattiau, I. et al.: Conceptual Modeling, Proceedings of 35th International Conference ER 2016, Gifu, Japan, November 14-17, 2016. LNCS, vol. 9974. Springer (2016)Google Scholar
- 9.Population Modeling Working Group. Population modeling by examples (wip). In: Proceedings of the Symposium on Modeling and Simulation in Medicine, MSM 2015, pp. 61–66. Society for Computer Simulation International, San Diego (2015)Google Scholar
- 11.Scott, D.: Advice in modal logic. In: Lambert, K. (ed.) Philosophical Problems in Logic. Reidel (1970)Google Scholar
- 12.Scott, D.S.: Relating theories of the lambda calculus. In: Hindley, J., Seldin, J. (eds.) To H.B.Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, pp. 403-450. Academic Press, New York (1980)Google Scholar
- 13.Scott, D.: The lattice of flow diagrams. In: Symposium on Semantics of Algorithmic Languages, pp. 311-366. Springer (1971)Google Scholar