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

廖备水,约翰-朱尔斯·迈尔,罗捷婷
DOI: https://doi.org/10.3969/j.issn.1674-3202.2021.03.004
2021-01-01
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 unde-sired 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.
What problem does this paper attempt to address?