基于π演算的一种Agent组织模型

Agent组织是多Agent系统研究的重要方面。从直观含义出发，将组织看做Agent之间的控制关系，以π演算为工具，给出了组织角色的定义和根据组织框架构建具体组织的过程。角色和组织框架都用进程表示，确定了Agent加入和脱离组织的严格描述，相比Ferber等以π演算和化学自动机定义组织形成过程的形式语义的工作，本文显式定义了角色和组织框架，所讨论的组织更具一般性。     

MAS交互协议的形式化描述和验证

在MAS的分析与设计中,Agent间的交互协议设计是极其重要的内容.特别是交互协议的正确性、有效性和可验证性尤为关键,因此形式化描述和验证多Agent的交互协议非常有必要.定义了用于描述多Agent基于对话的交互协议的一个演算,该演算是基于进程代数的并且独立于Agent的推理过程.该机制可以实现异构多Agent系统的交互协议验证.通过Agent会话环境的状态和演算的形式语义,可以验证会话协议的一些属性,例如:终止性、是否死锁等.该方法可以有效地解决交互协议的语义验证问题,因为协议的状态和Agent的行为由协议本身定义,并且可以避免基于状态搜索的状态空间爆炸问题.     

一种基于UML的本体论建模方法

IFVO是一种基于Agent的虚拟组织集成框架。它采用本体论的方式来描述Agent之间协作所遵循的词汇集。该文采用UML作为IFVO本体论的建模语言，在利用IFVO进行企业建模的过程中，可先利用UML建立本体论模型，然后将其映射成IFVO的本体论标记语言OML。     

Agent组织结构设计的一种形式语义

Agent组织是多Agent系统研究的重要方面,在不同的Agent组织形成方法中常采用显式的组织形成方法.基于(演算和化学抽象机给出了组织结构设计过程的一种形式语义.把参与组织结构设计的有关Agent都作为化学抽象机中的化学分子,而化学抽象机的运行过程即是组织结构的设计过程.这种语义给出方式准确、直观,使组织结构设计系统易于实现,改进了Ferber和Xu关于Agent组织的操作语义和组织结构设计的工作.     

基于请求／服务协作模型的多Agent建模方法

为了实现多Agent环境中主体之间的交互特性,在情景演算理论框架下研究了多Agent的通信动作,基于情景演算理论和Golog语言,介绍了ConGolog的语法和语义,并对Con Golog进行扩展。增加了并发处理,优先级的并发以及中断处理。在此基础上,提出一种基于请求,服务协作的多Agent模型,从而实现多Agent程序的并发交互执行。最后,通过对送咖啡例子的仿真,证明上述方法在实现虚拟场景中的多Agent协作行为方面是正确有效的。     

社会Agent的BDO模型

目前MAS中思维状态的研究趋势是在个体模型中加入社会思维属性,研究社会承诺、依赖、联合意图的推理关系。在BDI模型中,以意图为中心的观点不描述社会Agent。该文分析了以竭力为中心的Agent思维状态研究存在的问题,提出MAS的分层模型,并提出以信念、愿望和义务作为基本思维属性（简称BDO）来描述Agent的思维状态和社会属性,给出了BDO逻辑和语义模型,考虑了奖励、惩罚、承诺和承诺解除问题,并对队、组织、组织意图等现象给出了描述。该文力图更自然地描述社会性Agent的思维状态和群体概念,是对Rao和Georgeff提出的BDI模型的改进。最后通过一个例子说明了BDO的表达能力。进一步的工作包括建立更为完善的语义模型、结合各个思维属性的动态修正语义给出BDO Agent的动态模型以及给出基于BDO逻辑框架的Agent／MAS实现结构。     

Agent逻辑和真假子集语义

理性Agent规约的形式框架通常基于信念、愿望和意图逻辑.为了克服现有的信念、愿望和意图逻辑中存在的问题,为非正规模态算子提供一种合适的语义表示.讨论了理性Agent性态的抽象规约中对语义表示的要求以及现有的信念、愿望和意图逻辑中存在的问题.介绍了作者开发的真假子集语义及其在Agent形式化中的应用.他们的框架使意图的有问题的性质无效.并且证明通过对模型的代数结构施加一定的约束,能获得许多希望的性质.最后对真假子集语义进行了分析.这一切表明真假子集语义为非正规模态算子提供了一种合适的语义表示,是对经典的正规模态算子可能世界语义的一个重要发展,是理性Agent性态的逻辑规约的有力工具,可应用于建立新的合适的Agent逻辑系统.     

基于时序活动逻辑的复杂系统多Agent动态协作模型

动态复杂问题求解是人工智能和复杂自适应系统理论与应用重要研究领域,多Agent动态协作是研究热点和难点之一,如何将问题与任务切分有待进一步地研究.借鉴组织学思想将自适应系统中的自主运行单元抽象为Agent,把复杂自适应系统视为多Agent系统组织,从时间和状态角度对复杂动态系统的行为进行描述,提出了基于时序活动逻辑的多Agent系统动态协作任务求解自适应机制和构造模型,建立了用于协作推理的语义规则、授权规则和行为规则,通过在中国科学院智能信息处理重点实验室开发的MAGE等平台上多方实验和仿真测试,验证了方法的可行性和有效性.     

自治型网络信息服务的建模

自治服务是网络信息服务的新的需求，它使人机交互变得更加智能．为此提出了基于情景演算的自治型网络信息服务的建模方法．在标准的情景演算基础上，增加了对有效性约束常识的描述，建立了情景演算的分层知识库表示，将抽象的数学描述转化为较直观的描述模型；还设计了一种基于XML的情景演算建模语言ScML，以结构化文本脚本的形式描述了实际的应用需求并利用XML Schema实现了ScML的语法约束，利用XMLXSL卖现了从ScML脚本到Java代码的生成；最后给出日程管理服务的例子．     

基于多Agent制造过程的建模方法

分析了制造系统与制造过程之间的关系;论证了从过程的角度对制造进行建模更恰当;结合Agent和π演算的特点,给出Agent制造系统描述模型及基于π演算的单个Agent的BDI模型,并指出Agent和π演算结舍的制造过程模型有利于进行优化目标在不同制造过程层次的分解,不论从方法的角度还是实现的角度,都适合复杂系统建模。Agent和π演算相结合可以有效分析并解决离散事件的建模与仿真中的问题。     

基于Web服务面向虚拟企业的柔性工作流管理技术研究

虚拟企业中盟员和其提供的服务是动态变化的．文中提出将工作流过程模型描述的活动规范中包含一个或多个Web服务请求，通过引入Web服务和Web服务请求的定义和约束，在活动实例的执行过程中实现Web服务请求与最佳Web服务提供企业动态的服务绑定和调用，由于虚拟企业内部的变化不会影响到各盟员业务过程的正常运行，因此具有较高的柔性和自适应性．     

Supporting virtual enterprise systems using agent coordination

Open environments like the Internet or corporate intranets enable a large number of interested enterprises to access, filter, process and present information on an as-needed basis. These environments support modern applications, such as virtual enterprises and interorganisational workflow management systems, which involve a number of heterogeneous resources, services and processes. However, any execution of a virtual enterprise system would yield to disjoining and error-prone behaviour without appropriate techniques to coordinate the various business processes. This paper reports on the design and implementation of a flexible agent-based framework for supporting the coordination of virtual enterprises and workflow management systems. The paper also shows how an agent coordination infrastructure, which is explained by social constraints, can impact on the engineering of highly dynamic virtual enterprises and workflow management systems by presenting a simple case study.     

动态联盟中工作流柔性的研究

在分析了企业动态联盟对工作流柔性的需求基础上，提出了基于活动分解的工作流模型。该模型采用了活动分解与分层递阶方法，使每一工作流系统的问题复杂度得到降低，并增强了系统的重构能力。在此基础上，建立了柔性工作流的系统框架。该框架有效实现了动态联盟工作流系统的重构、软件重用和规模扩充。     

集成化企业建模系统体系结构与实施方法研究

提出一种集成化的企业建模方法,给出了建模框架体系和基于工作流的过程视图建模方法,并设计了基于ＣＯＲＢＡ软件总线的集成化企业建模与仿真优化系统,将企业建模的生命周期加以扩展,提出４阶段生命周期的建模方法,并以工作流模型作为企业模型的核心,提出了实现企业模型到实施系统转化的两种可行方法。     

基于Web服务的多代理协同平台

讨论了基于Web服务的多代理协同平台，可以较好地解决异构CSCW系统之间的组织、调度及通信问题，为虚拟企业环境下的协同技术提供支持。给出了面向Web服务工作流技术和KQML协议的协同平台的实现策略。     

工作流技术在虚拟企业订单分解上的应用

虚拟企业被认为是在21世纪的竞争、合作、动态环境中最具竞争力的企业运作方式。而选择适当的合作伙伴,对成功地组建虚拟企业具有重要的意义。订单分解在进行合适的伙伴选择中起着重要的作用。但是如何正确地分解订单是一个复杂的问题。该文对将工作流技术应用于订单分解问题的可行性与有效性方面进行分析的基础上,提出了基于工作流的订单分解方法。在这个方法中,订单和组成订单的每个子任务被表示为过程和过程中的活动这样的层次结构。活动之间的关系使用过程建模技术来描述。与此同时,每个活动都具有一定的属性,如时间、质量、成本与服务。使用每个活动的性能,可以获得整个过程(即订单)的性能。也就是说,通过保证每个活动(子任务)的性能,就可以保证订单过程的性能。另外,它也为伙伴选择过程中与其他企业在这些性能指标上的协商提供了方法论。最后,使用一个实例验证了如何使用该方法,并验证了方法的有效性。     

虚拟企业环境下过程融合机制、模型及过程管理模式

提出虚拟企业产品设计过程融合的思想以及面向虚拟企业的设计过程融合与设计活动集成体系结构,该体系结构在任务分解与资源匹配、过程融合、设计任务执行以及对象与版本管理四个层次上捕捉设计过程中内在的动态特性。基于设计过程动态建模描述虚拟企业环境下过程融合设计流模型,支持虚拟企业环境下敏捷设计流管理,统一组织和管理设计过程、活动及其资源,实现虚拟企业环境下产品设计过程分析、优化与动态重构。     

工作流系统的组织模型管理及动态维护

在工作流系统中,组织模型提供活动执行者和企业的相关信息,具有重要的作用.而企业的组织结构、组织中的资源等在不断变化着,这就需要在工作流系统运行时,对组织模型进行持续的改进.就运行时组织模型维护的相关问题,提出了相应的解决方法,以实现组织模型的动态更新.最后给出一个包括组织建模、验证、资源分配以及组织模型的动态更新等功能的组织管理框架.     

企业组织模型结构和建模方法研究

组织建模对于企业实施先进制造战略具有重要意义。文章在研究分析了多种组织结构形式的基础上,应用工作流和过程建模等概念和方法,定义了一种新型的企业组织模型结构,通过引入新型建模元素,可以更为全面地描述企业组织静、动态层次结构,并可以表现业务过程到组织的映射。基于该结构,采用面向对象和构件化方法,提出了一种柔性的、数据表达一致并且可以有力地支持过程模型的动态执行的组织建模方法,并开发了相应的软件工具。