Abstract
The paper considers the problem associated with the possibility of functional programming of intelligent systems, which are based on the definition of intelligence as the ability to model the environment around the system in order to use this model to form the specified behavior of the system in this environment. Such behavior is considered as the result of a consistent solution of intermediate tasks, into which the general task is divided, determined by the goal set for the system. In the variant under consideration, the environment model is built on the basis of knowledge collected by the system or obtained from its knowledge base. Separate knowledge has a multi-element representation, making available for the user several tools for solving problems. The options proposed in his paper are: sets of properties, logical and ontological representations of individual components of the environment surrounding the system, and related associations of these components. It should be noted that various variants of logics can be incorporated into the system, including non-classical ones, on which the system builds its conclusions. In addition, the system can use various variants of mathematical structures that are stored in its knowledge base when building a model.
When developing an intelligent system, the methods and tools of functional design can be applied as a way to develop a specific system. In this work, this approach is applied on the example of the development of an intelligent military robot that operates in a specific subject area and solves the problem of defending and attacking a specific enemy.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach. Pearson (2016)
Bostrom, N.: Superintelligence: Paths, Dangers. Oxford University Press, Strategies (2014)
Laurier, J.L.: Systems of Artificial Intelligence. Mir, Moscow (1991). (in Russian)
Letichevsky, A.: Theory of interaction, insertion modeling, and cognitive architectures. Biol. Inspired Cogn. Architectures 8, 19–32 (2014)
Meitus, V.Yu.: Problems of Building Intelligent Systems. Intell. Model. Cyber. Syst. Analysis (4), 3–19 (2021). (in Russian)
Meitus, V.Yu.: Problems of building intelligent systems. Representation of knowledge. Cyber. Syst. Analysis (4), 3–14 (2019). (in Russian)
Meitus, V.Yu.: Introduction to the Theory of Intelligent Systems. Basic Representations. Palmarium Academic Publishing, Saarbrücken (2015). (in Russian)
Meitus, V.Yu.: Problems of building intelligent systems. Levels of intelligence. Cyber. Syst. Analysis (4), 32–44 (2018). (in Russian)
Khaikin, S.: Neural Networks: Full Course. Williams, Moscow (2006). (in Russian)
Glibovets, M.M., Gulaeva, N.M.: Evolutionary Algorithms: Assistant. NaUKMA, Kyiv (2013). (in Ukrainian)
Summerfield, M.: Python in Practice: Create Better Programs Using Concurrency, Libraries, and Patterns. Addison-Wesley (2013)
Lutz, M.: Programming Python. O’Reilly Media, Inc. (2010)
Smith, R.G.: Knowledge-Based Systems. Concepts, techniques, examples. Schlumberger-Doll Research (1985). http://www.reidgsmith.com
Chandrasekaran, B., Johnson, T.R., Smith, J.W.: Task-structure analysis for knowledge modeling. Commun. ACM 35(9), 124–137 (1992)
Author information
Authors and Affiliations
Corresponding authors
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Meitus, V., de Blas, C.S. (2023). Functional Programming of Intelligent Systems. In: Frasson, C., Mylonas, P., Troussas, C. (eds) Augmented Intelligence and Intelligent Tutoring Systems. ITS 2023. Lecture Notes in Computer Science, vol 13891. Springer, Cham. https://doi.org/10.1007/978-3-031-32883-1_36
Download citation
DOI: https://doi.org/10.1007/978-3-031-32883-1_36
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-32882-4
Online ISBN: 978-3-031-32883-1
eBook Packages: Computer ScienceComputer Science (R0)