Agent 系统引论 第6章达成一致.pptVIP

多Agent系统引论 第7章 达成一致 辩 论（一） 前面所讲的达成一致的方法有一些优点，最重要的可能就是这些协商具有某些期望的特性，但这些协商也存在以下缺点： 不能说明观点：因为在协商的时候，需要表明协商的立场是有理由的。 不能改变观点 ：前面倾向于假设Agent的效用函数是固定的，并且是不可改变的，不会随着协商过程而改变，这从某种程度上来说是对的，但是，从主观的、个人的观点看，偏好在协商时很可能会发生改变。 所以出现了基于辩论的协商 辩 论（二） 多Agent情形下的辩论是一个过程，在这个过程中，Agent试图使其他Agent确信某一情况的状态为真（或者假）。这个过程包含Agent对提出的命题支持或者反对的理由，以及对这些辩论的可接受性的检验。 人类之间出现的四种不同辩论的模式（哲学家Michael Gilbert）: 逻辑模式 情感模式 本能模式 神秘模式 基于逻辑的辩论 逻辑模式的辩论被认为是“最纯的”或者“最理性的”的一种论证。 基于Fox与他的同事提出的辩论系统： 论证的基本形式： Database是逻辑公式的集合（可能是不一致的） Sentence是称为结论的逻辑公式 Grounds是逻辑公式集合 （1） （2）Sentence可以由Grounds证明 基于逻辑的辩