[论文解读] Towards A Novel Unified Framework for Developing Formal, Network and Validated Agent-Based Simulation Models of Complex Adaptive Systems

Muaz A. Niazi|arXiv (Cornell University)|Aug 8, 2017

Evolutionary Game Theory and Cooperation参考文献 138被引用 27

一句话总结

本文提出了一套统一的四层次框架，用于开发复杂自适应系统（CAS）的形式化、基于网络的、经验证的代理模型，将多智能体系统与复杂网络理论相结合。通过将建模复杂度与数据可用性和研究目标相匹配，该框架实现了跨不同科学领域的模型比较、沟通与验证。

ABSTRACT

Literature on the modeling and simulation of complex adaptive systems (cas) has primarily advanced vertically in different scientific domains with scientists developing a variety of domain-specific approaches and applications. However, while cas researchers are inher-ently interested in an interdisciplinary comparison of models, to the best of our knowledge, there is currently no single unified framework for facilitating the development, comparison, communication and validation of models across different scientific domains. In this thesis, we propose first steps towards such a unified framework using a combination of agent-based and complex network-based modeling approaches and guidelines formulated in the form of a set of four levels of usage, which allow multidisciplinary researchers to adopt a suitable framework level on the basis of available data types, their research study objectives and expected outcomes, thus allowing them to better plan and conduct their respective re-search case studies.

研究动机与目标

• 解决在不同科学领域中缺乏统一框架来开发、比较和验证复杂自适应系统代理模型的问题。
• 使多学科研究人员能够根据数据可用性和研究目标选择合适的建模层次。
• 将形式化代理建模与复杂网络分析相结合，以增强模型的透明度与可验证性。
• 通过标准化建模层次，促进不同科学社群之间的模型沟通与可复现性。
• 通过在建模流程中嵌入网络结构与形式化规范，支持代理模拟的验证。

提出的方法

• 提出一个四层次框架，每一层次对应更高的模型复杂度与形式化程度，从基本的代理行为到集成的网络结构与形式化规范。
• 以代理建模（ABM）为核心仿真范式，并通过复杂网络表示来扩展以建模交互关系与系统结构。
• 引入形式化规范技术，以确保在框架较高层次上实现模型的透明度、可追溯性与可验证性。
• 应用网络分析指标（例如，度分布、聚类系数、中心性）来验证模拟系统的结构性质。
• 构建框架以允许研究人员根据数据可用性、研究目标与期望的验证深度选择合适的层次。
• 在每一层次嵌入验证程序，包括一致性检查、敏感性分析，以及在数据可用时与实证数据的对比。

实验结果

研究问题

• RQ1 如何设计一个统一框架，以支持在不同科学领域中开发形式化、基于网络的、经验证的代理模型？
• RQ2 哪些关键建模层次能够使研究人员在模型复杂度、数据可用性与验证需求之间实现平衡？
• RQ3 将网络科学与代理建模相结合，能在多大程度上提升模型的透明度与可验证性？
• RQ4 如何将形式化规范技术嵌入代理模型中，以支持跨学科的沟通与可复现性？
• RQ5 哪些标准可指导研究人员根据其数据与研究目标选择合适的建模层次？

主要发现

• 所提出的四层次框架使研究人员能够根据数据可用性与研究目标，系统地调整模型复杂度。
• 将网络结构整合到代理模型中，增强了对系统层面属性（如连通性与鲁棒性）的验证能力。
• 在较高层次上采用形式化规范，显著提升了模型在不同学科间的透明度、可追溯性与可复现性。
• 通过标准化建模层次与验证程序，该框架支持跨学科的模型比较。
• 通过使用网络指标与形式化一致性检查，验证过程得到加强，从而提升了对仿真结果的信心。
• 该框架已在真实世界案例研究中得到应用与验证，证明其在社会系统、生态网络与组织动力学等多样化领域中的实用性。