Abstract

World experience shows that intelligent information systems for decision support are an integral part of modern society functioning. The basis of many tasks that lies in the development of decision support systems is the presentation of knowledge of a particular subject field. Each decision-support system, depending on the application field, has its own characteristics that characterize the main objectives of this subject area, among which, for example, the presentation of knowledge of multi-level administration systems for decision support purposes. In modern conditions, mathematical modeling is the most effective for the formal representation of knowledge in decision support systems which can be used to represent declarative knowledge of land relations. Therefore, urgent scientific practical problem is relevant now that lies in the representing contradictory knowledge in multilevel administration systems. The scientific and practical task envisages the transformation of declarative knowledge of the subject field in the form of mathematical and informational models using elements of set theory. The task envisages the transformation of declarative knowledge in the form of mathematical models with using set theory. The research used methods: analysis, set theory, mathematical modeling, corpus linguistics, ontological engineering. The results of the study are important for organizing activities in a variety of industries using a large body of documents and laws. The purpose of this work is to develop models of knowledge representation on the use of set theory in ontology. The object of research is the process of decision support in multilevel systems. Subject of research is the mathematical models of knowledge representation in multilevel administration systems using set theory. Keywords: formalization, theory, predicate logic, corpus linguistics, ontology, set theory, model.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call