Model of knowledge representation in the system of information support for decision making

Abstract

Objectives. The problem of mathematical modeling of the knowledge in the information support system for decision-making is being solved. The approach is based on the formalization of semantic relations in the language. The formalization of such relations provides an adequate representation of knowledge and serves as a theoretical basis for the algorithmization of user interaction with the system.
When solving the problem of knowledge modeling, three main goals are pursued: the construction of a mathematical model of semantic relations, the study of the properties of marginal syntagmas and the construction of algorithms for the formation of a dictionary of syntagmatic structures.
Methods. Methods of set theory, graph theory and mathematical linguistics are used.
Results. A mathematical model of knowledge representation in the information decision support system has been developed. The concepts of semantic relations in the language are formalized and the properties of marginal syntagmas are investigated. The proven properties of such structures provide the algorithmization of information processes in the system under consideration.
Conclusion. As an implementation of the model proposed in the article, algorithms for creating dictionaries of syntagmas and syntagmatic structures have been developed. When forming a set of syntagmas, the assertions about proved in the article marginal syntagmas are used. A set of syntagmatic structures is built taking into account their typology. Syntagmatic structures in the dictionary acquire the status of communicative fragment, i.e. stable phrases to synthesize the information system language.