Systems and Means of Informatics
2023, Volume 33, Issue 2, pp 124131
THEORY OF SSYMBOLS: FORMALIZATION OF KNOWLEDGE ABOUT SPROBLEMS
Abstract
The theory of Ssymbols is an extended generalization of the theory of Smodeling. It is considered as a part of the methodological support for the development of artificial intelligence systems in the Senvironment (including knowledge systems, systems of Smodeling of problems and program design, etc.). The Senvironment 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 Sproblem objects (Sproblem, Sproblem graph, etc.) are given. The basics of designing Sproblem objects (including the construction of resolving structures on Sproblem graphs) are described.
[+] References (4)
 Ilyin, V. D. 2022. Symbolic modeling (Smodeling): An introduction to theory. Artificial intelligence trends in systems. Ed. R. Silhavy. Lecture notes in networks and systems ser. Cham: Springer. 502:585591. doi: 10.1007 9783031090769J54.
 Ilyin, V.D. 2023. Teoriya Ssimvolov: Kontseptual'nye osnovaniya [Theory of Ssymbols: Conceptual foundations]. Sistemy i Sredstva Informatiki  Systems and Means of Informatics 33(1): 126134. doi: 10.14357/08696527230112.
 Kakhro, M. I., A. P. Kal'ya, and E. Kh. Tyugu. 1988. Instrumental'naya sistema programmirovaniya ES EVM (PRIZ) [The instrumental programming system ES computer (PRIZ)]. Moscow: Finance and Statistics. 181 p.
 Manna, Z., and R. Waldinger. 1975. Knowledge and reasoning in program synthesis. Artif. Intell. 6(2): 175208. doi: 10.1016/00043702(75)900089.
[+] About this article
Title
THEORY OF SSYMBOLS: FORMALIZATION OF KNOWLEDGE ABOUT SPROBLEMS
Journal
Systems and Means of Informatics
Volume 33, Issue 2, pp 124131
Cover Date
20230610
DOI
10.14357/08696527230212
Print ISSN
08696527
Publisher
Institute of Informatics Problems, Russian Academy of Sciences
Additional Links
Key words
theory of Ssymbols; Sproblem; Sproblem graph; resolving structure; programming automation
Authors
V. D. Ilyin
Author Affiliations
Federal Research Center "Computer Science and Control", Russian Academy of Sciences, 442 Vavilov Str., Moscow 119333, Russian Federation
