Designing semantic formal models of objects of the subject area under study based on the categories of dialectics and set-theoretic methods

Abstract

A system-linguistic approach to the design of formal models of the subject area under study (IPO) based on the categories of dialectics and set-theoretic methods is considered. It is shown that this approach makes it possible to provide the required level of formalization of digital counterparts of real and virtual objects with the storage of their cause-and-effect relationships. The logic of the representation of the IPO CD in the Minkowski space–time basis is considered. It is shown that the correspondence of the applied subject–oriented formal languages for the construction of the IPO CD is carried out in the basis of the levels of the hierarchy of Chomsky generators. An example of the application of this approach to the construction of the semantic metastructure of the CD GTE (IPO) in the cybernetic aspect is given