Cybernetics And Systems Analysis logo
Editorial Board Announcements Abstracts Authors Archive
Cybernetics And Systems Analysis
International Theoretical Science Journal
-->

UDC 621.513.8
V.Yu. Meitus1


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

  1. Meitus V.Yu. Problems of building intelligent systems. Intelligence levels. Kibernetika i sistemnyj analiz. 2018. Vol. 54, N 4. P. 32–44.

  2. Meitus V.Yu. Problems of building intelligent systems. Knowledge representation. Kibernetika i sistemnyj analiz. 2019, Vol. 55, N 4. P. 3–14.

  3. Andon Ph.I., Yashunin A.E., Reznichenko V.A. Logical models of intelligent information systems [in Russian]. Kiev: Naukova Dumka, 1999. 396 p.

  4. Meitus V.Yu. Introduction to the theory of intelligent systems. Basic views [in Russian]. Saarbrücken: Palmarium academic publishing, 2015. 189 p.

  5. Letichevsky A. Theory of interaction, insertion modeling, and cognitive architectures. Biologically Inspired Cognitive Architectures. 2014. Vol. 8. P. 19–32.

  6. Stepashko V.S. Conceptual foundations of intelligent modeling. USiM. 2016. N 4. P. 3–15.

  7. Halmos P.R. Nikolay Bourbaki. Mathematical education (mathematics, its teaching, applications and history). 1960. N5. P. 229–239.

  8. Hadamard J. Investigation of the psychology of the process of invention in the field of mathematics [Russian translation]. Moscow: Sov. radio, 1970. 152 p.

  9. Rutten J.J.M.M. Universal coalgebra: А theory of systems. Theoretical Computer Science. 2000. Vol. 249. Р. 3–80.

  10. Hartonas C. An algebraic theory of structured objects. Notre Dame Journal of Formal Logic. 1977. Vol. 38, N 1. P. 65–80.

  11. Milner R. A calculus of communicating systems. Lecture Notes in Computer Science. 1980. Vol. 92. 171 p.

  12. Kon P. Universal algebra [Russian translation]. Moscow: Mir, 1968. 351 p.

  13. Goguen J.A. A categorical manifesto. Mathematical Structures in Computer Science. 1991. N 1(1). P. 49–67

  14. Barr M., Wells C. Category theory for computing science. Prentice-Hall; Englewood Cliffs; New Jersey, 1990. 538 p.

  15. Goldblatt R. Toposi. Category analysis of logic [Russian translation]. Moscow: Mir, 1983. 488 p.

  16. Telemann K. Elements of topology and differentiable manifolds [Russian translation]. Moscow: Mir, 1967. 390 p.

  17. Bishop R.L., Crittenden R. Geometry of manifolds [Russian translation]. Moscow: Mir, 1967. 335 p.

  18. Haykin S. Neural networks: a complete course [Russian translation]. Moscow: Williams, 2006. 1104 p.

  19. Siddique N., Adeli H. Computational intelligence: Synergies of fuzzy logic, neural networks, and evolutionary computing. A John Wiley & Sons, Ltd., Publication, 2013. 517 p.

  20. Glybovets M.M., Gulaeva N.M. Evolutionary algorithms: a textbook [in Ukrainian]. Kyiv: NaUKMA, 2013. 828 p.

  21. Maltsev A.I. Algorithms and recursive functions[in Russian]. Moscow: Nauka, 1965. 392 p.

  22. Laurier J.-L. Artificial intelligence systems [Russian translation]. Moscow: Mir, 1991. 568 p.

  23. 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.

  24. Kochetkov Yu.Yu. Computable functions. URL: http://kirill-andreyev.narod2.ru/olderfiles/ /1/Kochetkov.pdf].

  25. Kolmogorov A.N., Uspensky V.A. On the definition of an algorithm. Uspekhi matematicheskikh nauk. 1958. Vol. 13, N 4. P. 3–28.

  26. Hofstadter D.R. Godel, Escher, Bach: this endless garland [Russian translation]. Samara: "Bahrak-M", 2001. 752 p.

  27. 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.

  28. 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.

  29. Maltsev A.I. Algebraic systems [in Russian]. Moscow: Nauka, 1970. 392 p.

  30. Ivin A.A. The logic of estimates and burrows. Philosophical, methodological and applied aspects [in Russian]. Moscow: Prospect, 2016. 320 p.

  31. Zade L. The concept of a linguistic variable and its application to making approximate decisions [Russian translation]. Moscow: Mir, 1976. 165 p.

  32. Leonenkov A.V. Fuzzy modeling in MATLAB and fuzzyTECH [in Russian]. SPb: BHV-Petersburg, 2005. 736 p.

  33. Reiter R. A logic for default reasoning. Artificial Intelligence. 1980. Vol.13, N 1–2. P. 81–132.

  34. Antoniou G. A tutorial on default logics. ACM Computing Surveys. 1999. Vol. 31, N 3. P. 337–359.




© 2021 Kibernetika.org. All rights reserved.