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

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

作　　者：罗捷婷 廖备水[1] 约翰-朱尔斯·迈尔 Jieting Luo;Beishui Liao;John-Jules Meyer(Department of Philosophy,Zhejiang University;Department of Information and Computing Sciences,Utrecht University)

机构地区：[1]浙江大学哲学系 [2]乌特勒支大学信息与计算科学系

出　　处：《逻辑学研究》2021年第3期53-69,共17页Studies in Logic

基　　金：financial support from the China Postdoctoral Science Fund (General Program) (505000-X92001);the Major Program of National Social Science Foundation of China (20&ZD047)

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

关 键 词：多主体系统 参与主体 动态性 验证信息 解决困难 内部控制过程 计算复杂度 推理 

分 类 号：B81-0[哲学宗教—逻辑学]