Sarah Alice Gaggl;塞巴斯蒂安·鲁道夫;汉内斯·斯特拉 关于抽象辩证框架的分解和基于天真的语义的复杂性。 （英语） Zbl 1476.68251号 J.阿蒂夫。智力。研究（JAIR） 70, 1-64 (2021). 摘要：抽象辩证框架（ADFs）是最近引入的Dung的流行抽象论证框架（AFs）的有力概括。受AF类似工作的启发，我们引入了ADF的分解方案，该方案沿着ADF的强连接组件进行。我们发现，对于一些语义，基于分解的版本与原始语义一致，而对于其他语义，它会产生新的语义。这些新的语义允许我们在更一般的设置中处理相关问题，例如奇长负循环，例如也包括逻辑程序。我们对这些新的、所谓的基于天真的语义的计算复杂性进行了详尽的分析。结果非常有趣，因为其中一些涉及所谓布尔层次的鲜为人知的类（多项式层次类之间的另一个层次）。此外，在轻信和怀疑的暗示中，复杂程度可能会有所不同，这取决于我们是检查特定陈述的真实性还是虚假性。 引用于4文件 理学硕士： 68T27型 人工智能中的逻辑 65年第68季度 算法和问题复杂性分析 关键词：自动推理;话语建模;信息代理;决策论 软件：卡奈德（Carneades）;钻石 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Gaggl}等人，J.Artif。智力。研究（JAIR）70，1-64（2021；Zbl 1476.68251） 全文： 内政部 参考文献： [1] Al Abdulkarim，L.、Atkinson，K.和Bench Capon，T.J.M.（2014）。法律推理的抽象辩证框架。Hoekstra，R.（Ed.），《第二十七届法律知识和信息系统年会（JURIX）会议记录》，FAIA第271卷，第61-70页。IOS出版社。 [2] Al-Abdulkarim，L.、Atkinson，K.和Bench-Capon，T.J.M.（2015）。评估使用抽象辩证框架来表示判例法。Sicheman，T.和Atkinson，K.（编辑），《第十五届国际人工智能与法律会议（ICAIL）论文集》，第156-160页。ACM公司。 [3] Al-Abdulkarim，L.、Atkinson，K.和Bench-Capon，T.J.M.（2016）。一种使用抽象辩证框架设计系统以与法律案件进行推理的方法。人工智能与法律，24（1），1-49。 [4] Al-Abdulkarim，L.、Atkinson，K.、Bench-Capon，T.J.M.、Whittle，S.、Williams，R.和Wolfenden，C.（2017）。噪音引起的听力损失：天使方法论的应用。Wyner，A.Z.和Casini，G.（编辑），《第三十届国际法律知识和信息系统会议记录》（JURIX），FAIA第302卷，第79-88页。IOS出版社。 [5] Amgoud，L.和Cayrol，C.（2002年）。基于可接受论据生成的推理模型。数学与人工智能年鉴，34（1-3），197-215·Zbl 1002.68172号 [6] Amgoud，L.、Cayrol，C.、Lagasquie-Schiex，M.和Livet，P.（2008）。论论证框架中的两极性。国际智能系统杂志，23，1-32·Zbl 1151.68049号 [7] Amgoud，L.和Vesic，S.（2010年）。使用基于偏好的论证处理不一致。Deshpande，A.和Hunter，A.（编辑），可扩展不确定性管理-第四届国际会议（SUM），LNCS第6379卷，第56-69页。斯普林格。 [8] Baroni，P.、Caminada，M.和Giacomin，M.（2011年）。论证语义学导论。《知识工程评论》，26（4），365-410。 [9] Baroni，P.、Giacomin，M.和Guida，G.（2005年）。SCC-递归性：论证语义的通用模式。人工智能，168（1-2），162-210·Zbl 1132.68765号 [10] Baumann，R.（2011）。分解论证框架。Delgrand，J.P.，&Faber，W.（编辑），逻辑编程和非单调推理（LPNMR），LNCS第6645卷，第40-53页。斯普林格·Zbl 1327.68240号 [11] Baumann，R.、Brewka，G.和Wong，R.（2011年）。分裂论证框架：实证评估。在Modgil，S.、Oren，N.和Toni，F.（编辑）《理论与应用》中 [12] Bench-Capon，T.J.M.（2003）。在实际论证中使用基于价值的论证框架进行说服。逻辑与计算杂志，13（3），429-448·Zbl 1043.03026号 [13] Brewka，G.和Gordon，T.F.（2010年）。卡奈德和抽象辩证框架：重建。Baroni，P.、Cerutti，F.、Giacomin，M.和Simari，G.R.（编辑），《第三届国际争论计算模型会议论文集》（COMMA），FAIA第216卷，第3-12页。IOS出版社。 [14] Brewka，G.、Strass，H.、Ellmauthaler，S.、Wallner，J.P.和Woltran，S.（2013）。重新审视抽象辩证法框架。罗西·F（编辑），《第二十三届国际人工智能联合会议论文集》，第803-809页。IJCAI/AAAI。 [15] Brewka，G.和Woltran，S.（2010年）。抽象辩证框架。Lin，F.、Sattler，U.和Truszczy´nski，M.（编辑），《第十二届知识表示和推理原则国际会议论文集》，第102-111页。AAAI出版社。 [16] Chang，R.和Kadin，J.（1996）。布尔层次结构和多项式层次结构：更紧密的联系。SIAM计算机杂志，25（2），340-354·Zbl 0844.68048号 [17] Cramer，M.和Guillaume，M.（2019年）。复杂论证框架人性化评价的实证研究。Calimeri，F.、Leone，N.和Manna，M.（编辑），《人工智能中的逻辑——第16届欧洲会议》（JELIA），LNCS第11468卷，第102-115页。斯普林格·Zbl 1525.68162号 [18] Cramer，M.和van der Torre，L.（2019年）。SCF2——一种论证语义学，用于人类理性判断论证的可接受性。Beierle，C.，Ragni，M.，Stolzenburg，F.，&Thimm，M.（编辑），《第八届知识与信仰动力学研讨会论文集》（DKB-2019）和第七届KI&Kognition研讨会（KIK-2019），与第四十四届德国人工智能会议（KI2019）合办，《欧洲研讨会论文集第2445卷》，第24-35页。CEUR-WS.org。 [19] Diller，M.、Wallner，J.P.和Woltran，S.（2014）。使用量化布尔公式在抽象辩证框架中进行推理。Parsons，S.、Oren，N.和Reed，C.（编辑），《第五届国际争论计算模型会议论文集》（COMMA），FAIA第266卷，第241-252页。IOS出版社。 [20] Dung，P.M.（1995）。论论证的可接受性及其在非单调推理、逻辑编程和n人游戏中的基本作用。人工智能，77（2），321-358·Zbl 1013.68556号 [21] Dunne，P.E.、Hunter，A.、McBurney，P.、Parsons，S.和Wooldridge，M.（2011）。加权参数系统：基本定义、算法和复杂性结果。人工智能，175（2），457-486·兹比尔1216.68261 [22] Dvo´r´ak，W.，&Gaggl，S.A.（2016年）。阶段语义和论证语义的SCC递归模式。《逻辑与计算杂志》，26（4），1149-1202·Zbl 1354.68252号 [23] Dvoár´ak，W.和Woltran，S.（2010）。论证框架中半稳定语义和阶段语义的复杂性。信息处理信件，110（11），425-430·兹比尔1229.68041 [24] Dvoár´ak，W.和Woltran，S.（2011）。论议论文语义学的互译性。《人工智能研究杂志》，41，445-475·Zbl 1234.68369号 [25] Ellmauthaler，S.和Strass，H.（2014）。使用抽象辩证框架进行计算的DIAMOND系统。Parsons，S.、Oren，N.和Reed，C.（编辑），《第五届国际争论计算模型会议论文集》（COMMA），FAIA第266卷，第233-240页。IOS出版社。 [26] Gaggl，S.A.、Rudolph，S.和Strass，H.（2015）。抽象辩证框架基于天真语义的计算复杂性。Yang，Q.，&Wooldridge，M.（编辑），第二十四届国际人工智能联合会议（IJCAI）会议记录，第2985-2991页。IJCAI/AAAI。 [27] Gaggl，S.A.和Strass，H.（2014）。分解抽象辩证框架。Parsons，S.、Oren，N.和Reed，C.（编辑），《第五届国际争论计算模型会议论文集》（COMMA），FAIA第266卷，第281-292页。IOS出版社。 [28] Gaggl，S.A.和Woltran，S.（2013年）。重新审视cf2论证语义。逻辑与计算杂志，23（5），925-949·Zbl 1275.68138号 [29] Li，H.、Oren，N.和Norman，T.J.（2011）。概率论证框架。Modgil，S.、Oren，N.和Toni，F.（编辑），《形式论证理论与应用第一届国际研讨会（TAFA）的修订论文集》，LNCS第7132卷，第1-16页。斯普林格。 [30] Liao，B.（2013）。面向论证语义的增量计算：一种基于分解的方法。《数学与人工智能年鉴》，67（3-4），319-358·Zbl 1328.03030号 [31] Liao，B.（2014）。论证语义的有效计算。智能系统系列。学术出版社。 [32] Linsbichler，T.（2014）。分裂抽象的辩证框架。Parsons，S.、Oren，N.和Reed，C.（编辑），《第五届国际争论计算模型会议论文集》（COMMA），FAIA第266卷，第357-368页。IOS出版社。 [33] Nouioua，F.和Risch，V.（2011年）。具有必要性的论证框架。Benferhat，S.和Grant，J.（编辑），《第五届可扩展不确定性管理国际会议论文集》，LNCS第6929卷，第163-176页。斯普林格。 [34] Papadimitriou，C.H.（1995年）。计算复杂性。艾迪森·韦斯利·兹伯利0557.68033 [35] Papadimitriou，C.H.和Yannakakis，M.（1982年）。方面的复杂性（以及复杂性的某些方面）。Lewis，H.R.、Simons，B.B.、Burkhard，W.A.和Landweber，L.H.（编辑），第十四届ACM计算理论研讨会论文集。ACM公司·Zbl 0571.68028号 [36] Polberg，S.和Doder，D.（2014）。概率抽象辩证框架。Ferm´e，e.和Leite，J.（编辑），《第十四届欧洲人工智能逻辑会议论文集》（JELIA），LNCS第8761卷，第591-599页。斯普林格·Zbl 1343.68228号 [37] Rahwan，I.、Simari，G.R.和van Benthem，J.（2009年）。《人工智能争论》，第47卷。斯普林格。 [38] 斯潘林，C.（2012）。抽象论证语义的互译性结果。维也纳理工大学硕士论文。 [39] Strass，H.（2013）。抽象辩证框架的近似运算符和语义。人工智能，205，39-70·Zbl 1334.68212号 [40] Strass，H.（2015）。抽象辩证框架的二值语义表达。《人工智能研究杂志》，54，193-231·Zbl 1343.68230号 [41] Strass，H.（2017）。抽象辩证框架。分析它们在知识表示和推理中的性质和作用。习惯改变。莱比锡大学。http://nbn-resolution.de/urn:nbn:de:bsz:15-qucosa2-167205。 [42] Strass，H.（2018）。在抽象的辩证框架和其他框架中实例化基于规则的不可行理论。逻辑与计算杂志，28（3），605-627·Zbl 1410.68348号 [43] Strass，H.和Ellmauthaler，S.（2017），goDIAMOND 0.6.6系统描述。在Gaggl，S.A.、Linsbichler，T.、Maratea，M.和Woltran，S.（编辑）的《第二届国际辩论计算模型竞赛》中，https://authousioncompetition.org/2017/goDIAMOND.pdf。 [44] Strass，H.和Wallner，J.P.（2015）。通过近似不动点理论分析抽象辩证框架的计算复杂性。人工智能，22634-74·Zbl 1346.68188号 [45] Toni，F.和Sergot，M.（2011年）。论证和答案集编程。Balduccini，M.和Son，T.（编辑），《逻辑编程、知识表示和非单调推理》，LNCS第6565卷，第164-180页。斯普林格·Zbl 1326.68279号 [46] Verheij，B.（1996）。辩证论证的两种方法：可容许集和论证阶段。Meyer，J.-J.C.和van der Gaag，L.C.（编辑），《第八届荷兰人工智能会议论文集》，第357-368页。 [47] Wechsung，G.（1985）。关于NP的布尔闭包。In Budach，L.（Ed.），《计算理论基础国际会议论文集》，LNCS第199卷，第485-493页。斯普林格·Zbl 0581.68043号 [48] Zhang，X.和Lin，Z.（2009）。一种基于论证的方法来处理DL-Lite中的不一致性。在Mertsching，B.、Hund，M.和Aziz，Z.（编辑），KI 2009:《人工智能进展》，LNCS第5803卷，第615-622页。施普林格 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。