基于流演算的多Agent通信动作的研究.pdfVIP

计算机工程与设计 ComputerEngineeringandDesign 2010，31(1) 221 ·开发与应用 · 基于流演算的多Agent通信动作的研究 杨爱琴 (南通大学 计算机科学与技术学院，江苏 南通 226019) 摘 要：为扩展多Agent系统 中Agents之间的交互特性，在流演算理论框架下研究了多Agent的通信动作。根据流演算理论 和主体通信语言ACL，结合其它Agent的知识表示，引入 了通信动作，给出了形式化描述，并讨论 了通信动作如何影响通信双 方的知识状态，并通过一个智能 日程安排 实例验证 了上述理论，为构建适应动态、不完全可知环境下复杂的多主体系统提 供 了理论基础。 关键词：流演算；通信动作；Agent；多Agent系统；其它Agent的知识 中图法分类号：TP18 文献标识码：A 文章编号：1000—7024(201O)01—0221—04 Researchoncommunicationactionofmulti—Agentbasedonfluentcalculus YANGAi—qin (SchoolofComputerScienceandTechnology,NantongUniversity,Nantong226019，China) Abstract：ToexpandtheintersectionfeatureofAgentsinmulti—agentsystem ，communicationactioniSstudiedbasedonfluentcalculus theory．Accordingtofluentcalculustheory andagentcommunicationlanguageACL，therepresentationofknowledgeofotherAgents iScombined．communicationactioniSimportedandformalized，andhow communicationactioninfluenceonAgentseachotheriSdi— scussed．Finally, na intelligentschedulingplanisappliedtovalidatetheabovetheory． Therefore， itisprovidedthatatheoretical foundationforconstructingcomplexmulti—Agentsystemsinthedynamicandincompletelyknownenvironment， Keywords：fluentcalculus；communicationaction；Agent；multi—Agentsystem；kn owledgeofotherAgents 谓词Poss：ACTIONxSTATE刻画动作执行的前提条件。情景 0 引 言 为动作执行的历史 。函数Do：ACTIONxSIT~SIT表示在某情 景下执行动作 口后的后继情景 。宏HoldsFR(agt,r,f~)表示在 在多agent系统中，系统的信息和资源是动态变化的和不 _ 完全可知的，并且每个agent所拥有 的能力有限。因此 ，为了 状态z下，agentagt知道 agentr知道流_厂成立 。 实现系统设计 的任务和 目标 ，系统中的各个agent需要进行有 流演算的公理系统包括前提条件公理、知识更新公理、初 效的通信。 始状态公理等 ，更多流演算理论详见文献 4【—6]。 在动作推理中，Cohen和Perrault第一一次把通信看成动作 ，