格里高兹·利索夫斯基;西尔维·多特;翁贝托·格兰迪 基于价值的论证框架中的聚合。 (英语) Zbl 07450036号 Moss,Lawrence S.(编辑),《第十七届理性与知识理论方面会议论文集》,2019年7月17日至19日,法国图卢兹,TARK 2019。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)297313-331(2019)。 摘要:基于值的论证增强了一个经典的抽象论证图,其中参数被建模为通过称为攻击的定向箭头连接的节点,参数上有标签,称为值和值的排序,称为观众,为攻击关系提供更精细的理由。由于不止一个代理面临这样的论证问题,代理的价值排序可能会有所不同。当需要达成集体观点时,此类代理面临两种同样合理的方法之间的两难境地:在价值层面上聚合他们的观点,或聚合他们的攻击关系,因此保持在图形层面上。我们利用偏好聚合和图聚合的技术探讨了这两种方法的优点和局限性,并提出了从给定攻击关系中提取的第三种可能性聚合排名。关于整个系列,请参见[兹比尔1446.68018]. 引用于1文件 MSC公司: 68T27型 人工智能中的逻辑 PDF格式BibTeX公司 XML格式引用 \textit{G.Lisowski}等人,《电子》。程序。西奥。计算。科学。(EPTCS)297313-331(2019;Zbl 07450036) 全文: arXiv公司 链接 参考文献: [1] Stéphane Airiau、Elise Bonzon、Ulle Endriss、Nicolas Maudet和Julien Rossit(2017):抽象论证框架轮廓的合理化:特征化和复杂性。《人工智能研究杂志》60,第149-177页,doi:10.1613/jair.5436·Zbl 1418.68190号 ·数字对象标识代码:10.1613/jair.5436 [2] Kenneth J Arrow(1951):《社会选择与个人价值观》。威利·兹伯利0984.91513 [3] Edmond Awad、Richard Booth、Fernando Tohmé和Iyad Rahwan(2015):多主体论证中的判断聚合。《逻辑与计算杂志》27(1),第227-259页,doi:10.1093/logcom/exv055·Zbl 1361.68218号 ·doi:10.1093/log.com/exv055 [4] Trevor Bench-Capon(2003):使用基于价值的论证框架进行实际论证的说服。《逻辑与计算杂志》13(3),第429-448页,doi:10.1093/logcom/13.3.429·Zbl 1043.03026号 ·doi:10.1093/logcom/13.3.429 [5] Trevor Bench-Capon、Sylvie Doutre和Paul E Dunne(2007):辩论框架中的观众。《人工智能》171(1),第42-71页,doi:10.1016/j.artint.2006.10.013·Zbl 1168.68561号 ·doi:10.1016/j.artint.2006.10.013 [6] Felix Brandt、Vincent Conitzer、Ulle Endriss、Jéróme Lang和Ariel D Procaccia(2016):《社交选择手册》。剑桥大学出版社,doi:10.1017/CBO9781107446984·Zbl 1436.91001号 ·doi:10.1017/CBO9781107446984 [7] 陈伟伟(Weiwei Chen)和尤尔·恩德里斯(Ulle Endriss)(2019):集体论证中语义属性的保存:抽象论证框架的聚合案例。人工智能269,第27-48页,doi:10.1016/j.artint.2018.10.003·Zbl 1478.68348号 ·doi:10.1016/j.artint.2018.10.003 [8] Sylvie Coste-Marquis、Caroline Devred、Sébastien Konieczny、Marie-Christine Lagasquie-Schiex和Pierre Marquis(2007):《关于邓氏论证系统的合并》。《人工智能》171(10-15),第730-753页,doi:10.1016/j.artint.2007.04.012·Zbl 1168.68563号 ·doi:10.1016/j.artint.2007.04.012 [9] Jéróme Delobelle、Adrian Haret、Sébastien Konieczny、Jean-Guy Mailly、Julien Rossit和Stefan Woltran(2016):抽象论证框架的合并。2016年知识陈述会(KR),第33-42页。 [10] Jérôme Delobelle,Sébastien Konieczny&Srdjan Vesic(2018):论争论框架的聚合:算子和命题。《逻辑与计算杂志》28(7),第1671-1699页,doi:10.1093/logcom/exy023·Zbl 1444.68180号 ·doi:10.1093/log/exy023 [11] 潘明勇(1995):论论证的可接受性及其在非单子推理、逻辑编程和n人游戏中的基本作用。人工智能77(2),第321-357页,doi:10.1016/0004-3702(94)00041-x·Zbl 1013.68556号 ·doi:10.1016/0004-3702(94)00041-x [12] Paul E Dunne、Anthony Hunter、Peter McBurney、Simon Parsons和Michael Wooldridge(2011):加权参数系统:基本定义、算法和复杂性结果。人工智能175(2),第457-486页,doi:10.1016/j.artint.2010.09.005·Zbl 1216.68261号 ·doi:10.1016/j.artint.2010.09.005 [13] Paul E Dunne、Pierre Marquis和Michael Wooldridge(2012):《论证聚合:基本公理和复杂性结果》。《论据计算模型参考会议录》(COMMA),第129-140页。 [14] Paul E.Dunne、Pierre Marquis和Michael Wooldridge(2012):论点聚合:基本公理和复杂性结果。摘自:《论证的计算模型》,第129-140页。 [15] Ulle Endriss(2016):判断汇总。在F Brandt、V Conitzer、U Endriss、J Lang&·Zbl 1452.91134号 [16] A.D Procaccia,编辑:《计算社会选择手册》,剑桥大学出版社,doi:10.1017/cbo9781107446984.018·Zbl 1436.91001号 ·doi:10.1017/cbo9781107446984.018 [17] Ulle Endriss和Umberto Grandi(2014):通过选择最具代表性的选民进行二元聚合。摘自:《AAAI人工智能会议记录》,第668-674页·Zbl 1366.68341号 [18] Ulle Endriss和Umberto Grandi(2014):图形聚合中的集体理性。摘自:第21届欧洲人工智能会议(ECAI),第291-296页·Zbl 1366.68341号 [19] Ulle Endriss&Umberto Grandi(2017):图形聚合。人工智能245,第86-114页,doi:10.1016/j.artint.2017.01.001·Zbl 1402.68167号 ·doi:10.1016/j.artint.2017.01.001 [20] Patricia Everaere、Sébastien Konieczny和Pierre Marquis(2017):信仰融合及其与判断聚合的联系简介。Ulle Endriss主编:《计算社会选择趋势》,第7章,AI Access,第123-143页。 [21] 范秀仪(Xuiyi Fan)和托尼(Francesca Toni)(2015):论辩论中的计算解释。摘自:《美国人工智能学会人工智能会议记录》,第1496-1502页·Zbl 1335.68249号 [22] Allan Gibbard(1973):操纵投票方案:一般结果。《计量经济学:计量经济学社会杂志》,第587-601页,doi:10.2307/1914083·兹标0325.90081 ·doi:10.2307/1914083 [23] Davide Grossi和Gabriella Pigozzi(2014):判断聚合:引子。人工智能和机器学习综合讲座8(2),第1-151页,doi:10.200/S00559ED1V01Y201312AIM027·doi:10.2200/S00559ED1V01Y201312AIM027 [24] Souhila Kaci和Leendert van der Torre(2008):基于偏好的论证:支持多值的论证。《国际近似推理杂志》48(3),第730-751页,doi:10.1016/j.ijar.2007.07.005·Zbl 1184.68512号 ·doi:10.1016/j.ijar.2007.07.005 [25] Grzegorz Lisowski(2018):在基于价值的论证框架中防止操纵。阿姆斯特丹大学硕士论文。 [26] Grzegorz Lisowski,Sylvie Doutre和Umberto Grandi(2018):在基于价值的论证框架中防止聚合Au diens的操纵。摘自:《形式论证系统和算法国际研讨会论文集》(SAFA 2018),第48-59页。 [27] Paul-Amaury Matt和Francesca Toni(2008):抽象论证论证强度的博弈论度量。摘自:《人工智能中的逻辑》,第285-297页,doi:10.1007/BF01448847·doi:10.1007/BF01448847 [28] 蒂姆·米勒(2019):《人工智能解释:来自社会科学的见解》。人工智能267,第1-38页,doi:10.1016/j.artint.2018.07.007·Zbl 1478.68274号 ·doi:10.1016/j.artint.2018.07.007 [29] 桑杰·莫吉尔(2009):论证框架中偏好的推理。人工智能173(9-10),第901-934页,doi:10.1016/j.artint.2009.02.001·Zbl 1192.68663号 ·doi:10.1016/j.artint.2009.02.001 [30] 查姆·佩雷尔曼(1971):《新修辞学》。收录于:《自然语言语用学》,斯普林格,第145-149页,doi:10.1007/978-94-010-1713-8 8·doi:10.1007/978-94-010-1713-8_8 [31] 蒲福安、罗健、张玉来和罗桂明(2013):基于价值的论证框架的社会福利语义。摘自:《国际知识、科学、工程和管理会议论文集》,施普林格出版社,第76-88页。 [32] Iyad Rahwan和Fernando Tohmé(2010):集体论证评估作为判断聚合。参见:《自治代理和多代理系统国际会议记录》,第417-424页。 [33] 马克·阿伦·萨特思韦特(1975):《战略证明与阿罗条件:投票程序和社会福利功能的存在与对应定理》。《经济理论杂志》10(2),第187-217页,doi:10.1016/0022-0531(75)90050-2·Zbl 0315.90088号 ·doi:10.1016/0022-0531(75)90050-2 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。