Formalization, Modeling and Anticipatory Properties in Computational ...

Institute for Applied Systems Analysis of National Technical University of Ukraine ... operation research, models, formalization, anticipation, networks ..... Dubois D. Incursive and hyperincursive systems, fractal machine and anticipatory logic.
331KB Sizes 0 Downloads 107 Views
Formalization, Modeling and Anticipatory Properties in Computational Science for Sustainable Development Alexander Makarenko Institute for Applied Systems Analysis of National Technical University of Ukraine "Kiev Politechnic Institute named by Igor Sikorsky", Prospect Pobedy 37, building 35, 03056, Kyiv-56, Ukraine [email protected]

Abstract Some aspects of operational research methods, approaches and formalism concerned sustainable development are considered. General formal definition for sustainable development is proposed. Short description of new society models useful for sustainable development considering is given. Associative memory is background for such models. The role of strong anticipation property for understanding sustainable development is discussed. New possibilities for sustainable development indexes are proposed. New illustrations for sustainable development problem are given. Some examples for sustainable development (local, global and of practical importance) are described. The role of constraints in mathematical considering of sustainable development is stressed. Keywords: sustainable development, operation research, models, formalization, anticipation, networks I. Introduction. Recently operational research very many objects for investigations and for applications. Sustainable development (SD) is one of them. Supported the concept of development although it has a relatively short history, has already become popular enough, it was a real fact and factor in the political and public life is the subject of numerous publications. Perhaps the basic definition is known somewhere in the early 90s. However, there are many modifications and interpretation of this definition, and they depend on the most likely areas of scientific interest to researchers, considering the problems of sustainable development (SD). It should be noted that, as a rule, it is verbal or qualitative determination of SD, or in the best case study of individual systems, processes, or indexes of SD. Recall that when considering the SD as the basic definition of acceptable identification (1987) Brundtland Commission ( Remark that the topic ‘sustainable development ‘have been the the subject of many investigations (for example see the millions of references in Google). Of course the operation research (OR) community also made many investigations. Here we remember some examples with mathematical tools from OR. Say G. Chichilnisky proposed some axioms for SD. Rand D.A. investigated some topics in biology. Aubin J.-P. with colleagues had proposed the investigations of viability of some complex systems. Recently some theoretical considerations had been proposed by J. Sheffran with colleagues. Some problems of practical importance related to climate change investigated by J. Heitzig with colleagues. Also very many problems of development had been investigated in economy. Many reference in OR of development are in proceedings of IFORS and EURO conferences and journals. However, after 25 years, it becomes necessary to further development as the foundation of the concept and allows the formalization and use of computational social sciences methods. Discussion of these issues is devoted considerable number of studies on SD. Further formalization of the concepts and models largely depends on the application area and at the same time can also vary greatly depending on the model used, respectively, therefore continues to be still very relevant. Dispate of many investigations of SD in different branches of science the problem of formalizing SD and applications of OR methods and concepts to SD are still far from adequate general solutions. This is because of the difficulties in understanding of large social systems behavior and it formal description. The reasons of such difficulties have the origins in complexity of such systems, heterogenuities, hierarchicity, mentality of individuals and society and many other factors. Therefore, in this paper we attempt to highlight (very briefly)