The Theory of S-symbols in the Methodological Arsenal of Artificial Intelligence

Vladimir D. Ilyin

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 construction, etc.). The S-environment, based on interconnected systems S-(symbols, codes, signals), serves as the infrastructural basis for the implementation of information technologies for various purposes. The rationale for expediency and basic notions (S-symbol, S-code, S-signal, etc.) is provided. The kinds and types of S-(symbols, codes and signals) are defined. Equivalence, order, and membership relations are introduced and defined on systems of S-(symbols, codes, and signals). Definitions of notions related to S-problem objects (S-problem, P-graph, etc.) are provided. The basics of designing S-problem objects (including the construction of resolving structures on P-graphs) are described. The classes of basic S-problems are defined. Definitions are accompanied by examples. 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 construction, etc.). The S-environment, based on interconnected systems S-(symbols, codes, signals), serves as the infrastructural basis for the implementation of information technologies for various purposes. The rationale for expediency and basic notions (S-symbol, S-code, S-signal, etc.) is provided. The kinds and types of S-(symbols, codes and signals) are defined. Equivalence, order, and membership relations are introduced and defined on systems of S-(symbols, codes, and signals). Definitions of notions related to S-problem objects (S-problem, P-graph, etc.) are provided. The basics of designing S-problem objects (including the construction of resolving structures on P-graphs) are described. The classes of basic S-problems are defined. Definitions are accompanied by examples.[1]

[1] Manuscript received Nov 14, 2023.

Vladimir D. Ilyin, Federal Research Center "Computer Science and Control" of Russian Academy of Sciences, 44/2, Vavilova Street, 119333, Moscow, Russia (e-mail: vdilyin@yandex.ru)


Full Text:

PDF

References


Newell, A., Simon, H. 1976. Computer science as empirical inquiry: symbols and search. Commun. ACM 19(3), 113–126. https://doi.org/10.1145/360018.360022.

Berners-Lee, T. 2010. Long live the Web. Sci. Am. 303(6), 80–85.

Ilyin, V.D. 2023. Teoriya S-simvolov: kontseptual’nyye osnovaniya [The theory of S-symbols: Conceptual foundations]. Sistemy i sredstva informatiki [Systems and Means of Informatics] 33(1), 126–134. doi: https://doi.org/10.14357/08696527230112.

Ilyin, V.D. 2023. Teoriya S-simvolov: formalizatsiya znaniy ob S-zadachakh [The theory of S-symbols: Formalization of knowledge about S-problems]. Sistemy i sredstva informatiki [Systems and Means of Informatics] 33(2), 24–131. doi: https://doi.org/10.14357/08696527230212.

Ilyin, V.D. 2022. Symbolic Modeling (S-Modeling): an Introduction to Theory. In: Silhavy, R. (eds.) Artificial Intelligence Trends in Systems. CSOC 2022. LNNS, vol. 502, pp. 585–591. Springer, Cham. Doi: 10.1007/978-3-031-09076-9_54.

Rojek, I., Mikołajewski, D., Dostatni, E. 2020. Digital twins in product lifecycle for sustainability in manufacturing and maintenance. Appl. Sci. 11(1), 31 pp.. doi: 10.3390/app11010031.

Semeraro, C., Lezoche, M., Panetto, H., Dassisti, M. 2021. Digital twin paradigm: A systematic literature review. Comput. Ind. Vol. 130, art. 103469, 23 pp. doi: 10.1016/j.compind.2021.103469.

Nguyen, H., Trestian, R., To, D., Tatipamula, M. 2021. Digital twin for 5G and beyond. IEEE Commun. Mag. 59(2), 10–15. doi: 10.1109/MCOM.001.2000343.

Jia, P., Wang, X., Shen, X. 2021. Digital-twin-enabled intelligent distributed clock synchronization in industrial IoT systems. IEEE Internet Things 8(6), 4548–4559. doi: 10.1109/JIOT.2020.3029131.

Ball, P., Badakhshan, E. 2021. Sustainable Manufacturing Digital Twins: A Review of Development and Application. In: Scholz, S.G., Howlett, R.J., Setchi R. (eds.) Sustainable Design and Manufacturing. KES-SDM 2021. Smart Innovation, Systems and Technologies, vol. 262. Springer, Singapore. doi :10.1007/978-981-16-6128-0_16.

Liu, K., Song, L., Han, W., Cui, Y., Wang, Y. 2022. Time-varying error prediction and compensation for movement axis of CNC machine tool based on digital twin. IEEE Trans. Ind. Inf. 18(1), 109–118. https://doi.org/10.1109/TII.2021.3073649.

Rathore, M., Shah, S., et al. 2021. The Role of AI, Machine Learning, and Big Data in Digital Twinning: a Systematic Literature Review, Challenges, and Opportunities. IEEE Access 9, 32030–32052. https://doi.org/10.1109/ACCESS.2021.3060863.

Kim, R.Y. 2011. Efficient Wireless Communications Schemes for Machine to Machine Communications. In: Zain, J.M., Wan Mohd, W.M.b., El-Qawasmeh, E. (eds.) Software Engineering and Computer Systems. ICSECS 2011. Communications in Computer and Information Science, vol. 181. Springer, Berlin, Heidelberg. Doi: 10.1007/978-3-642-22203-0_28.

Lien, S.Y., Liau, T.H., et al. 2012. Cooperative access class barring for machine-to-machine communications. IEEE T. Wirel. Commun. 11(1), 27–32. doi: 10.1109/TWC.2011.111611.110350.

Wei, Y., Blake, M.B. 2010. Service-oriented computing and cloud computing: Challenges and opportunities. IEEE Internet Comput. 14(6), 72–75. doi: 10.1109/MIC.2010.147.

Perera, C., Liu, C.H., Jayawardena, S. 2015. The emerging Internet of Things marketplace from an industrial perspective: A survey. IEEE T. Emerging Topics Computing 3(4), 585–598. doi: 10.1109/TETC.2015.2390034.

Kakhno, M.I., Kal’ya, A.P., Tyugu, E.Kh. 1988. Instrumental’naya sistema programmirovaniya dlya ES EVM [The Instrumental Programming System for ES EVM]. Finansy i statistika, Moscow.

Manna, Z., Waldinger, R. 1975. Knowledge and Reasoning in Program Synthesis. Artificial Intelligence 6(2), 175–208. doi: 10.1016/0004-3702(75)90008-9.

Sheu, P.CY. 1997. Automatic Program Synthesis and Reuse. In: Software Engineering and Environment. Software Science and Engineering. Springer, Boston, MA. Doi: 10.1007/978-1-4615-5907-8_8.

Basin, D., Deville, Y., Flener, P., et al. 2004. Synthesis of Programs in Computational Logic. In: Bruynooghe, M., Lau, KK. (eds.) Program Development in Computational Logic. LNCS, vol. 3049. Springer, Berlin, Heidelberg. Doi: 10.1007/978-3-540-25951-0_2.

Ilyin, V.D. 1989. Sistema porozhdeniya programm [Program generating system]. Nauka, Moscow. ISBN: 5-02-006578-1.

Ilyin, V.D. 1995. A methodology for knowledge based engineering of parallel program systems. In: Forsyth, G.F., Ali, M. (eds.) Proceedings of the Eighth International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Melbourne, Australia, Jun 06-08, 1995 (IEA/AIE-95). pp. 805–809. Gordon and Breach Publishers, Melbourne.

Ilyin, A.V. 2007. Konstruirovaniye razreshayushchikh struktur na zadachnykh grafakh sistemy znaniy o programmiruyemykh zadachakh [Construction of resolving structures on problem graphs of the knowledge system about programmable tasks]. Informatsionnyye tekhnologii i vychislitel’nyye sistemy [Journal of Information Technologies and Computing Systems] 3, 30–36.

Ilyin, A.V., Ilyin, V.D. 2021. Updated methodology for task knowledge based development of parallel programs. In: Silhavy, R., Silhavy, P., Prokopova, Z. (eds.) CoMeSySo 2021. LNNS, vol. 231, pp. 319–328. Springer, Cham. Doi: 10.1007/978-3-030-90321-3_25.

Ilyin, A.V., Ilyin, V.D. 2016. Variational online budgeting taking into account the priorities of expense items. Agris On-line Papers in Economics and Informatics 8(3), 51–56. doi: 10.7160/aol.2016.080305.

Ilyin, A.V., Ilyin, V.D. 2018. Situational management: review of the results relevant to the development of online services for e-government and e-business. Journal of information technologies and computing systems 4, 45–54. doi: 10.14357/20718632180405.


Refbacks

  • There are currently no refbacks.


Abava  Кибербезопасность MoNeTec 2024

ISSN: 2307-8162