Reasoning about the Dynamics of Self-organizing Multi-agent Systems

Studies in Logic, Vol. 14, No. 3 (2021): 53–69  PII: 1674-3202(2021)-03-0053-17

Jieting Luo   Beishui Liao   John-Jules Meyer

Abstract.

Self-organization has been introduced to multi-agent systems as an internal control process or mechanism to solve difficult problems spontaneously. When the system is deployed in an open environment, the change of participating agents might bring the system to an undesired state. Therefore, it is important to know what properties remain true and what properties become false when we change the participating agents in the system. As it is computationally expensive to verify a self-organizing multi-agent system, we need to think about how we can properly use the verification result that we get from the original system to better verify the new system. In this paper, we propose a framework to reason about the dynamics of self-organizing multi-agent systems under the change of participating agents.