基于Agent的人工社会建模语言研究

来源：计算机研究与发展杂志2015年第5期北京时间：

作者：唐明圣,毛新军,周会平,

摘要：人工社会(artificialsocieties)、计算实验(computationalexperiments)与平行执行(parallelexecution)简称为ACP方法，是用于帮助突发事件应急管理等复杂社会问题研究的一个经典社会计算方法，人工社会建模是该方法的基础.人工社会作为现实社会系统在计算机世界中的映射，具有多样性、层次性、社会性、演化性等诸多复杂性特点.因此，如何有效地支持人工社会建模成为了一个研究重点.综合考虑了人工社会特点以及突发事件应急管理和ACP方法对人工社会建模的需求，提出了人工社会建模语言(artificialsocietymodelinglanguage,ASML)，详细介绍了ASML的元模型、多视点模型以及图形化建模语言.ASML借鉴了已有多Agent系统技术研究成果并借助于社会组织学思想，便于以抽象、自然且易于理解的方式对人工社会进行分析与建模，其严格语义基础使得模型检查与模型转换成为可能.此外，开发的支撑工具集ASMLTools可用于支持基于ASML的建模、模型检查和模型转换等.通过案例分析使ASML的有效性与可用性得以验证.

关键词：社会计算, 人工社会, 人工社会建模语言, 智能体, 组织抽象,