Theory of S-symbols: Formalization of knowledge about S-problems

The theory of S-symbols is an extended generalization of the theory of S-modeling. It is considered as a part of the methodological support for the development of artificial intelligence systems in the S-environment (including knowledge systems, systems of S-modeling of problems and program design, etc.). The S-environment based on interconnected systems of S-(symbols, codes, signals) serves as the infrastructural basis for the implementation of information technologies for various purposes. The article presents the second part (out of four) of the description of the theory. Definitions of concepts related to S-problem objects (S-problem, S-problem graph, etc.) are given. The basics of designing S-problem objects (including the construction of resolving structures on S-problem graphs) are described.