Systems and Means of Informatics
2023, Volume 33, Issue 3, pp 141-148
THEORY OF S-SYMBOLS: NETWORK TABS-SOLVER OF S-PROBLEMS
Abstract
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.
[+] References (7)
- Manna, Z., and R. Waldinger. 1975. Knowledge and reasoning in program synthesis. Artif. Intell. 6(2): 175-208. doi: 10.1016/0004-3702(75)90008-9.
- Tyugu, E.Kh. 1984. Kontseptual'noe programmirovanie [Conceptual programming]. Moscow: Nauka. 256 p.
- Kakhro, M.I., A. P. Kal'ya, and E.Kh. Tyugu. 1988. Instrumental'naya sistema programmirovaniya ES EVM (PRIZ) [The instrumental programming system for ES computer (PRIZ)]. Moscow: Finance and Statistics. 181 p.
- Ilyin, V. D. 1989. Sistema porozhdeniya programm [The system of program generating]. Moscow: Nauka. 264 p.
- General Electric. 2018. The digital twin. Available at: https://www.ge.com/digital/ sites/defa ult/files/The-Digital-Twi n_Compressi ng-Time-to-Value-for-Digital- Industrial-Companies.pdf (accessed August 15, 2023).
- Ilyin, V. D. 2023. Teoriya S-simvolov: kontseptual'nye osnovaniya [Theory of S-symbols: Conceptual foundations]. Sistemy i Sredstva Informatiki - Systems and Means of Informatics 33(1): 126-134. doi: 10.14357/08696527230112.
- Ilyin, V.D. 2023. Teoriya S-simvolov: formalizatsiya znaniy ob S-zadachakh [Theory of S-symbols: Formalization of knowledge about S-problems]. Sistemy i Sredstva Informatiki - Systems and Means of Informatics 33(2): 124-131. doi: 10.14357/ 08696527230212.
[+] About this article
Title
THEORY OF S-SYMBOLS: NETWORK TABS-SOLVER OF S-PROBLEMS
Journal
Systems and Means of Informatics
Volume 33, Issue 3, pp 141-148
Cover Date
2023-11-10
DOI
10.14357/08696527230312
Print ISSN
0869-6527
Publisher
Institute of Informatics Problems, Russian Academy of Sciences
Additional Links
Key words
theory of S-symbols; S-problem; tabs; network tabs-solver of S-problems; automation of digitalization systems development
Authors
V. D. Ilyin 
Author Affiliations
Federal Research Center "Computer Science and Control", Russian Academy of Sciences, 44-2 Vavilov Str., Moscow 119333, Russian Federation
|