×
彼得罗·巴罗尼;费德里科·塞鲁蒂;马西米利亚诺·贾科明;吉奥瓦尼·吉达

AFRA：带有递归攻击的论证框架。 （英语） Zbl 1211.68433号

国际J近似推理 52，第1期，第19-37页（2011年）.
摘要：在多个上下文中，将攻击表示为攻击的问题作为一种有用的概念建模工具，正受到越来越多的关注。在本文中，我们提出了AFRA，这是一种在论证框架中包含无限递归攻击的形式主义。AFRA满足了定义简单和与Dung论证理论严格兼容的基本要求。本文提供了AFRA形式的完整发展，并辅以示例，并与其他递归攻击形式进行了详细比较。

引用于22文件

MSC公司：

68层37 人工智能背景下的不确定性推理

关键词：

论证框架;论证语义学;论元攻击关系

软件：

ASPARTIX公司;非洲渔业协会
PDF格式BibTeX公司 XML格式引用
\textit{P.Baroni}等人，《国际近似推理》52，第1期，19-37（2011；Zbl 1211.68433）
全文： 内政部 arXiv公司 链接

参考文献：

[1] Dung，P.M.，论论证的可接受性及其在非单调推理、逻辑编程和人游戏中的基本作用，人工智能，77，2321-357（1995）·Zbl 1013.68556号
[2] Amgoud，L。；Cayrol，C.，《基于可接受论据生成的推理模型》，《数学与人工智能年鉴》，34197-216（2002）·Zbl 1002.68172号
[3] Amgoud，L。；Kaci，S.，《合并冲突知识库的论证框架》，《国际近似推理杂志》，45，321-340（2007）·Zbl 1122.68116号
[4] Bench-Capon，T.J.M.，《使用基于价值的论证框架进行实际论证的说服》，《逻辑与计算杂志》，第13、3、429-448页（2003年）·Zbl 1043.03026号
[5] 卡西，S。；van der Torre，L.，《基于偏好的论证：支持多值的论据》，《国际近似推理杂志》，48，730-751（2007）·Zbl 1184.68512号
[6] Amgoud，L。；Cayrol，C。；Lagasquie-Schiex，M.-C。；Livet，P.，《论论证框架中的两极性》，《国际智能系统杂志》，23，1062-1093（2008）·Zbl 1151.68049号
[7] Cayrol，C。；Lagasquie-Schiex，M.-C.，《论据组合：处理两极论证框架的工具》，《国际智能系统杂志》，25，1，83-109（2010）·Zbl 1185.68704号
[8] P.E.Dunne，A.Hunter，P.McBurney，S.Parsons，M.Wooldridge，加权自变量系统中的不一致容忍，收录于：AAMAS’09：第八届自治代理和多代理系统国际会议论文集，国际自治代理和多重代理系统基金会，南卡罗来纳州里奇兰，2009年，第851-858页。；P.E.Dunne，A.Hunter，P.McBurney，S.Parsons，M.Wooldridge，加权自变量系统中的不一致容忍，收录于：AAMAS’09：第八届自治代理和多代理系统国际会议论文集，国际自治代理和多重代理系统基金会，南卡罗来纳州里奇兰，2009年，第851-858页。
[9] Modgil，S.，一种包含关于偏好的不可行推理的抽象论证理论，（Melloli，K.，第九届欧洲会议论文集，关于不确定性推理的符号和定量方法（ECSQARU，2007）。第九届欧洲不确定性推理符号和定量方法会议论文集（ECSQARU 2007），LLNAI（2007），Springer Verlag:Springer Verlag Hammamet，TN），648-659·Zbl 1148.68530号
[10] 莫吉尔，S。；Bench-Capon，T.J.M.，《整合基于对象和元层次价值的论证》（Besnard，P.；Doutre，S.；Hunter，A.，《论证的计算模型：2008年COMMA会议录》）。《论证的计算模型：2008年COMMA会议录》，《人工智能与应用前沿》，第172卷（2008），IOS出版社：IOS出版社，图卢兹，F），240-251
[11] Modgil，S.，《论证框架中偏好的推理》，人工智能，173，9-10，901-934（2009）·Zbl 1192.68663号
[12] 巴罗尼，P。；Giacomin，M.，《抽象论证系统的语义》（Simari，G.R.；Rahwan，I.，《人工智能中的论证》（2009），Springer Science+Business Media），第25-44页
[13] 巴罗尼，P。；Giacomin，M.，《基于原则的扩展论证语义评估》，人工智能（A.I.论证专刊），171，10/15，675-700（2007）·Zbl 1168.68559号
[14] 巴罗尼，P。；Giacomin，M.，《用于比较论证语义的怀疑关系》，《国际近似推理杂志》，50，6，854-866（2009）·Zbl 1191.68671号
[15] 波埃拉，G。；范德托雷，L。；Villata，S.，《关于联盟争论的社会观点》，（The Duy，B.；Ho，T.V.；Ha，Q.T.，《第11届环太平洋地区跨国代理国际会议论文集》（PRIMA'08）。第11届环太平洋地区多代理国际会议记录（PRIMA’08），LLNAI（2008），Springer Verlag），66-77
[16] 波埃拉，G。；范德托雷。；Villata，S.，《动态联盟之间的攻击关系》（Nijholt，A.；Pantic，M.；Poel，M.和Hondorp，G.，《第20届比利时-荷兰人工智能会议论文集》（BNAIC’08）（2008），特温特大学：特温特-恩切德大学），25-32
[17] 巴林格，H。；Gabbay，D.M。；Woods，J.V.，《支持和攻击网络的时间动力学：从论证到动物学》（Hutter，D.；Stephan，W.，《机械化数学推理》（2005），Springer），59-98·Zbl 1098.68122号
[18] 卡米纳达，M.，《半稳定语义学》（Dunne，P.E.；Bench-Capon，T.J.M.，“论证的计算模型：2006年COMMA会议录”）。《论证的计算模型：2006年COMMA会议录》，《人工智能与应用前沿》，第144卷（2006），IOS出版社：IOS出版社，英国利物浦），121-130
[19] Dung，P。；Mancarella，P。；Toni，F.，《基于怀疑假设的论证的辩证法程序》，（Dunne，P.E.；Bench Capon，T.J.M.，《论证的计算模型：COMMA会议记录2006》。《论证的计算模型：2006年COMMA会议录》，《人工智能与应用前沿》，第144卷（2006），IOS出版社：IOS出版社，英国利物浦），145-156
[20] 巴罗尼，P。；Cerutti，F。；Giacomin，M。；Guida，G.，《将攻击与抽象论证框架中的攻击进行比较》（Sossai，C.；Chemello，G.），《第十届欧洲不确定性推理的符号和定量方法会议论文集》（ECSQARU 2009）。第十届欧洲不确定性推理符号和定量方法会议论文集（ECSQARU 2009），LLNAI（2009），Springer Verlag:Springer Verlag Verona，I），83-94·Zbl 1203.68198号
[21] M.Wooldridge，P.McBurney，S.Parsons，《论论证的元逻辑》，载于：《第四届国际自治代理和多代理系统联合会议论文集》（AAMAS’05），荷兰乌得勒支，2005年，第560-567页。；M.Wooldridge，P.McBurney，S.Parsons，《论论证的元逻辑》，载于：《第四届国际自治代理和多代理系统联合会议论文集》（AAMAS’05），荷兰乌得勒支，2005年，第560-567页·Zbl 1236.68270号
[22] 波埃拉，G。；Gabbay，D.M。；van der Torre，L.V.S.，《元论证建模I：方法和技术》，Studia Logica，93，2/3，297-355（2009）·Zbl 1185.68664号
[23] Gabbay，D.，《扩展论证框架中高级攻击的语义》。第1部分：概述，Studia Logica，93，2/3，357-381（2009）·Zbl 1185.68669号
[24] Gabbay，D.，Fibring论证框架，Studia Logica，93，2/3，231-295（2009）·兹比尔1185.68670
[25] U.Egly，S.A.Gaggl，S.Woltran，《论证框架的答案集编程编码》，技术报告DBAI-TR-2008-62，维也纳理工大学，2008年。；U.Egly，S.A.Gaggl，S.Woltran，《论证框架的答案编程编码》，技术报告DBAI-TR-2008-62，维也纳理工大学，2008年·Zbl 1226.68018号
[26] Egly，美国。；Gaggl，S.A。；Woltran，S.，Aspartix：使用答案集编程实现论证框架，（Garcia de la Banda，M.；Pontelli，E.，《第24届逻辑编程国际会议论文集》（ICLP 2008），乌迪内。《第24届逻辑程序设计国际会议论文集》（ICLP 2008），乌迪内，计算机科学讲义，第5366卷（2008），施普林格出版社，734-738
[27] Bench-Capon，T.J.M。；Doutre，S。；Dunne，P.E.，《论证框架中的受众》，《人工智能》，171，1，42-71（2007）·Zbl 1168.68561号
[28] P.Baroni，F.Cerutti，M.Giacomin，G.Guida，《使用假设功能对决策支持上下文建模的基于论证的方法》，载于：AAAI秋季研讨会系列——计算论证的使用，AAAI，2009年，第2-7页。；P.Baroni，F.Cerutti，M.Giacomin，G.Guida，《基于论证的方法，利用假设功能建模决策支持上下文》，载于：AAAI秋季研讨会系列——计算论证的使用，AAAI，2009年，第2-7页。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。