The history of SAMT Center

Research work on system analysis and mathematical modeling of semantic-pragmatic attributes of information began in the early 90's of the twentieth century and coincided chronologically with the formation of subject area called informationology ([from information+ ...logy] (informology, informatology, informodinamics, theoretical computer science, information science, etc., in various interpretations) as a universal interdisciplinary science about nature and essence of information, about its characteristic properties, forms of representation (of existence, change, interaction) and modeling (author's concept).

Stage I - 1987-1997 years.

Main results

The main results of this period include the development of phenomenology and the axiomatic-terminological modeling study domain (attributive-categorical, later attributive-ingredient, the concept of information), significantly different from the known phenomenology of informationology in the interpretation of IIA (International Academy of Informatization). There were studied, proposed and confirmed the objectified determinations of nature and information (the object of research), informing, informatization, traffic and time of objective reality, the principles of evolutionary explication of the universal model of information forms of the existence of material systems, using the methodology of systems analysis at stage I.

In-depth research of the characteristic properties of the information (subject of study), both objective and subjective-pragmatic in the overall model of teleological systems (cybernetic and intelligent) based on the developed attributive-categorical (later, attributive-ingredient) concept of information began. In the first place, objectively and pragmatically-oriented semantics of information, its axiological attributes and dynamics of information processes in mentioned classes material systems have been investigated. New definitions of the used terms and new models and methods for their study were proposed.

Graph-theoretic model and algebraic-automatic mechanism for their transformation have been selected as the basic unit of the abstract model of explication of information, its characteristic properties and study of information processes, in particular, the model of intelligent systems sensorium. An example of a universal graph-theoretic model ("many-to-medium", "a set of binary relations) developed in the first stage of research and absorbing all the known types of graphs (or networks in the" network "of interpretation of graphs), is the semiotic-chromatic (SC- ) graph which interprets the development of well-known environment model of P. Banerjee: "name" object "-" object "-" name "property of an object" - "object property" - property value object "- the name of" relations of objects (binary) "- "object relations" - "name" property relations "-" property relations "-" values of the properties of relations " ("multidimensional information spaces", in later terminology).

Main participants: A. Baranovich, G. Shankin.

Stage II - 1998-2002.

The foundation of the second phase of research was the development of the new class of graph-theoretic models (generalization of the theory of graphs/ hypergraphs), namely of the model of hypertopograph of arbitrary level of k-topologization for a set of carrier, and further, the model of k-hyperspace of SC-hypertopographs Гs.

Main results

In the process of the inductive synthesis of the hypertopograph model, taking into account the optional multiplace relations of the hypergraph, topograph and paratopograph models were consequently offered and researched. The problems of enumeration and actual synthesis of the offered theoretic-graph models were solved.

The synthesis of the monochromatic k-hyperspace model Гsm was developed with the use of categories of "identity/ difference" by G. Leibniz, Cantor's “Mengenlehre”, axiomatic of Zermelo-Fraenkel and “urelements” of J. Barvays (ZFU) by serial topologization of the hypertopograph set of carrier V into the Boolean {tex}small{rm B}_{k}^{V}{/tex} of k-th level of topologization ({tex}small{V}equiv{rm B}_{0}^{V}subset{rm B}_{1}^{V} subset{rm B}_{2}^{V}subset...subset{rm B}_{k}^{V}{/tex}).

The Boolean of of k-th level of topologization is determined as the result of the serial topologization of the hypertopograph set of carrier {tex}small{V}equiv{rm B}_{0}^{V}{/tex}, when on the next stage of topologization i+1 non-empty elements of the Boolean {tex}small{rm B}_{i}^{V}{/tex} are used as source axiomatically indivisible and distinguishable elements of the set, that generate the Boolean {tex}small{rm B}_{i+1}^{V}{/tex}. Structuring features of information objects of the optional level of nesting and optional properties and element relations of researched structures are both considered in the k-hyperspace model Гs.

Referring to the k-hyperspace model Гs its metric properties were researched and the sum of the measurability of its elements was solved. The implementation of several new measures and metrics in Гs (developing the concepts of A. Kolmogorov, N. Rashevsky, W. Ashby, F. Hausdorff) projects the synthesized model on the field of measurable metric hyperspaces, that lets as go from the problem of the quantitative analysis of the characteristic attributes of information to the research of k-hyperspace Гs properties and speak about the solving computability problem for modeling semantic-pragmatic attributes of information values (L. Brillyuen), previously evaluated purely in qualitative terms. Justified algebra isomorphism {tex}small{rm A}_{{rm B}_{k+1}^{V}}{/tex} and {tex}small{rm A}_{[GF(2)]^{|{rm B}_{k}^{V}|} }{/tex}, reduces the problem of calculation of metrics in Гs to calculation of the Hamming metric weights and measures on the elements of the Boolean k-hyperspace {tex}small[GF(2)]^{|{rm B}_{k}^{V}|}{/tex}.

In parallel, the phenomenological research of semantic-pragmatic attributes of information and information processes in intelligent systems of "Natural" and "artificial" genesis in the universal aspect of their anthropic modeling (information technology of the second order) continued. Automaton-topological models of the pragmatic information semantics and of the process of the calculation value of information introduced into the intelligent system received their completed registration.

The second period of the research is characterized by the beginning of experimental testing of the developed theoretical methods and models. As a prototype of perspective intellectual software environment for modeling semantic-pragmatic attributes of information “Programming model for quantifying the value of information” (“AKSON” ver. 0.0, 2002) was proposed.

Main participants: A. Baranovich, A. Litovchenko, P. Grechin, A. Kurlykin.

Stage III - 2003-2007.

Main results

At this stage, the problems of generalization and projection of the proposed methodology were solved and  methodology of the research of information and its characteristic attributes to the substantive areas of intelligent systems, knowledge representation and modeling of the thinking process (intellectual activities, decision making, inference, etc.) was developed. An active testing of the developed methods and models in the domains of management, information and analysis work, economics, transport, finance, monitoring, biology, medicine and scientific research was began. In this connection, the estimates of the computational complexity of the proposed methods on various classes of applications and known architectures of computing systems were made. The morphisms of the k-hyperspace of nested SC-hypertopographs Гs in the well-known graph classes of models of declarative (factual) knowledge were investigated and it was shown that the developed model absorbs the above classes and it is associated with the semiotic-linguistic models of consistent communication (by J. von Neumann and K. Shannon) by the algorithmic procedures of the direct and inverse reductions.

Order relation defined in Гs and, parametrition of the topologization interval allows to synthesize a family of models of nested SH-hypertopographs, the number of hierarchy levels is determined by the requirements of the detail and clarity in the very "reasonable" restrictions ("computability") for their implementation.

In the third phase the research of the pragmatic significance of model elements in the k-hyperspace of SH-hypertopographs Гs and features of the influence of this factor on the decision-making mechanisms in the used IS model started. The looking for workable and effective procedures for the direct reduction of the semiotic-linguistic models of the sub-areas of natural language (NL) in the model of k-hyperspace Гs («knowledge mining from text») continued. The concept of the controlled evolution of natural language, the definition and the model of the pragmatic capacity of verbal information were offered.

At this stage the practical realization and the full-scale testing of the developed methods and models fully began. "The pilot program complex for valuation of information,"AKSON"(ver. 1.0, 2003) was developed in "The program complex for numerical analysis of the semantic-pragmatic attributes of information "AKSION" (ver. 2.1 - 2.2, 2004) and further , in "Intelligent software environment "AKSION" (ver. 3.2 -2.4., 2006-2008.).

Actually, stage III can be characterized as the starting formation period of the HTG Research Team.

Main participants: A. Baranovich, N. Lishin, A. Jr. Baranovich, N. Susorov, V. Kasimov, V. Klevtsov, S. Larionov, A. Kernosenko, K. Skvortsov, A. Zvyagintsev, V. Ryzhov, I. Kuznetsova.

Stage IV – 2008 – present time

«Hypertopograph research team –"System Analysis and Modeling of Thinking" Center ».

Main results

Main participants: A. Baranovich, V. Maksimov, N. Lishin, A. Jr. Baranovich, I. Kuznetsova, A. Denisova, D. Zhuravlenko, Y. Kalmykov, E. Lakusha, S. Iglitskaya, D. Borovikov, Y. Babanina, E. Kireeva, S. Novikov, N. Nikitin, D. Khankovskiy, D. Romodina. Associate member – A. Khrennikov.

Note:

Stages of evolution of the SAMT center and the achieved results in the developed research directions are described in detail on the site in the chronological list of published works.

[Under Construction]