作　　者： ; ; ; ;

机构地区： 北京理工大学自动控制系

出　　处： 《北京理工大学学报》 2006年第2期130-134,共5页

摘　　要： 在参考多智体系统的基础上,根据大系统控制论的分解协调思想,提出一种软件人群体体系结构,并对其关键技术如本体库、知识库、任务库、通信协议、角色模型、交互模型等进行了描述.描述了对该系统从分析到设计的整个构建过程,并采用π演算形式化方法对整个系统的信息流和控制流,以及任务之间的4种协作方式进行了建模.对于不同的应用领域,通过定义相应领域的本体库和所需的角色以及任务分解,即可快速构建相应的应用系统,为分布式系统提供了一种解决方案. Based on the ideas of decomposition and coordination of large systems cybernetics, a kind of architecture for SoftMan group is put forward on the basis of reference to many multi-agent systems （MAS）. Key technologies such as ontology database, knowledge base, task library, communication protocols, role models and interaction models are discussed. Details from analysis to design are described, and information flow and control flow for the architecture are given by pi-calculus. Four kinds of cooperation modes of task are formally described by pi-calculus. To different application domains, corresponding application systems can be built up quickly by defining corresponding ontology database, roles and task decompositions. It provides a solution to distributed systems.

关 键 词： 软件人 多智体系统 演算 形式化建模 分布式人工智能

领　　域： [自动化与计算机技术] [自动化与计算机技术]