分布式问题求解1.pptVIP

*史忠植高级人工智能*主体通信策略对话消息黑板协议通信协作协议*史忠植高级人工智能*主体通信中的主要问题语义：全部有关的主体必须知道通信语言的语义，消息的语义内容知识是分布式问题求解的核心部分。言语行为：通信语言也是一种动作，说话是为了使世界的状态发生改变。交互协议：主体之间消息交换的典型模式通信语言：传递消息的标准语法。FoundationforIntelligentPhysicalAgents*史忠植高级人工智能*主体间的消息传递消息发送/传输服务器转换到传输格式从传输格式转换消息M言语行为意图I目标GAgenti消息MAgenti*史忠植高级人工智能*本体论本体论是概念化的明确的表示和描述。对某一领域中的概念有共同理解，可以提高交流和协作的效率，从而提高了软件的重用性。*史忠植高级人工智能*言语行为有关言语行为理论的研究主要集中在如何划分不同类型的言语行为。在主体通信语言的研究中，言语行为理论主要用来考虑主体之间可以交互的信息类型。*史忠植高级人工智能*通信语言KQML：由美国ARPA的知识共享计划中提出，规定了消息格式和消息传送系统，为多主体系统通信和协商提供了一种通用框架。ACL：由FIPA制定的一种规范。与KQML非常相似*史忠植高级人工智能*KQML一个例子：(ask-all :sender A :receiver B :in-reply-to ido :reply-with idl :language Prolog :ontology foo :content “bar(X,Y)”)*史忠植高级人工智能*FIPAACL(inform :senderagent1 :receiverhpl-auction-server :content (price(bidgood02)150) :in-reply-toround-4 :reply-withbid04 :languages1 :ontologyhpl-auction)消息结构开始通信动作类型消息参数消息内容表达式参数表达式*史忠植高级人工智能*FIPA通信动作库AcceptProposal 接受提议Agree 同意Cancel 取消CallforProposal 要求提议Confirm 确认Disconfirm 确认为否定Failure 失败Inform 通知InformIf 通知是否InformRef 通知有关对象NotUnderstood 不理解*史忠植高级人工智能*任务分担Smith和Davis提出了任务分担方式。在任务分担系统中,结点之间通过分担执行整个任务的子任务而相互协作,系统中的控制以目标为指导,各结点的处理目标是为了求解整个任务的一部分。任务分担的问题求解方式适合于求解具有层次结构的任务,如工厂联合体生产规划、数字逻辑电路设计、医疗诊断。*史忠植高级人工智能*结果共享Lesser和Corkill提出了结果共享方式。在结果共享方式的系统中,各结点通过共享部分结果相互协作,系统中的控制以数据为指导,各结点在任何时刻进行的求解取决于当时它本身拥有或从其它结点收到的数据和知识。结果共享的求解方式适合于求解与任务有关的各子任务的结果相互影响,并且部分结果需要综合才能得出问题解的领域。如分布式运输调度系统、分布式车辆监控实验系统DVMT*史忠植高级人工智能*分布式问题求解系统分类根据组织结构，分布式问题求解系统可以分为三类：层次结构类平行结构类混合结构类*史忠植高级人工智能*分布式问题求解过程分布式问题求解过程可以分为四步：任务分解任务分配子问题求解结果综合*史忠植高级人工智能*任务分解合同网络动态层次控制自然分解,固定分配部分全局规划*史忠植高级人工智能*分布式问题求解系统中协作的分类按节点间协作量的多少，协作分为三类：全协作系统无协作系统半协作系统常用的通信方式有：共享全局存储器信息传递黑板模型*史忠植高级人工智能*主