Systems and Means of Informatics
2023, Volume 33, Issue 2, pp 124-131
THEORY OF S-SYMBOLS: FORMALIZATION OF KNOWLEDGE ABOUT 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 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.
[+] References (4)
- Ilyin, V. D. 2022. Symbolic modeling (S-modeling): An introduction to theory. Artificial intelligence trends in systems. Ed. R. Silhavy. Lecture notes in networks and systems ser. Cham: Springer. 502:585-591. doi: 10.1007 978-3-031-09076-9J54.
- 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.
- 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): 175-208. doi: 10.1016/0004-3702(75)90008-9.
[+] About this article
Title
THEORY OF S-SYMBOLS: FORMALIZATION OF KNOWLEDGE ABOUT S-PROBLEMS
Journal
Systems and Means of Informatics
Volume 33, Issue 2, pp 124-131
Cover Date
2023-06-10
DOI
10.14357/08696527230212
Print ISSN
0869-6527
Publisher
Institute of Informatics Problems, Russian Academy of Sciences
Additional Links
Key words
theory of S-symbols; S-problem; S-problem graph; resolving structure; programming automation
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
|