摘要：用形式化规范对Sugarscape进行了详细说明，并使用Z规范语言进行了形式化规范。这证明了形式化规范能够以精确的方式捕捉ABM的定义，以解决ABM领域的复制问题。该研究还提供了对Sugarscape的首个清晰解释，识别了信息缺失和/或模糊的区域，使研究人员能够对该模型的不同实现进行正确的比较。
作者：Joseph Kehoe
论文ID：1505.06012
分类：Multiagent Systems
分类简称：cs.MA
提交时间：2016-11-08
PDF 下载： 英文版 中文版pdf翻译中