System-Object Determinant Analysis. Partitive Сlassification Using a Formal-Semantic Normative System
Сергей Игоревич Маторин, V. V. Mikhelev · Scientific and Technical Information Processing · 2023
Abstract— This paper considers the construction of a partitive classification for conducting a system-object determinant analysis in a formal-semantic normative system. A formal semantic alphabet and rules for its use are described in terms of a descriptive logic. The algorithms developed provide computer support for the decomposition of a complex system in graphical-analytical modeling. An illustrative example is given.