Interaction of cognitive and reactive agents in an intelligent computing system: operational semantics

   Purpose of research. The aim of this work is to develop an approach to constructing intelligent systems based on a replenished semantic network and a multi-agent environment with agents of various types: cognitive and deductive reactive.

   The architecture of a multi-level intelligent system is proposed and substantiated, which uses cognitive and reactive intelligent agents that differ in composition and number of implemented cognitive and deductive presumptions.

   Methods. Knowledge about the subject area is formalized both using the modal version of the first-order predicate calculus for describing cognitive agents and in terms of classical non-modal versions of predicate calculus and deductive inference mechanisms for reactive agents. The operation of an intelligent system is described by an incompletely defined semantic network represented by a conceptual graph and a system of production rules.

   Results. A functional architecture of an intelligent agent-based system is proposed. At the conceptual level, the architecture of an intelligent agent-based system is proposed to be represented by three sublevels. Cognitive agents
use knowledge and beliefs that follow from epistemic logic systems. Cognitive presumptions of these agents include beliefs, goals, intentions, and desires of agents and are modeled within the framework of BDI logic.

   Conclusion. The conducted study shows the importance of BDI logic for cognitive agents, although it was used insignificantly in solving the task at hand, at the level of the content-conceptual description of the intelligent system. The extended functions of cognitive agents include the execution of input, registration, transmission and comparison of lists of objects and relations between them. The goals for the subsequent interpretation of cognitive agents are defined.

1. Lisanyuk E. N. Cognitive characteristics of agents of argumentation. Vestn. SPbGU. Ser. 6. Vyp. 1. = Bulletin St. Petersburg State University. Series 6. 2013; 1: 13–21 (In Russ.).

2. Lisanyuk E. N., Pavlova A. M. Logical aspects of the diversity of agents. Vestnik UrFU. Seriya: Ekonomika i upravlenie = Bulletin of UrFU. Series: Economics and management. 2016; 11(4): 45-60. (In Russ.).

3. Makarenko S.I., Solovyova O.S. Basic provisions of the concept of semantic interoperability of network-centric systems. Zhurnal radioelektroniki = Journal of Radioelectronics. 2021: (4): 24. (In Russ.). doi: 10.30898/1684-1719.2021.4.10.

4. Makarenko S.I. Directory of scientific terms and notations. St. Petersburg: Naukoemkie tekhnologii Science-intensive technologies; 2019. 254 p. (In Russ.).

5. Systems, Capabilities, Operations, Programs, and Enterprises (SCOPE) Model for Interoperability Assessment. Version 1.0. NCOIC, 2008. 154 p.

6. Bandini S., Petta P., Vizzari G., eds. International Symposium on Agent Based Modeling and Simulation (ABModSim 2006). Volume Cybernetics and Systems 2006, Austrian Society for Cybernetic Studies (2006) 18th European Meeting on Cybernetics and Systems Research (EMCSR 2006).

7. Bandini S., Petta P., Vizzari G., eds. Second International Symposium on Agent Based Modeling and Simulation (ABModSim 2008). Volume Cybernetics and Systems 2008, Austrian Society for Cybernetic Studies (2008) 19th European Meeting on Cybernetics and Systems Research (EMCSR 2008).

8. Pacuit E. Dynamic Epistemic Logic I: Modeling Knowledge and Belief. Philosophy Compass. 2013; 8(9): 798–814.

9. Pacuit E. Dynamic Epistemic Logic II: Logics of Information Change. Philosophy Compass. 2013; 8(9): 815–833.

10. Shoham Y., Leyton-Brown K. Multiagent systems: algorithmic, game-theoretic, and logical foundations. Cambridge University Press; 2008. 532 p.

11. Wooldridge M. J. An Introduction to Multiagent Systems. John Willey & Sons, 2009. 484 p.

12. Teiz A., Gribomon P., Ulen G., et al. Logical approach to artificial intelligence: from modal logic to database logic] / Moscow: Mir; 1998. 494 p. (In Russ.).

13. Teiz A., Gribomon P., Louis J., et al. Logical approach to artificial intelligence: from classical logic to logic programming. Moscow: Mir; 1990. 429 p. (In Russ.).

14. Panteleev M. G. Logical models of intelligent agents. SPbGETU «LETI», 2022, 1-24 pp. Available at: https://vec.etu.ru/moodle/pluginfile.php/303181/mod_resource/content/1/Lection_3/ (accessed 12. 06. 2024).

15. Delugach H. CharGer: A Graphical Conceptual Graph Editor. Available at: https://github.com/delugach/Charger?ysclid=lz8svjwmda912032950/. (accessed 12. 06. 2024).

16. Karamysheva N. S., Zinkin S. A., Mitrohin M. A. Methods and models of intellectualization of computing and cyber-physical systems. Penza: Izd-vo PGU; 2022. 176 p. (In Russ.).

17. Mitrohin M. A., Karamysheva N. S., V Egorov. Yu., Zinkin S. A. Intelligent information processing. Penza: Izd-vo PGU; 2023. 320 p. (In Russ.).

18. Knyazeva M. D., Karamysheva N. S., Grigor'eva D. D. From Algorithm to Program and Artificial Intelligence. With Examples in Python and Prolog; ed. by Zinkin S. A. Penza: Izd-vo PGU; 2024. 412 p. (In Russ.).

19. Zalogova L.A. Formal Description of Logical Inference in Prolog. Vestnik Permskogo universiteta. Matematika. Mekhanika. Informatika. 2014; 4:84–91 pp. (In Russ.).

20. Tyurin S. F., Gorodilov A. Yu. Features of logical inference in Prolog programs. Vestnik Permskogo universiteta. Matematika. Mekhanika. Informatika. 2019; 3: 91-97 (In Russ.). DOI: 10.17072/1993-0550-2019-3-91-97.

21. Karamysheva N. S., Milovanov A. S., Mitrokhin M. A., Zinkin S. A. On the Software Implementation of Cognitive Interoperable Agent-Based Systems. Izvestiya Yugo-Zapadnogo gosudarstvennogo universiteta = Proceedings of the Southwest State University. 2024; 28(1): 100-122 (In Russ.). doi: 10.21869/2223-1560-2024-28-1-100-122.

22. Karamysheva N. S., Alexandrov V. S., Kiryutkin I. A., Zinkin S. A. Cognitive peering infrastructure for the organization teamwork on projects based on agile methodology. Izvestiya Yugo-Zapadnogo gosudarstvennogo universiteta = Proceedings of the Southwest State University. 2024; 28(3): 131-163 (In Russ.). doi: 10.21869/2223-1560-2024-28-3-131-163.