Theory of S-symbols: Network tabs-solver of 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 third part (out of four) of the description of the theory. Definitions of the concepts of a multilayer table (tabs) and tabs structures used to represent S-objects are provided. A description of the basics of tabs-construction of S-objects is given. The main part of the article is devoted to a network tabs solver of arbitrary problems based on a system of knowledge about S-problems. The methodology of its construction is considered as a contribution to the methodological support of the development of digitalization systems for various types of activities.