Systems and Means of Informatics

2024, Volume 34, Issue 4, pp 85-96

THEORY OF S-SYMBOLS: DEVELOPMENT AND APPLICATION

V. D. Ilyin

Abstract

The article presents a new version of the theory of S-symbols (with additions and clarifications). The theory of S-symbols studies the construction of interconnected systems of S-(symbols, codes and signals) to create formalized languages (including specification and programming languages); the symbolic modeling of arbitrary objects (S-modeling), including systems of concepts and knowledge; the construction of a symbolic-code-signal environment (S-environment); and the construction of S-objects based on knowledge systems (including software systems and information resources). The S-environment serves as an infrastructural basis for solving the problems of research, engineering, and other activities using programmable machines (S-machines). The theory of S-symbols is considered as a part of the methodological arsenal for the development of formalized languages, knowledge systems, etc. performed in the S-environment. The new version of the theory adds a section on form-oriented languages with semantic markup (S-languages) and provides a definition of the knowledge system about an arbitrary S-object. The examples of applications in the automation of programming, digitalization of the public administration system, and the economic mechanism are given.

[+] References (30)

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. EDN: OCIEKY.
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. EDN: ACFEQB.
Ilyin, V. D. 2023. Teoriya S-simvolov: setevoy tabs-reshatel’ S-zadach [Theory of S-symbols: Network tabs-solver of S-problems]. Sistemy i Sredstva Informatiki — Systems and Means of Informatics 33(3): 141—148. doi: 10.14357/08696527230312. EDN: EJHIQJ.
Ilyin, V. D. 2023. Teoriya S-simvolov: klassy bazovykh S-zadach [Theory of S-symbols: The classes of basic S-problems]. Sistemy i Sredstva Informatiki — Systems and Means of Informatics 33(4):139—148. doi: 10.14357/08696527230413. EDN: YLGBME.
Ilyin, V. D., and I. A. Sokolov. 2007. Simvol’naya model’ sistemy znaniy informatiki v cheloveko-avtomatnoy srede [The symbol model of informatics knowledge system in human—automaton environment]. Informatika i ee Primeneniya — Inform. Appl. 1(1):66—78. EDN: JTESDO.
Ilyin, A. V., and V. D. Ilyin. 2014. Sistematizatsiya znaniy o programmiruemykh zadachakh [Systematization of knowledge about programmable tasks]. Sistemy i Sred- stva Informatiki — Systems and Means of Informatics 24(3):192—203. doi: 10.14357/08696527140314. EDN: SXZJEP.
Nakamori, Y., ed. 2023. Knowledge technology and systems. Toward establishing knowledge systems science ser. Singapore: Springer. 287 p. doi: 10.1007/978-981-99- 1075-5.
Newell, A., and H. A. Simon. 1976. Computer science as empirical inquiry: Symbols and search. Commun. ACM 19(3): 113—126. doi: 10.1145/360018.360022.
Ilyin, V. D. 1989. Sistema porozhdeniya programm [The system of program generating]. Moscow: Nauka. 264 p.
Ilyin, A. V., and V. D. Ilyin. 2009. Osnovy teorii S-modelirovaniya [Basics of the theory of S-modeling]. Moscow: IPI RAN. 144 p. EDN: VSGOMN.
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-9254.
Xiaoyu, W., and G. Zhengming. 2020. Research and development of data security multidimensional protection system in cloud computing environment. Conference (International) on Advance in Ambient Computing and Intelligence Proceedings. Ottawa, ON, Canada: IEEE. 67—70. doi: 10.1109/ICAACI50733.2020.00019.
Semeraro, C., M. Lezoche, H. Panetto, and M. Dassisti. 2021. Digital twin paradigm: A systematic literature review. Comput. Ind. 130:103469. 23 p. doi: 10.1016/ j.compind.2021.103469.
Nguyen, H., R. Trestian, D. To, and M. Tatipamula. 2021. Digital twin for 5G and beyond. IEEE Commun. Mag. 59(2):10—15. doi: 10.1109/MTOM.001.2000343.
What isthe Semantic Web? 2024. W3C. Available at: https://www.w3.org/RDF/FAQ (accessed October 14, 2024).
Kulesza, R., M. F. de Sousa, M. L. M. de Araujo, et al. 2020. Evolution of web systems architectures: A roadmap. Special topics in multimedia, IoT and Web technologies. Eds. V. Roesler, E. Barrere, andR. Willrich. Cham: Springer. 3—21. doi: 10.1007/978- 3-030-35102-1-1.
Ilyin, V. D. 2024. The theory of S-symbols in the methodological arsenal of artificial intelligence. Int. J. Open Information Technologies 12(3): 122—128. EDN: SNFUAJ.
Ilyin, V. D. 1995. A methodology for knowledge based engineering of parallel program systems. 8th Conference (International) on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems Proceedings. Gordon and Breach Science Publs., Inc. 805-809.
Ilyin, A. V., and V. D. Ilyin. 2021. Updated methodology for task knowledge based development of parallel programs. Data science and intelligent systems. Eds. R. Sil- havy, P. Silhavy, and Z. Prokopova. Lecture notes in networks and systems ser. Cham: Springer. 231:319-328. doi: 10.1007/978-3-030-90321-3/5.
Ilyin, V. D. 2023. Konstruirovanie tselevykh informatsionnykh resursov [Constructing of targeted information resources]. Sovremennye informatsionnye tekhnologii i IT- obrazovanie [Modern Information Technologies and IT-Education] 19(2):333-339. doi: 10.25559/SITITO.019.202302.333-339. EDN: ZSNATQ.
Ilyin, A. V. 2007. Konstruirovanie razreshayushchikh struktur na zadachnykh grafakh sistemy znaniy o programmiruemykh zadachakh [Constructing of resolving structures on task graphs of the knowledge system about programmable tasks]. Informatsionnye tekhnologii i vychislitel’nye sistemy [J. Information Technologies and Computing Systems] 3:30-36. EDN: KUUGUN.
Dorenskaya, E. A., A. A. Kulikovskaya, and Yu. A. Semenov. 2020. Yazyk opisaniya problemy i issledovanie ego vozmozhnostey [Exploring possibilities of language for describing the problem]. Sovremennye informatsionnye tekhnologii i IT- obrazovanie [Modern Information Technologies and IT-Education] 16(3):653-663. doi: 10.25559/SITITO.16.202003.653-663. EDN: MIKDEN.
Kryuchkov, A. V., and Yu. P. Stepin. 2021. Kontseptual’nye osnovy sistemy bez programmirovaniya i ee vozmozhnoe primenenie dlya importozameshcheniya v protsessakh razrabotki spetsial’nogo programmnogo obespecheniya ASUP [Conceptual foundations of the system without programming and its possible application for import substitution in the development of special software]. Avtomatizatsiya, telemekhanizatsiya i svyaz' v neftyanoy promyshlennosti [Automation, Telemechanization and Communication in Oil Industry] 9(578):60-68. doi: 10.33285/0132-2222-2021-9(578)-60-68. EDN: FPPZOH.
Okhtilev, M.Yu., V.N. Koromyslichenko, and P. A. Okhtilev. 2024. Proizvodstvo programm. Inzhenernyy podkhod [Program production. Engineering approach]. Moscow; Vologda: Infra-Inzheneriya. 140 p.
Ilyin, V. D. 1996. Osnovaniya situatsionnoy informatizatsii [Fundamentals of situational informatization]. Moscow: Nauka, Fizmatlit. 180 p.
Ilyin, V. D. 2009. Model’ normalizovannoy ekonomiki (NEk-model’): osnovy kontseptsii [The model of normalized economics (NEc-model): Basics of framework]. Upravlenie bol’shimi sistemami [Large-Scale Systems Control] 25:116-138. EDN: KKXUUB.
Ilyin, A. V., and V. D. Ilyin. 2014. Towards a normalized economic mechanism based on E-services. Agris on-line Papers in Economics and Informatics 6(3):39-49. doi: 10.22004/ag.econ.188734.
Bauer, V.P., V.V. Eremin, S.N. Silvestrov, and V.V. Smirnov. 2019. Ekonomicheskoe modelirovanie protsessov tsifrovoy transformatsii [Economic modeling of digital transformation processes]. Zh. ekonomicheskoy teorii [Russ. J. of Economic Theory] 16(3):428-443. doi: 10.31063/2073-6517/2019.16-3.11. EDN: XPZPOT.
Sil’vestrov, S.N., V. P. Bauer, V.V. Eremin, andN. V. Lapenkova. 2020. O tsifrovoy transformatsii predpriyatiya v kontekste sistemnoy ekonomicheskoy teorii [About digital transformation of the enterprise in the context of systemic economic theory]. Ekonomicheskaya nauka sovremennoy Rossii [Economics of Contemporary Russia] 2(89):22-45. doi: 10.33293/1609-1442-2020-2(89)-22-45. EDN: WLYFFF.
Kikavets, V. V., and Y. K. Tsaregradskaya. 2020. The implementation of principles of the budget process in the financing of public procurement in the digital economy. Artificial intelligence: Anthropogenic nature vs. social origin. Eds. E. Popkova and B. Sergi. Advances in intelligent systems and computing ser. Cham: Springer. 1100:2835. doi: 10.1007/978-3-030-39319-9_4.

[+] About this article