[论文解读] A mathematical formalism for agent-based modeling

Reinhard Laubenbacher, Abdul Salam Jarrah+2 more|arXiv (Cornell University)|Dec 31, 2007

Cellular Automata and Applications参考文献 75被引用 26

一句话总结

本文提出有限动力系统（FDS）作为基于代理的建模的严格数学框架，通过在有限状态空间上的确定性和随机更新规则，实现对多代理系统的形式化分析。主要贡献在于确立FDS作为计算的通用模型，并构建了系统间变换的范畴论框架，通过局部结构映射保持全局动力学特性。

ABSTRACT

Many complex systems can be modeled as multiagent systems in which the constituent entities (agents) interact with each other. The global dynamics of such a system is determined by the nature of the local interactions among the agents. Since it is difficult to formally analyze complex multiagent systems, they are often studied through computer simulations. While computer simulations can be very useful, results obtained through simulations do not formally validate the observed behavior. Thus, there is a need for a mathematical framework which one can use to represent multiagent systems and formally establish their properties. This work contains a brief exposition of some known mathematical frameworks that can model multiagent systems. The focus is on one such framework, namely that of finite dynamical systems. Both, deterministic and stochastic versions of this framework are discussed. The paper contains a sampling of the mathematical results from the literature to show how finite dynamical systems can be used to carry out a rigorous study of the properties of multiagent systems and it is shown how the framework can also serve as a universal model for computation.

研究动机与目标

• 为解决基于代理的模拟缺乏正式数学工具进行验证与分析的问题，这些模拟通常被视为黑箱计算机程序。
• 开发一个数学上严谨的框架，捕捉多代理系统的核心特征，同时支持其动力学的正式研究。
• 证明有限动力系统可作为计算的通用模型，弥合基于代理的模拟与理论计算机科学之间的鸿沟。
• 建立代理模型之间变换的范畴结构，确保局部结构映射能保持全局动态行为。

提出的方法

• 将基于代理的模拟建模为有限动力系统（FDS），其中每个代理具有有限状态集，并通过局部更新函数演化。
• 定义FDS的确定性和随机版本，状态转移由依赖图上局部函数的复合决定。
• 使用顺序和并行更新调度，以模拟代理交互中不同的时间交互顺序。
• 将全局动力学表示为乘积状态空间上的函数，通过相空间分析研究长期行为。
• 通过图映射、局部函数映射和保序更新调度映射，引入FDS之间的变换。
• 应用范畴论形式化变换，证明一致的局部映射可诱导出一致的全局动态变换。

实验结果

研究问题

• RQ1 有限动力系统能否为基于代理的模拟提供正式的数学基础，以支持严谨分析？
• RQ2 如何定义基于代理模型之间的变换，以确保全局动力学被保留？
• RQ3 有限动力系统在多大程度上能模拟通用计算，例如图灵机？
• RQ4 FDS的哪些结构性质能确保从简单局部规则中涌现出复杂的全局动力学？
• RQ5 FDS的范畴结构在多代理系统中如何支持模型比较、验证与抽象？

主要发现

• 在明确定义的变换下，有限动力系统构成一个范畴，变换的复合保持结构与动力学的一致性。
• 两个FDS之间的变换在它们的相空间之间诱导出一个明确定义的映射，确保在兼容的局部映射下全局动力学被保留。
• 每个FDS在范畴意义下可唯一分解为不可约FDS的直积，从而支持结构分析。
• 顺序动力系统（SDS）能够模拟任意图灵机，证明其作为计算模型的通用性。
• 该框架支持对基于代理模型中可达性与长期行为的形式化分析，克服了纯模拟验证的局限性。
• 数学形式化使得通过变换理论实现不同基于代理模拟的比较与嵌入成为可能，支持模型抽象与验证。