面向价值领域的协商(一).ppt

面向价值领域的协商（一）在面向任务领域的协商中，任务被显式地定义：给定每个Agent要完成的任务集合，以及与完成任务相关的费用，Agent试图使完成这些任务的全部费用最小。它显式地告诉Agent它该做什么。面向价值领域的协商：通过定义一个关于环境的可能状态的价值函数来确定Agent的目标。这样，Agent的目标隐含着产生使函数值达到最大的环境状态。规划可把一个环境状态转换成另一个环境状态。多个Agent之间实行联合规划。Agent的兴趣是使环境状态达到最大值的规划达成一致。面向价值领域的协商（二）费用函数，给每个规划和每个Agent设定一个实数，用来表示Agent执行该规划的费用可能的Agent集合可能的联合规划集合可能的环境状态集合WOD中的相遇（交互）1添加标题是环境的初始状态2添加标题是价值函数，给每个环境状态和每个Agent设定一个实数W(e,i),这个实数表示状态e对于Agenti的值或价值3添加标题表示规划4添加标题WOD种不对单个指标协商：它们既要对实现的状态协商，也对实现状态的手段协商辩论（一）前面所讲的达成一致的方法有一些优点，最重要的可能就是这些协商具有某些期望的特性，但这些协商也存在以下缺点：添加标题不能说明观点：因为在协商的时候，需要表明协商的立场是有理由的。添加标题不能改变观点：前面倾向于假设Agent的效用函数是固定的，并且是不可改变的，不会随着协商过程而改变，这从某种程度上来说是对的，但是，从主观的、个人的观点看，偏好在协商时很可能会发生改变。添加标题贰壹叁所以出现了基于辩论的协商辩论（二）多Agent情形下的辩论是一个过程，在这个过程中，Agent试图使其他Agent确信某一情况的状态为真（或者假）。这个过程包含Agent对提出的命题支持或者反对的理由，以及对这些辩论的可接受性的检验。人类之间出现的四种不同辩论的模式（哲学家MichaelGilbert）:逻辑模式情感模式本能模式神秘模式基于逻辑的辩论Database是逻辑公式的集合（可能是不一致的）Sentence是称为结论的逻辑公式Grounds是逻辑公式集合（1）（2）Sentence可以由Grounds证明逻辑模式的辩论被认为是“最纯的”或者“最理性的”的一种论证。基于Fox与他的同事提出的辩论系统：论证的基本形式：基于逻辑的辩论——论证（一）一般来说，对于一个给定的命题，Agent可以构造几个论证，有些论证支持这个命题，有些论证反对这个命题（这种情况是对命题的否定）。也可以给一个数字或权重表示对命题支持的程度。非平凡论证重言式论证定义：攻击定义：击败基于逻辑的辩论——论证（二）可以区分5种类型的论证，分别用A1到A5表示：说明编号大的论证类比编号小的论证类是更可接受的。直观的感觉是存在更少的原因认为它们有什么不妥。课堂讨论能否举例面向价值领域的协商？能否举例基于逻辑的辩论？并对上述五种类型的论证的优先关系通过实例给予说明。合同网（一）合同网是R.Smith提出的一种协商方法(他称之为结点间建立联系的方法),合同网协议最早用于分布式传感器系统中,完成了在一个分布式系统中传递控制的作用。合同网模型由多个可以互相传递信息的结点组成,这些结点可分为三类:.管理者:任务的拥有者,负责该任务的分配.投标者:能够完成任务的结点.中标者:投标成功的投标者,被授予了任务合同网的基本思想是:当管理者有任务需要其它结点帮助解决时,它就向其它结点广播有关该任务信息即发出任务通告(招标),接到招标的结点则检查自己对解决该问题的相关能力,然后发出自己的投标值并使自己成为投标者,最后由管理者评估这些投标值并选出最合适的中标者授予任务,即按照市场中的招标—投标—中标机制来完成各结点间的协商过程：标值的计算和评估在很大程度上将影响问题的求解过程.合同网（二）基于合同网的协商标书发布对象产生任务的节点进行任务通知，向网络中的其他节点公告存在的任务，然后作为该任务在工作期内的管理者。在缺少有关网络中其他节点特殊能力信息的情况下，要求管理者向所有的其他节点发布一般的广播。然而，如果管理者有网络中哪些节点是可能的候选者的知识，那么它仅向这些候选者发布受限的广播。最后，如果管理者能准确知道网络中哪个节点是合适的，那么它发布点到点的通知。随着问题的工作进展，不同的管理者将发出许多这样的任务通知。合同网的适用范围通过招标—投标—中标过程进行任务分配，解决资源冲突，协调各个Agent的行为。对于类似于信息请求这样的简单任