- 1、本文档共14页,可阅读全部内容。
- 2、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
会计学
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页
文档评论(0)