Model for Verification of Intelligence of Multiagent Systems

Oleksandr Martynyuk, Oleksandr Drozd, Anatoliy Sachenko, Kostiantyn Zashcholkin, Igor Mileiko
2022 International Workshop on Intelligent Information Technologies & Systems of Information Security  
Modern distributed information systems are characterized by the integration of the properties of advanced network technologies, including Web services, Clouds, "Green" and other technologies. In most of them, the intelligence, inherent in multi-agent systems, is becoming more and more important. Intelligence, as a set of properties of knowledge and mechanisms of their formation, is characterized by special solutions. This specialization is reflected in all tasks of systems synthesis and
more » ... , in particular, tasks of their verification and testing. The model for verifying the intelligence of multi-agent systems has been further developed in this paper. The model based on behavioral automata experiments and extended Petri nets. The features of the proposed verification model are the hierarchy of goals, the composite knowledge model and inference mechanism, the identification of behavioral properties. Functional specifications of behavioral models of multi-agent systems with properties and mechanisms of intelligence define sets and relationships for atomic events and actions, which represent static properties and mechanisms of multi-agent systems, in positions and transitions of Petri nets. The specifications also define sets and relationships of tokens, which are moved in positions and transitions and represent the dynamic properties and mechanisms of multi-agent systems. The model makes it possible to determine the necessary conditions for special methods of verification and testing of intelligence, as properties of distributed information systems, and to reduce their computational complexity. The overall computational complexity of the k-decomposition for models of verification of intelligence on base of hierarchical Petri nets is reduced exponentially by a factor of k, and the experimental verification, which was held for real MAC, confirm this decrease.
dblp:conf/intelitsis/MartynyukDSZM22 fatcat:jqu7gyhinrfrhcnuyy4cicbueu