1、智能软件开发,范 锐广东海洋大学软件学院 fanrui_,3、智能的通信机制,Agent间的通信与协作 黑板系统 消息传输机制 通信语言 通信本体论,Agent间的通信与协作,策 略,对 话,消 息,黑 板,协 议,通信,协 作,协 议,通信内容:分布式问题求解采纳协作影响 工作方式:黑板(同步)消息传递(异步),主体通信中的主要问题,语义:全部有关的主体必须知道通信语言的语义,消息的语义内容知识是分布式问题求解的核心部分。 言语行为:通信语言也是一种动作,说话是为了使世界的状态发生改变。 交互协议:主体之间消息交换的典型模式 通信语言:传递消息的标准语法。,黑板系统,共享的数据结构 公共工作
2、区域 交换信息、数据和知识 Agent之间不直接通信 任何时间阅读感兴趣的信息 实时讨论的基础大量信息指数增加-黑板分区,主体间的消息传递,消息传输参考模型三个标准:MTP 协议MTS 服务ACL 语言消息M结构=消息包+消息实体格式: (:|*),主体间的消息传递,消息传输服务(MTS),消息传输协议 MTP,Agent i,Agent j,消息M(ACL),消息M(ACL),主体间的消息传递,消息传输服务(MTS) 1 消息包 2 Agent标识符及传输地址 3 通信通道 4 服务的使用 5 询问 6 对象描述,通信语言,KIF:知识交换格式,属性特征公共语言KQML:由美国ARPA的知识
3、共享计划中提出,规定了消息格式和消息传送系统,为多主体系统通信和协商提供了一种通用框架。ACL:由FIPA制定的一种规范。与KQML非常相似,KIF例子:,(ask-one:sender DM Agent:content (exists method (for all customer( missing_ananlyze customer, mothod ) and(year customer) = 2003) and ( product_type customer) =“ PHS” ):receiver KE Agent:reply-with method:language KIF:onto
4、logy (customer ),KQML例子:,(ask-all: sender A: receiver B: in-reply-to ido: reply-with idl: language Prolog: ontology foo: content “bar (X, Y)”),FIPA ACL,(inform: sender agent1: receiver hpl-auction-server: content (price (bid good02) 150): in-reply-to round-4: reply-with bid04: language s1: ontology
5、hpl-auction ),消息结构开始,通信动作类型,消息参数,消息内容表达式,参数表达式,FIPA通信动作库,Accept Proposal 接受提议 Agree 同意 Cancel 取消 Call for Proposal要求提议 Confirm 确认 Disconfirm 确认为否定 Failure 失败 Inform 通知 Inform If 通知是否 Inform Ref 通知有关对象 Not Understood 不理解 Propagate传播 Propose 提议 Proxy 代理,Query If 询问是否 Query Ref 询问有关对象 Refuse 拒绝(请求) Rej
6、ect Proposal 拒绝提议 Request 请求 Request When 请求某个条件下执行 Request Whenever 请求 一旦某个条件成立就执行 Subscribe 预定,http:/www.fipa.org/repository/cas.html,可扩展标记语言XML,XML是用于标记电子文件使其具有结构性的标记语言。XML文件本身只是将文件资料结构化。例如:下面的ACL消息(inform:sender jklabrou:receiver grosof:content (CPU libretto50 pentium):ontology laptop:language kif),转换为XML格式:informjklabrougrosof,laptop(CPU libretto50 pentium)kif,本体论,本体论是对某集域概念化的明确表示和描述。对某一领域中的概念有共同理解,可以提高交流和协作的效率,从而提高了软件的重用性。研究方向:建立本体的方法和过程;本体设计和评估的形式化方法;本体论的应用,