agent 系统引论 达成一致.pptx

会计学 1 Agent 系统引论 达成一致 辩 论（二） 多Agent情形下的辩论是一个过程，在这个过程中，Agent试图使其他Agent确信某一情况的状态为真（或者假）。这个过程包含Agent对提出的命题支持或者反对的理由，以及对这些辩论的可接受性的检验。 人类之间出现的四种不同辩论的模式（哲学家Michael Gilbert）: 逻辑模式 情感模式 本能模式 神秘模式 第2页/共14页 第1页/共14页 基于逻辑的辩论 逻辑模式的辩论被认为是“最纯的”或者“最理性的”的一种论证。 基于Fox与他的同事提出的辩论系统： 论证的基本形式： Database是逻辑公式的集合（可能是不一致的） Sentence是称为结论的逻辑公式 Grounds是逻辑公式集合 （1） （2）Sentence可以由Grounds证明 第3页/共14页 第2页/共14页 基于逻辑的辩论 ——论证（一） 一般来说，对于一个给定的命题，Agent可以构造几个论证，有些论证支持这个命题，有些论证反对这个命题（这种情况是对命题的否定）。也可以给一个数字或权重表示对命题支持的程度。 非平凡论证 重言式论证 定义：攻击 定义：击败 第4页/共14页 第3页/共14页 基于逻辑的辩论 ——论证（二） 可以区分5种类型的论证，分别用A1到A5表示： 说明编号大的论证类比编号小的论证类是更可接受的。直观的感觉是存在更少的原因认为它们有什么不妥。 第5页/共14页 第4页/共14页 7.4.2 辩论的对话和对话系统 一个Agent的对话是自我论证。而两个Agent的对话是辩论的对话。 直观地说，对话是一系列论证，首先由Agent 0给出，第二个由Agent 1给出，以此类推。Agent 0参与对话的目的是说服Agent 1接受第一个论证的结论。Agent 1通过消弱或者反击试图击败这一论证。如果可能，Agent 0必须通过提出击败这个论证的论证，对反论证做出响应。 第6页/共14页 第5页/共14页 7.4.2 辩论的对话和对话系统   第7页/共14页 第6页/共14页 7.4.2 辩论的对话和对话系统 (3) playeru=playerv 并且u≠v, 则Argu ≠ Argv (不允许Agent两次给出同样的论证) (4) Argu 击败Argu-1 此论证对话看成是论证的建议者和反对者之间进行的博弈。 第8页/共14页 第7页/共14页 7.4.3对话的类型 分解是目标吗？ 有冲突吗？ 共同的问题解决了吗？ 结果是目标吗？ 说服 协商 争论 是一个理论问题吗？ 信息搜寻 询问 慎思 N Y Y Y N Y N N Y N 如何确定对话的类型 第9页/共14页 第8页/共14页 类型 初始情况 主要目标 参加者的目的 说服 观点冲突 解决问题 说服对方 协商 利益冲突 达成交易 自己获得最大收益 询问 一般忽略 增加知识 寻找“证明” 慎思 行动需求 做出决策 影响结局 信息搜寻 个人忽略 传播知识 增加或传播个人知识 争论 冲突/对抗 达成和解 攻击对方 混合 各种情况 各种情况 各种情况 Walton和Krabble的对话类型 第10页/共14页 第9页/共14页 7.4.4 抽象辩论 抽象论证系统二元组： A（X，→） 其中：X是论证集合（并不关心X的成员究竟是什么） → X*X是论证集合上的关系，是表示攻击的概念   第11页/共14页 第10页/共14页 7.4.4 抽象辩论 关于抽象论证系统的目的，并不关心集合X的内容，也不关心攻击关系来自何处。而关心的是论证的整体结构。 在一个抽象的论证系统中，有多种方式构建出，被认为是“安全的”或者是“可接受的”论证集合。   第12页/共14页 第11页/共14页 7.4.5 已实现的辩论Agent 第一个基于辩论的协商的Agent系统。----Sycara的PERSUASER系统。 此系统运用于劳资协商领域，包括三个Agent (工会、公司、仲裁者)。为了使各方达成一致，它对迭代改变建议和反建议进行建模。协商包含多个指标（如工资、退休金、资历、转包合同）。 第13页/共14页 第12页/共14页 7.4.5 已实现的辩论Agent 对于一个特定的立场，PERSUADER可以产生一个以上的论证。这些论证根据“严重”程度排序，首先给出最弱的论证。如下： 对一般原理的要求 对主题的要求 对权威的要求 对“现状”的要求 对“次要标准”的要求 对“流行做法”的要求 对先例作为反例的要求 威胁 第14页/共14页 第13页/共14页