UDC 621.513.8
1 International Scientific-Educational Center of Information Technologies and Systems, National Academy of Sciences of Ukraine and Ministry of Education and Science of Ukraine, Kyiv, Ukraine
vmeitus@gmail.com
|
|
PROBLEMS OF CONSTRUCTION OF INTELLIGENT SYSTEMS.
INTELLIGENT SIMULATION
Abstract. The author analyzes in detail the process of intelligent simulation of subject areas.
This process arises as a component of the actions of an intelligent subject associated with solving problems in this area.
A subject domain model is built as a set of knowledge about the individual components of this domain.
The description of knowledge of each component includes a logical and ontological representation,
signs of this component, and its relationship with other elements. It is shown that a suitable mathematical framework
can be used to describe the domain as an abstract representation. A number of such structures and various variants of logic are considered.
Keywords: intelligence, intelligent simulation, logic, knowledge, mathematical structures, knowledge representation, modeling algorithm, ontology.
FULL TEXT
REFERENCES
- Meitus V.Yu. Problems of building intelligent systems. Intelligence levels. Kibernetika i sistemnyj analiz. 2018. Vol. 54, N 4. P. 32–44.
- Meitus V.Yu. Problems of building intelligent systems. Knowledge representation. Kibernetika i sistemnyj analiz. 2019, Vol. 55, N 4. P. 3–14.
- Andon Ph.I., Yashunin A.E., Reznichenko V.A. Logical models of intelligent information systems [in Russian]. Kiev: Naukova Dumka, 1999. 396 p.
- Meitus V.Yu. Introduction to the theory of intelligent systems. Basic views [in Russian]. Saarbrücken: Palmarium academic publishing, 2015. 189 p.
- Letichevsky A. Theory of interaction, insertion modeling, and cognitive architectures. Biologically Inspired Cognitive Architectures. 2014. Vol. 8. P. 19–32.
- Stepashko V.S. Conceptual foundations of intelligent modeling. USiM. 2016. N 4. P. 3–15.
- Halmos P.R. Nikolay Bourbaki. Mathematical education (mathematics, its teaching, applications and history). 1960. N5. P. 229–239.
- Hadamard J. Investigation of the psychology of the process of invention in the field of mathematics [Russian translation]. Moscow: Sov. radio, 1970. 152 p.
- Rutten J.J.M.M. Universal coalgebra: А theory of systems. Theoretical Computer Science. 2000. Vol. 249. Р. 3–80.
- Hartonas C. An algebraic theory of structured objects. Notre Dame Journal of Formal Logic. 1977. Vol. 38, N 1. P. 65–80.
- Milner R. A calculus of communicating systems. Lecture Notes in Computer Science. 1980. Vol. 92. 171 p.
- Kon P. Universal algebra [Russian translation]. Moscow: Mir, 1968. 351 p.
- Goguen J.A. A categorical manifesto. Mathematical Structures in Computer Science. 1991. N 1(1). P. 49–67
- Barr M., Wells C. Category theory for computing science. Prentice-Hall; Englewood Cliffs; New Jersey, 1990. 538 p.
- Goldblatt R. Toposi. Category analysis of logic [Russian translation]. Moscow: Mir, 1983. 488 p.
- Telemann K. Elements of topology and differentiable manifolds [Russian translation]. Moscow: Mir, 1967. 390 p.
- Bishop R.L., Crittenden R. Geometry of manifolds [Russian translation]. Moscow: Mir, 1967. 335 p.
- Haykin S. Neural networks: a complete course [Russian translation]. Moscow: Williams, 2006. 1104 p.
- Siddique N., Adeli H. Computational intelligence: Synergies of fuzzy logic, neural networks, and evolutionary computing. A John Wiley & Sons, Ltd., Publication, 2013. 517 p.
- Glybovets M.M., Gulaeva N.M. Evolutionary algorithms: a textbook [in Ukrainian]. Kyiv: NaUKMA, 2013. 828 p.
- Maltsev A.I. Algorithms and recursive functions[in Russian]. Moscow: Nauka, 1965. 392 p.
- Laurier J.-L. Artificial intelligence systems [Russian translation]. Moscow: Mir, 1991. 568 p.
- Bezdek J.C. What is сomputational intelligence? Computational Intelligence Imitating Life. J. Zurada, B. Marks and C. Robinson (Еds.). IEEE Press, Piscataway, 1994. P.1–12.
- Kochetkov Yu.Yu. Computable functions. URL: http://kirill-andreyev.narod2.ru/olderfiles/ /1/Kochetkov.pdf].
- Kolmogorov A.N., Uspensky V.A. On the definition of an algorithm. Uspekhi matematicheskikh nauk. 1958. Vol. 13, N 4. P. 3–28.
- Hofstadter D.R. Godel, Escher, Bach: this endless garland [Russian translation]. Samara: "Bahrak-M", 2001. 752 p.
- Tejz A., Louis J., Snyers D., Vodon P., Gaucher P., Gregoire E., Sánchez E., Delsarte F. A logical approach to artificial intelligence: from classical logic to logical programming [Russian translation]. Moscow: Mir, 1990. 432 p.
- Tejz A., Gribomon P., Julen G., Pirot A., Roland D., Snayers D., Voeckler M., Gaucher P., Volper P., Gregoire E., Delsarte F. The logical approach to artificial intelligence: from modal logic to database logic [Russian translation]. Moscow: Mir, 1998. 494 p.
- Maltsev A.I. Algebraic systems [in Russian]. Moscow: Nauka, 1970. 392 p.
- Ivin A.A. The logic of estimates and burrows. Philosophical, methodological and applied aspects [in Russian]. Moscow: Prospect, 2016. 320 p.
- Zade L. The concept of a linguistic variable and its application to making approximate decisions [Russian translation]. Moscow: Mir, 1976. 165 p.
- Leonenkov A.V. Fuzzy modeling in MATLAB and fuzzyTECH [in Russian]. SPb: BHV-Petersburg, 2005. 736 p.
- Reiter R. A logic for default reasoning. Artificial Intelligence. 1980. Vol.13, N 1–2. P. 81–132.
- Antoniou G. A tutorial on default logics. ACM Computing Surveys. 1999. Vol. 31, N 3. P. 337–359.