自组织多主体系统动态性的推理研究

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

自组织作为一种自发解决困难问题的内部控制过程已被应用在多主体系统中。当这类系统部署在开放环境中,参与主体的改变有可能导致系统走向不理想的状态。因此,知道改变参与主体后系统哪些特性保持不变哪些特性发生变化相当重要。由于验证自组织多主体系统的计算复杂度很高,因此需要思考如何正确使用原系统的验证信息以提高验证新系统的效率。本文提出一个理论框架,用于推理自组织多主体系统由于改变参与主体而带来的动态性。

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.