一种基于3APL多agent合作系统.docVIP

一种基于3APL的多agent合作系统 　　摘要：提出了一种新的基于3APL的多agent合作系统。引入合作规划表达式给出基于扩展巴克斯范式(EBNF)个体agent的3APL语法。利用推理规则、结构结合变换规则等概念提出新的多agent合作操作语义。并深入研究多agent合作慎思循环过程，通过例子说明了多agent间如何合作产生和修正规划的过程。 　　关键词：3APL；合作；变换规则；合作慎思循环 　　中图分类号：TP18文献标志码：A 　　文章编号：1001－3695(2008)03－0779－03 　　 　　面向agent的理论与技术研究是人工智能、软件工程、并行与分布计算、Internet技术、机器人技术等众多研究领域的重要研究内容。面向agent程序设计(AOP)是agent理论与技术研究内容之一[1]。最早提出面向agent程序设计概念的是Shoham[2]。到目前为止，人们已经提出了多种面向agent程序设计语言。根据语言实现技术的差异主要分为三类[3]：a）基于LISP技术，如agent－0、agentK等；b）基于逻辑技术，如CONGOLOG、AOPLID、3APL；c）基于对象技术，如JAL等。这些语言大多存在缺乏对合作问题求解的具体考虑和难以实现等问题。由于多agent系统是分布式人工智能的重要研究方向之一，其主要研究目标是协调和组织多个agent完成一个共同的目标。本文基于3APL提出一种新的多agent合作系统。 　　3APL是一个结合了命令式程序设计语言思想和逻辑程序设计思想的面向agent程序设计语言。其平台[4]由Java实现。它继承了传统命令式程序设计的许多结构和机制，将agent视为由信念和目标两个认知部件构成的智能计算实体。信念描述了agent对所处的外部世界的认识和理解，目标则反映了agent期望实现的某种状态。Agent对信念库的查询借鉴了逻辑程序设计的思想，将它视为一个证明的过程。Hindriks等人[5]利用实用推理规则(practical reasoning rule)来动态地管理和修正agent规划和目标，从而使得agent能够表现出一定的理性思考能力。3APL通过变换系统(transition system)方式定义其操作语义。另一种面向agent程序设计语言的代表作是郭磊等人[1]基于开放式情景演算OSC(open situation calculus)提出的一种意向驱动式面向agent程序设计语言AOPLID。虽然3APL[5,6]与AOPLID都有各自的特点和适应性，但都缺乏对多agent合作机制的刻画。本文基于3APL提出一种新的多agent合作系统，并提出由变换系统定义的多agent合作操作语义。深入研究并刻画了多agent合作慎思循环过程，通过实例说明了其合作求解过程，拓展了Hindriks等人的工作。 　　 　　1语法 　　 　　假设L是逻辑联结词为┐、∧的一阶语言。?当硎韭呒?蕴涵，┬表示重言式，┴表示矛盾式。信念语言LB，目标语言LG，规划语言LP，有LB,LG,LP??L。 　　 　　交互推理规则用于产生实现目标的规划。规划推理规则类似于目标推理规则，用于修正和放弃规划。 　　定义4Agent是一个五元组〈σ,γ,R,τ,ξ〉。其中：信念σ∈LB；目标γ∈LG；agent规则集R=2GR×2IR×2PR；动作信念更新函数τ:BasicActions×LB→LB，表示agent执行某一基本动作而对原有信念产生的影响；ξ为与其他agent共享的环境。有〈σ,γ,R,τ,ξ〉??B β?讦椰郸拢?〈σ,γ,R,τ,ξ〉??Gκ?讦矛郸省? 　　定义5栈(stack)：agent栈S=s|s.S。“.”表示压栈。栈元素s=〈??,π,δ,ρ〉。其中：当前要实现的目标?肌?LG；实现?妓?采用的规划π∈LP，对应于实现?嫉慕换ネ评砉嬖颚莫?IR和规划推理规则ρ??PR。 　　定义6 结构(configuration)：个体agent结构是元组〈σ,r,S〉。其中：σ、r、ξ同定义4，S同定义5。多agent合作系统结构是元组〈A1，…，An,ξ〉。其中：Ai(1≤i≤n)是个体agent结构；ξ是多agent系统共享环境。 　　为了描述多agent间的合作，以下引入合作规划表达式〈co_plans〉，给出了基于EBNF (extended backusnaur form)个体agent的3APL语法。〈co_plans〉刻画了多agent间发送消息并行同步合作关系。EBNF扩展了巴克斯范式，是一种语法规范。“::=”表示赋值语句，也可以写成“:=”；“”间表示关键字或符号；〈〉间为表达式；“?”表示前面的表达式出现0次或1次；“*