岛屿模型的统计模型检验：经典的内生增长经济智能体模型
多智能体系统
2026-04-07 v1 计算机科学中的逻辑
摘要
基于智能体的模型（ABM）越来越多地用于研究复杂经济现象，如内生增长，但其分析通常依赖临时的蒙特卡洛练习而缺乏正式的统计保证。我们展示了统计模型检验（SMC），特别是 Multi-VeStA，如何自动化并丰富对一个经典 ABM——Fagiolo 和 Dosi 的岛屿模型——的分析，该模型捕捉了技术搜索中的探索-利用权衡。我们以形式化置信区间重现了原始模型的关键典型事实，确认了中等探索率的最优性，并在规模报酬、技能转移和知识局部性上进行了反事实敏感性分析。使用 Multi-VeStA 内置的 Welch t 检验，7个成对参数比较中有6个产生了统计上不同的增长轨迹，而例外情况揭示了知识局部性中的饱和效应。我们的结果表明，SMC 为基于智能体的经济模型的定量分析提供了一种原则性的、可重复的方法论。
引用
@article{arxiv.2604.04543,
title = {Statistical Model Checking of the Island Model: An Established Economic Agent-Based Model of Endogenous Growth},
author = {Stefano Blando and Giorgio Fagiolo and Daniele Giachini and Andrea Vandin and Ernest Ivanaj},
journal= {arXiv preprint arXiv:2604.04543},
year = {2026}
}
备注
In Proceedings MARS 2026, arXiv:2604.03053