沃尔夫冈·德沃亚克;亚历山大·格雷勒;安娜·拉贝格;斯特凡·沃尔特兰 主张增强论证框架的复杂性。 （英语） Zbl 07698052号 Artif公司。智力。 317，文章ID 103873，38 p.（2023）. 摘要：主张增强论证框架（CAF）通过采用以主张为中心的观点，为分析论证中的结论导向问题提供了一个正式的基础；他们通过将一个主张与代表其结论的每个论点联系起来，扩展了Dung AF。这个附加层提供了各种可能性来概括抽象论证语义，也就是说，在评估框架的不同阶段，可以根据其主张重新解释论点：一种方法是在根据其主张解释论点之前，完全在论点层面进行评估（继承语义）；或者，可以根据参数的声明（claimlevel语义）在过程中执行某些步骤（例如，最大化）。这些方法的固有差异不仅可能导致不同的结果，而且正如我们将在本文中显示的那样，也反映在计算复杂性方面。为此，我们针对优先、朴素、稳定、半稳定和阶段语义的索赔级变体，对四个主要推理问题进行了全面的复杂性分析，并通过提供半稳定和步骤语义的相应结果来完成继承语义的复杂性结果。此外，当局限于特定的图类并且由框架内的声明数量参数化时，我们为这些类型的框架提供了复杂性结果。此外，我们还表明，对于给定的框架，确定语义的两种方法是否一致（并发）可能会非常困难，达到多项式层次结构的第三级。 引用于1文件 MSC公司： 68泰克 人工智能 关键词：论证;推理的计算复杂性 PDF格式BibTeX公司 XML格式引用 \textit{W.Dvořák}等人，Artif。智力。317，文章ID 103873，38 p.（2023；Zbl 07698052） 全文： 内政部 参考文献： [1] 阿特金森，K。；巴罗尼，P。；Giacomin，M。；亨特，A。；普拉肯，H。；里德，C。；Simari，G.R。；蒂姆，M。；Villata，S.，《走向人工论证》，AI Mag.，38，3，25-36（2017） [2] Dung，P.M.，《论据的可接受性及其在非单调推理、逻辑编程和n人游戏中的基本作用》，Artif。智力。，77, 2, 321-358 (1995) ·兹比尔1013.68556 [3] Bondarenko，A。；Dung，P.M。；Kowalski，R.A。；Toni，F.，《缺省推理的抽象论证理论方法》，Artif。智力。，93, 63-101 (1997) ·Zbl 1017.03511号 [4] 莫吉尔，S。；Prakken，H.，抽象的基于规则的论证，（Baroni，P.；Gabbay，D.；Giacomin，M.；van der Torre，L.，《形式论证手册》（2018），学院出版物），287-364，第6章，也出现在IfCoLog《逻辑及其应用期刊》4（8）：2319-2406 [5] 巴罗尼，P。；卡米纳达，M。；Giacomin，M.，《抽象论证框架及其语义》，（Baroni，P.；Gabbay，D.；Giacomine，M.；van der Torre，L.，《形式论证手册》（2018），大学出版社），159-236，第4章 [6] 德沃夏克，W。；Dunne，P.E.，《形式论证中的计算问题及其复杂性》（Baroni，P.；Gabbay，D.；Giacomin，M.；van der Torre，L.，《形式辩论手册》（2018），大学出版物），631-687，Ch.14，也出现在IfCoLog《逻辑学及其应用杂志》4（8）：2557-2622 [7] 巴罗尼，P。；Riveret，R.，《通过多标记系统加强论证中的陈述评估》，J.Artif。智力。决议，66，793-860（2019年）·Zbl 1446.68150号 [8] 德沃夏克，W。；Rabberger，A。；Woltran，S.，《以权利要求为中心的观点下的论证语义学：属性、表现力和与SETAF的关系》，（Calvanee，D.；Erdem，E.；Thielscher，M.，《第17届知识表示与推理原则国际会议论文集》（KR 2020）（2020），IJCAI.org），341-350 [9] Gorogannis，N。；Hunter，A.，《用经典逻辑论证实例化抽象论证：假设和属性》，Artif。智力。，175, 9-10, 1479-1497 (2011) ·Zbl 1225.68248号 [10] 卡米纳达，M。；Sá，S。；J.阿尔坎塔拉。；Dvořák，W.，《逻辑编程语义和论证语义之间的等价性》，《国际近似推理》。，58, 87-111 (2015) ·Zbl 1328.68211号 [11] Cyras，K。；范，X。；舒尔茨，C。；Toni，F.，《基于假设的论证：争议、解释、偏好》（Baroni，P.；Gabbay，D.；Giacomin，M.；van der Torre，L.，《形式论证手册》（2018），大学出版物），365-408，Ch.7，也出现在IfCoLog《逻辑学及其应用杂志》4（8）：2407-2456 [12] 德沃夏克，W。；Woltran，S.，《以权利要求为中心的抽象论证的复杂性》，Artif。智力。，285，第103290条pp.（2020）·Zbl 1451.68261号 [13] Rapperger，A.，《在以主张为中心的观点下定义论证语义》，（Rudolph，S.；Marreiros，G.，《2020年第九届欧洲启动人工智能研究人员研讨会论文集》。《2020年第九届欧洲启动人工智能研究者研讨会论文集》，CEUR研讨会论文集，第2655卷（2020），CEUR-WS.org） [14] 卡米纳达，M。；Sá，S。；J.阿尔坎塔拉。；Dvořák，W.，《关于基于假设的论证与抽象论证之间的区别》，IfCoLog J.Log。申请。，2015年2月1日至34日 [15] Dvořák，W.，抽象论证的计算方面（2012），维也纳理工大学信息系统研究所，博士论文 [16] 德沃夏克，W。；格雷勒，A。；Rabberger，A。；Woltran，S.，《索赔增强论证框架的复杂性景观》，（第三十五届AAAI人工智能会议，AAAI 2021，第三十三届人工智能创新应用会议，IAAI 2022，第十一届人工智能教育进展研讨会，EAAI 2021.虚拟事件，2021年2月2日至9日（2021），美国AAAI出版社），6296-6303 [17] 卡西，S。；范德托雷，L.W.N。；Villata，S.，《抽象论证的偏好》（Modgil，S.；Budzynska，K.；Lawrence，J.，《论证的计算模型——2018年COMMA会议录》）。论证的计算模型——2018年COMMA会议记录，波兰华沙，2018年9月12-14日。论证的计算模型——2018年COMMA会议记录。《论据的计算模型——2018年COMMA会议录》，波兰华沙，2018年9月12-14日，《人工智能与应用前沿》，第305卷（2018），IOS出版社，405-412·Zbl 1430.68308号 [18] Bernreiter，M。；德沃拉克，W。；Rabberger，A。；Woltran，S.，《以权利要求为中心的观点下抽象论证中偏好的影响》，（Arieli，O.；Casini，G.；Giordano，L.，《第20届非单调推理国际研讨会论文集》，NMR 2022，联邦逻辑会议部分（FLoC 2022）。第20届非单调推理国际研讨会论文集，NMR 2022，联邦逻辑会议（FLoC 2022）的一部分，以色列海法，2022年8月7-9日。第20届非单调推理国际研讨会论文集，NMR 2022，联邦逻辑会议（FLoC 2022）的一部分。第20届非单调推理国际研讨会论文集，NMR 2022，联邦逻辑会议部分（FLoC 2022），以色列海法，2022年8月7日至9日，《CEUR研讨会论文集》，第3197卷（2022年），CEUR-WS.org，27-38，也出现在第37届人工智能会议论文集（AAAI 2023）中 [19] 德沃夏克，W。；Rabberger，A。；Woltran，S.，《以权利要求为中心的抽象论证语义学观点：权利要求失败、原则和表现力》（2022），TU Wien，技术报告DBAI-TR-2022-124 [20] Arora，S。；Barak，B.，《计算复杂性：现代方法》（2009），剑桥大学出版社：剑桥大学出版社，美国纽约州纽约市·Zbl 1193.68112号 [21] Cygan，M。；Fomin，F.V。；科瓦利克，L。；Lokshtanov，D。；马克思，D。；Pilipczuk，M。；Pilipczuk，M。；Saurabh，S.，参数化算法（2015），Springer·兹比尔1334.90001 [22] 迪莫普洛斯，Y。；托雷斯，A.，《逻辑程序和缺省理论中的图形理论结构》，Theor。计算。科学。，170，1-2209-244（1996年）·Zbl 0874.68190号 [23] 邓恩，体育。；Bench-Capon，T.J.M.，有限论元系统中的一致性，Artif。智力。，141, 1/2, 187-203 (2002) ·Zbl 1043.68098号 [24] 德沃夏克，W。；Woltran，S.，论证框架中半稳定和阶段语义的复杂性，Inf.Process。莱特。，110, 11, 425-430 (2010) ·Zbl 1229.68041号 [25] 基塞尔，R。；Rapberger，A.，《格式良好的CAF的并发：朴素语义》（2021） [26] Dunne，P.E.，满足图论约束的变元系统的计算性质，人工制品。智力。，171, 10-15, 701-729 (2007) ·Zbl 1168.68565号 [27] 德沃夏克，W。；Szeider，S。；Woltran，S.，《有限集团宽度论证框架中的推理》，（Baroni，P.；Cerutti，F.；Giacomin，M.；Simari，G.R.，《第三届论证计算模型会议论文集》（COMMA 2010），《人工智能与应用前沿》（2010），IOS出版社：IOS出版社Desenzano del Garda，意大利），219-230 [28] 德沃夏克，W。；皮克勒，R。；Woltran，S.，《面向抽象论证的固定参数可处理算法》，Artif。智力。，186, 1-37 (2012) ·Zbl 1251.68226号 [29] 德沃夏克，W。；Ordyniak，S。；Szeider，S.，《扩充抽象论证的可驾驭片段》，Artif。智力。，186, 157-173 (2012) ·Zbl 1251.68225号 [30] 邓恩，体育。；Bench-Capon，T.J.M.，论证系统的复杂性和组合特性（2001），利物浦大学计算机科学系，技术报告·Zbl 0970.68072号 [31] Greßler，A.，《声明和集体攻击的论证框架：复杂性结果和答案编程编码》（2019年），维也纳理工大学，Stefan Woltran和Wolfgang Dvoák advisors [32] 科斯特·马奎斯（Coste-Marquis，S.）。；德弗雷德，C。；Marquis，P.，《对称论证框架》（Godo，L.，《第八届欧洲不确定性推理符号和定量方法会议论文集》（ECSQARU 2005）。第八届欧洲不确定性推理的符号和定量方法会议记录（ECSQARU 2005），《计算机科学讲义》，第3571卷（2005），施普林格出版社，317-328·Zbl 1122.68642号 [33] 德沃夏克，W。；Järvisalo，M。；Wallner，J.P。；Woltran，S.，抽象论证的复杂性敏感决策程序，Artif。智力。，206, 53-78 (2014) ·兹比尔1334.68206 [34] 查瓦特，G。；德沃夏克，W。；Gaggl，S.A。；Wallner，J.P。；Woltran，S.，《解决抽象论证中推理问题的方法——调查》，Artif。智力。，220，28-63（2015年）·Zbl 1328.68212号 [35] Cerutti，F。；Gaggl，S.A。；蒂姆，M。；Wallner，J.P.，《形式论证实现的基础》，（Baroni，P.；Gabbay，D.；Giacomin，M.；van der Torre，L.，《形式论证手册》（2018），学院出版物），688-767，第15章，也出现在《IfCoLog逻辑及其应用期刊》4（8）：2623-2706·Zbl 1504.03001号 [36] Baumeister，D。；Järvisalo，M。；Neugebauer，D。；Niskanen，A。；Rothe，J.，《不完全论证框架中的接受》，Artif。智力。，295，第103470条pp.（2021）·Zbl 1519.68244号 [37] Fazzinga，B。；弗莱斯卡，S。；Furfaro，F.，《在存在相关性的情况下对不完全论证的人工智能进行推理》（Zhou，Z.，《第三十届国际人工智能联合会议论文集》，IJCAI 2021，虚拟事件/加拿大蒙特利尔，2021年8月19日至27日（2021），IJCAI.org），189-195 [38] 巴罗尼，P。；邓恩，体育。；Giacomin，M.，《论论证框架中的扩展计数问题》，（Baroni，P.；Cerutti，F.；Giacoming，M.；Simari，G.R.，《论证的计算模型：2010年COMMA会议录》。《论证的计算模型：2010年COMMA会议录》，意大利加尔达，2010年9月8日至10日。《争论的计算模型：2010年COMMA会议录》。《论据的计算模型：2010年COMMA会议录》，Desenzano del Garda，意大利，2010年9月8日至10日，《人工智能与应用前沿》，第216卷（2010年），IOS出版社），63-74·兹比尔1198.68234 [39] 费希特，J.K。；海彻，M。；Meier，A.，计算抽象论证中推理的复杂性，（第三十三届AAAI人工智能会议，2019年AAAI，第三十届创新应用人工智能会议 [40] 鲍曼，R。；Doutre，S。；梅利，J.-G。；Wallner，J.P.，《正式辩论中的强制执行》（Gabbay，D.；Giacomin，M.；Simari，G.R.；Thimm，M.，《形式辩论手册》，第2卷（2021年），大学出版物），第8章·Zbl 1516.68088号 [41] Wallner，J.P。；Niskanen，A。；Järvisalo，M.，《抽象论证中扩展实施的复杂性结果和算法》，J.Artif。智力。决议，60，1-40（2017）·兹比尔1418.68196 [42] Amgoud，L。；Vesic，S.，《基于偏好的论证框架》，《国际期刊近似推理》。，55, 2, 585-606 (2014) ·Zbl 1316.68150号 [43] 阿尔法诺，G。；Greco，S。；巴黎，F。；Trubitsyna，I.，《论抽象论证中的偏好和优先权规则》（Raedt，L.D.，《第三十届国际人工智能联合会议论文集》，IJCAI 2022，奥地利维也纳，2022年7月23日至29日（2022），IJCAI.org），2517-2524 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。