1、面向价值领域的协商（一）在面向任务领域的协商中，任务被显式地定义：给定每个Agent要完成的任务集合，以及与完成任务相关的费用， Agent试图使完成这些任务的全部费用最小。它显式地告诉 Agent它该做什么。面向价值领域的协商：通过定义一个关于环境的可能状态的价值函数来确定 Agent的目标。这样， Agent的目标隐含着产生使函数值达到最大的环境状态。 规划可把一个环境状态转换成另一个环境状态。多个 Agent之间实行联合规划。 Agent的兴趣是使环境状态达到最大值的规划达成一致。面向价值领域的协商（二）可能的环境状态集合可能的 Agent集合可能的联合规划集合费用函数，给每个规划和每个
2、 Agent设定一个实数，用来表示 Agent执行该规划的费用WOD中的相遇（交互）是环境的初始状态是价值函数，给每个环境状态 和每个 Agent设定一个实数 W(e,i),这个实数表示状态 e对于 Agent i的值或价值表示规划WOD种不对单个指标协商：它们既要对实现的状态协商，也对实现状态的手段协商辩 论（一）前面所讲的达成一致的方法有一些优点，最重要的可能就是这些协商具有某些期望的特性，但这些协商也存在以下缺点：w 不能说明观点： 因为在协商的时候，需要表明协商的立场是有理由的。w 不能改变观点 ：前面倾向于假设 Agent的效用函数是固定的，并且是不可改变的，不会随着协商过程而改变，
3、这从某种程度上来说是对的，但是，从主观的、个人的观点看，偏好在协商时很可能会发生改变。所以出现了基于辩论的协商辩 论（二）多 Agent情形下的辩论是一个过程，在这个过程中， Agent试图使其他 Agent确信某一情况的状态为真（或者假）。这个过程包含 Agent对提出的命题支持或者反对的理由，以及对这些辩论的可接受性的检验。人类之间出现的四种不同辩论的模式 （哲学家 Michael Gilbert） :w 逻辑模式w 情感模式w 本能模式w 神秘模式基于逻辑的辩论逻辑模式的辩论被认为是 “最纯的 ”或者 “最理性的 ”的一种论证。基于 Fox与他的同事提出的辩论系统：论证的基本形式：Dat
4、abase是逻辑公式的集合（可能是不一致的）Sentence是称为结论的逻辑公式Grounds是逻辑公式集合（ 1）（ 2） Sentence可以由 Grounds证明基于逻辑的辩论 论证（一）一般来说，对于一个给定的命题， Agent可以构造几个论证，有些论证支持这个命题，有些论证反对这个命题（这种情况是对命题的否定）。也可以给一个数字或权重表示对命题支持的程度。非平凡论证重言式论证定义：攻击定义：击败基于逻辑的辩论 论证（二）可以区分 5种类型的论证，分别用 A1到 A5表示：说明编号大的论证类比编号小的论证类是更可接受的。直观的感觉是存在更少的原因认为它们有什么不妥。课堂讨论（ 1）能否举例面向价值领域的协商？（ 2）能否举例基于逻辑的辩论？并对上述五种类型的论证的优先关系通过实例给予说明。合同网（一）合同网是 R. Smith提出的一种协商方法 (他称之为结点间建立联系的方法 ) , 合同网协议最早用于分布式传感器系统中 , 完成了在一个分布式系统中传递控制的作用 。合同网模型由多个可以互相传递信息的结点组成 , 这些结点可分为三类 :. 管理者 : 任务的拥有者 , 负责该任务的分配. 投标者 : 能够完成任务的结点. 中标者 : 投标成功的投标者 , 被授予了任务
