×

抽象论证的分级标签。 (英语) Zbl 1505.68040号

摘要:基于标签的语义是抽象论证框架(AAF),具有一些计算优势。本文旨在考虑基于分级标记的AAF语义。按照AAF的标准标记方法,引入了五个标准,分别称为(ell)-Cf、(m)-Rein、(eta)-Rej、(m\)-\(R_I)和(eta。基于这些标准,定义了一系列基于分级标记的语义。此外,通过引入分级标号和扩张之间的转移函数,探讨了它们之间的关系,给出了一些表示定理,为解决计算问题(例如接受决策和扩张枚举问题)提供了理论基础与基于标签的分级扩展相关。

MSC公司:

68T27型 人工智能中的逻辑
68层37 人工智能背景下的不确定性推理
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Bench-Capon,T.J.M。;Dunne,P.E.,《人工智能中的论证》,Artif。智力。,171, 619-641 (2007) ·Zbl 1168.68560号
[2] (Rahwan,I.;Simari,G.,《人工智能中的论证》(2009),Springer-Verlag)
[3] Gaggl,S.A。;Linsbichler,T。;Maratea,M。;Woltran,S.,第二届国际辩论计算模型竞赛的设计和结果,Artif。智力。,279,第103193条pp.(2020)·Zbl 1478.68353号
[4] 采拉斯,K。;Rago,A。;阿尔比尼,E。;巴罗尼,P。;Toni,F.,《有争议的XAI:一项调查》,(《第三十届国际人工智能联合会议论文集》,第三十届人工智能国际联合会议论文,IJCAI’21(2021),AAAI出版社),4392-4399
[5] 瓦西里亚德斯,A。;北巴西利亚德斯。;Patkos,T.,《论证和可解释的人工智能:调查》,Knowl。工程版次,36,1-35(2021)
[6] Dung,P.M.,《论据的可接受性及其在非单调推理、逻辑编程和n人游戏中的基本作用》,Artif。智力。,77, 2, 321-357 (1995) ·Zbl 1013.68556号
[7] 普拉肯,H。;Sartor,G.,《法律与逻辑:从论证角度的回顾》,Artif。智力。,227, 214-245 (2015) ·Zbl 1346.68187号
[8] Amgoud,L。;Prade,H.,《利用论据做出和解释决策》,Artif。智力。,173, 413-436 (2009) ·Zbl 1343.68219号
[9] 亨特,A。;Williams,M.,关于治疗的积极和消极影响的综合证据,人工制品。智力。医学,56,3,173-190(2012)
[10] 莫伊纳,M。;贾·阿布卡尔,J。;Bratko,I.,基于参数的机器学习,Artif。智力。,171, 922-937 (2007) ·Zbl 1168.68481号
[11] Alsinet,T。;Argelich,J。;R·贝贾尔。;费尔南德斯,C。;马图,C。;Planes,J.,《推特讨论分析的加权论证》,《国际期刊近似理由》。,85, 21-35 (2017) ·Zbl 1422.91606号
[12] Leite,J。;Martins,J.,《社会抽象论证》,(《第22届国际人工智能联合会议论文集》,第22届人工智能国际联合会议论文,IJCAI’11(2011),AAAI出版社),2287-2292
[13] 施耐德,J。;Groza,T。;Passant,A.,《社会语义网论证综述》,Semant。网状物。,4, 2, 159-218 (2013)
[14] Bentahar,J。;Maamar,Z。;Bensliane,D。;Thiran,P.,《web服务社区的论证框架》,IEEE Intell。系统。,22, 6, 75-83 (2007)
[15] 巴罗尼,P。;卡米纳达,M。;Giacomin,M.,《论证语义学导论》,Knowl。工程版本,26,4,365-410(2011)
[16] Flouris,G。;Bikakis,A.,《带有攻击性论据集的论证框架的综合研究》,《国际近似推理》。,109, 55-86 (2019) ·Zbl 1461.68221号
[17] 舒尔茨,C。;Toni,F.,《基于假设和抽象论证的标签》,《国际期刊近似推理》。,84, 110-149 (2017) ·Zbl 1419.68133号
[18] Bistarelli,S。;Taticchi,C.,加权论证框架的标签语义和强可容许性,J.Log。计算。,32, 2, 281-306 (2022) ·Zbl 07486291号
[19] 卡米纳达,M.,《关于恢复辩论的问题》,(《第十届欧洲人工智能逻辑会议论文集》,第十届欧盟人工智能逻辑大会论文集,JELIA’06(2006)),111-123·Zbl 1152.68600号
[20] 卡米纳达,M。;Gabbay,D.M.,《形式论证的逻辑解释》,Stud.Log。,93,2-3109-145(2009年)·Zbl 1188.03011号
[21] Caminada,M.,理想语义和阶段语义的标记方法,参数计算。,2011年2月1日至21日
[22] 卡米纳达,M。;Pigozzi,G.,《论抽象论证中的判断聚合》,Auton。代理多代理系统。,22, 1, 64-102 (2011)
[23] 达科斯塔·佩雷拉,C。;Tettamanzi,A.G.B。;维拉塔,S.,改变主意:删除还是倒带?基于信任的模糊论证可能性信念修正,(《第二十二届国际人工智能联合会议论文集》,第二十二届人工智能国际联合会议论文,IJCAI’11(2015),AAAI出版社),164-171
[24] 格罗西,D。;Modgil,S.,《论论点的分级可接受性》,(《第24届国际人工智能联合会议论文集》,第24届人工智能国际联合会议论文,IJCAI’15(2015),AAAI出版社),868-874
[25] 格罗西,D。;Modgil,S.,《关于抽象和实例化论证中论点的分级可接受性》,Artif。智力。,275, 138-173 (2019) ·Zbl 1478.68354号
[26] 医学博士布丹。;Simari,G.I。;维格利佐一世。;Simari,G.R.,《通过基于标签的框架表征论点的分级蕴涵的方法》,《国际期刊近似推理》。,82, 242-269 (2017) ·Zbl 1404.68151号
[27] 贝斯纳德,P。;亨特,A.,基于逻辑的演绎论点理论,Artif。智力。,128, 1-2, 203-235 (2001) ·Zbl 0971.68143号
[28] Cayrol,C。;Lagasquie-Schiex,M.C.,《论证的渐进性》,J.Artif。智力。研究,23,245-297(2005)·兹比尔1080.68608
[29] 邓恩,P。;亨特,A。;McBurney,P。;帕森斯,S。;Wooldridge,M.,加权自变量系统:基本定义、算法和复杂性结果,人工制品。智力。,175, 2, 457-486 (2011) ·Zbl 1216.68261号
[30] Amgoud,L。;Doder,D。;Vesic,S.,《攻击图中论点强度的评估:基础和语义》,Artif。智力。,302,第103607条pp.(2022)·Zbl 1478.68339号
[31] Tan,L。;朱,Z。;Zhang,J.,《关于基于扩展的议论文语义学的更多信息》(2020)
[32] 诺法尔,S。;阿特金森,K。;Dunne,P.E.,《优选语义下论证系统中决策问题的算法》,Artif。智力。,207,23-51(2014)·Zbl 1334.68210号
[33] 诺法尔,S。;阿特金森,K。;Dunne,P.E.,《论证语义的算法:标记攻击作为标记参数的泛化》,J.Artif。智力。Res.,49,635-668(2014)·Zbl 1361.68240号
[34] 诺法尔,S。;阿特金森,K。;Dunne,P.E.,《抽象论证回溯算法的前瞻性》,《国际期刊近似推理》。,78, 265-282 (2016) ·兹比尔1386.68161
[35] 赵,S。;Wu,J.,一种有效的模糊恢复标记算法,AIMS数学。,7, 6, 11165-11187 (2022)
[36] Cerutti,F。;Giacomin,M。;Vallati,M.,《我们如何为抽象论证设计成功的算法以及我们获得的见解》,Artif。智力。,276, 1-40 (2019) ·Zbl 1478.68318号
[37] Wakaki,T。;Nitta,K.,《答案集编程中的计算论证语义》,(第22届日本人工智能学会会刊,第22届日本人人工智能学会会刊,JSAI'08(2008)),254-269
[38] R.展位。;卡米纳达,M。;波德拉泽夫斯基,M。;Rahwan,I.,《量化基于论证的推理中的分歧》,(《第十一届自治代理和多代理系统国际会议论文集》,第十一届自主代理和多智能体系统国际会议文献集,AAMAS’12(2012)),493-500
[39] Mostowski,A.,《量词的泛化》,Fundam。数学。,44, 2, 12-36 (1957) ·Zbl 0078.24401号
[40] Verheij,B.,《辩证论证的两种方法:可接受集和论证阶段》,(两年一度的形式和应用实践推理国际会议论文集。两年一度的国际形式和应用实际推理会议论文集,FAPR’96(1996)),357-368
[41] Bodarenko,A。;Dung,P.M。;Kowalski,R.A。;Toni,F.,《缺省推理的抽象论证理论方法》,Artif。智力。,93, 1-2, 63-101 (1997) ·Zbl 1017.03511号
[42] 卡米纳达,M。;卡尼埃利,W.A。;邓恩,P.E.,《半静态语义学》,J.Log。计算。,22, 5, 1207-1254 (2012) ·Zbl 1267.68223号
[43] Gabbay,D.,《论证网络中的元逻辑研究》(2013),大学出版物
[44] 查瓦特,G。;德沃夏克,W。;Gaggl,S.A。;Wallner,J.P。;Woltran,S.,《解决抽象论证中推理问题的方法——一项调查》,Artif。智力。,220, 28-63 (2015) ·Zbl 1328.68212号
[45] 舒尔茨,C。;Toni,F.,《关于抽象论证中首选和稳定标签不确定性的责任》,Artif。智力。,262, 301-335 (2018) ·Zbl 1451.68265号
[46] Baumann,R.,《描述基于标签的语义的等价概念》,(《第十五届知识表示和推理原则国际会议论文集》,第十五届国际知识表示与推理原则会议论文集,KR’16(2016)),22-32
[47] Gierz,G。;霍夫曼,K.H。;Keimel,K。;劳森·J·D。;Mislove先生。;Scott,D.S.,《连续格与域》(2003),剑桥大学出版社·Zbl 1088.06001号
[48] 邓恩,体育。;德沃夏克,W。;Woltran,S.,理想语义的参数属性,Artif。智力。,202, 1-28 (2013) ·Zbl 1329.68244号
[49] 卡米纳达,M.,《比较形式论证的两种独特的扩展语义:理想和渴望》(《第19届比荷卢人工智能会议论文集》,《第19次比荷卢人人工智能会议文献集》,BNAIC’07(2007))
[50] Dung,P.M。;Mancarella,P。;Toni,F.,《计算理想怀疑论》,Artif。智力。,171, 10-15, 642-674 (2007) ·Zbl 1168.68564号
[51] 德沃夏克,W。;Dunne,P.E.,形式论证中的计算问题及其复杂性,IfCoLog J.Log。申请。,4, 8, 2557-2622 (2017)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。