ISSN 1000-1239 CN 11-1777/TP

计算机研究与发展 ›› 2015, Vol. 52 ›› Issue (5): 1036-1049.doi: 10.7544/issn1000-1239.2015.20131564

• 软件技术 • 上一篇    下一篇

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

唐明圣,毛新军,周会平   

  1. (国防科学技术大学计算机学院 长沙 410073) (tms110145@gmail.com)
  • 出版日期: 2015-05-01
  • 基金资助: 
    基金项目:国家自然科学基金项目(61379051,61133001);教育部新世纪优秀人才支持计划基金项目(NCET-10-0898);软件开发环境国家重点实验室开放基金项目(SKLSDE-2012KF-0X)

Agent-Based Artificial Society Modeling Language

Tang Mingsheng, Mao Xinjun, Zhou Huiping   

  1. (College of Computer, National University of Defense Technology, Changsha 410073)
  • Online: 2015-05-01

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

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

Abstract: ACP(artificial societies, computational experiments, and parallel execution) is a classic social computing approach to research on complex social issues like emergency management, and artificial society modeling is the foundation of this approach.Artificial societies are the mappings of real social systems in the computer world, with the characteristics of complexity, multiplicity, multilevel, sociality, and so forth.Hence, how to support artificial societies modeling becomes an important research topic.Synthetically considering the characteristics of artificial societies and the artificial society modeling requirements of emergency management and ACP approach, an artificial society modeling language (ASML) is proposed, and its meta-model, multiple-viewpoint models and graphic modeling language are also detailed.ASML is based on the technology of multi-agent systems and inspired from the social organization theory, which facilitates analyzing and modeling artificial society in a high-level abstraction, natural and easy-to-understand way.The rigorous semantics foundation of ASML makes model checking and model transforming possible.In addition, the developed supporting software toolkits ASMLTools support artificial society modeling with ASML, ASML model checking and model transforming, etc.Through a case study its effectiveness and usability are demonstrated.

Key words: social computing, artificial society, artificial society modeling language (ASML), agent, organization abstraction

中图分类号: