多Ａｇｅｎｔ系统ＢＤＩ模型的推理研究.docVIP

多Ａｇｅｎｔ系统ＢＤＩ模型的推理研究 　　摘要:提出了基于环境感知的具有推理能力的BDI Agent模型。通过引入环境感知函数、意见函数、过滤函数、行为函数对环境的变化和Agent自身推理过程进行研究,并通过实例加以说明。 　　关键词:Agent;BDI模型;推理 　　中图分类号:TP393 文献标识码:A 文章编号:1009-3044(2009)15-4081-03 　　 　　Study About Rational Model Base on BDI Agent 　　MIAO Zhi, DENG Hui-yu 　　(Engineering College of Armed Police Force, Xian 710075, China) 　　Abstract: In this thesis, a dynamic rational BDI Agent model based on perception is proposed. The functions of the sense, opinion, filter and action are introduced to study the changes of environment and Agent. In this foundation, performs through the example to explain. Finally, the conclusion is discussed. 　　Key words: Agent; BDI model; rational 　　 　　1 引言 　　 　　Agent研究中,具有奠基性的工作是Bratman 提出的BDI模型。Multi-Agent系统即“MAS”,是一些自主的Agent通过协作完成某些任务或达到某些目的的计算系统,它为很多大规模的工商业应用系统提供了新的解决方案。然而这些系统通常处于一种不可预测的动态变化环境中,在某些时候MAS需要有一定的自适应能力。本文以BDI Agent为例,分析在环境变化下Agent是如何进行推理的。过去的研究表明,BDI(Beliefs-Desires-Intentions)模型被研究人员认为是最健壮和灵活的智能主体模型。Bratman提出的一种基于意识的观点来研究Agent的概念,认为信念(belief)即一组关于世界的信念、愿望(desire)即主体当前打算达到的一组目的、意图(intention)即一个意图的结构,描述主体当前怎样达到它的目标是Agent的思维属性。 　　这里给出了一个动态的BDI Agent模型并用ASL(Agent Script Language)语言来描述这个模型。 　　 　　2 ASL(Agent Script Language)的引入 　　 　　ASL基于模态逻辑,用于描述Agent之间的交互。为了描述基于BDI模型的Agent,引入了算子Bel(信念),Des(愿望),Int(意图),E(环境)和符号ρ,×。算子可以表示成由三个条件集合组成的三元组(P,A,D):前提条件集合P(Precondition)在算子执行的所有状态中的值都为“真”,增加条件集合A(Addition)在算子导致的状态中都为“真”,删除条件集合D(Deletion)在算子导致的状态中的值都为“假”。ρ表示幂集,×表示笛卡儿乘积。 　　 　　3 BDI结构简介 　　 　　Agent的信念-愿望-意图(BDI)范例是近年来计算机学术界广泛研究的一种智能Agent结构。有关Agent的信念-愿望-意图(Beliefs-Desires-Intentions,BDI)概念的哲学观点源自Bratman。Bratman在IRMA系统的设计中明确表示了信念、愿望和意图,并将意图看作部分行为计划,这些计划是Agent承诺执行以完成其目标的计划,从而使Agent能够根据资源的变化情况有效实现手段目的推理。 　　智能Agent的实际推理过程涉及到三个重要环节: 　　1) 选择目标; 　　2) 确定怎样获得这些目标; 　　3) 当环境发生变化时,如何调整所追求的目标以适应变化了的环境。 　　环节1称作慎思过程,环节2称作手段-目的推理过程,环节3称作反应过程。信念-愿望-意图Agent模型的一般结构就是针对三个环节而建立的。如图1所示为BDI Agent的实际推理过程示意图。 　　由图可见: 　　①BDI Agent的求解意见产生过程可看作循环求精的一个层次计划结构的过程,不断地考虑和承诺逐步实现的意图,直到最后获得目标。 　　②求解意见过程驱动手段―目的的推理,同时它还满足几个其他的约束:所产生的意见必须与Agent当前的信念和当前的