×
沃尔夫冈·德沃亚克；塞巴斯蒂安·奥德尼亚克；斯泽德，斯特凡

扩充抽象论证中易于驾驭的片段。 （英语） Zbl 1251.68225号

Artif公司。智力。 186157-173（2012年）.
摘要：我们提出了一种新的方法来有效解决抽象论证中出现的重要计算问题。我们的方法使为受限片段定义的已知算法普遍适用，计算成本随着与片段的距离而增加。因此，在某种意义上，我们逐渐增加了易处理的碎片。令人惊讶的是，一些易驾驭的碎片允许这种增强，而其他碎片则不允许。
更具体地说，我们表明，对于大多数语义来说，当通过与非循环论证框架片段的距离进行参数化时，轻信和怀疑接受的问题是固定参数可处理的。其他易处理的碎片，例如对称和二分框架的碎片，似乎阻止了增强：对于距离碎片1的框架，验收问题已经很难解决。
在我们的研究中，我们使用了广泛的设置，并考虑了几种不同的语义。对于算法结果，我们利用了固定参数可处理性方面的最新进展。

引用于18文件

MSC公司：

68T27型 人工智能中的逻辑
65年第68季度 算法和问题复杂性分析

关键词：

抽象论证；后门；计算复杂性；参数复杂性；固定参数牵引性

软件：

奥斯卡
PDF格式BibTeX公司 XML格式引用
\textit{W.Dvořák}等人，Artif。智力。186157-173（2012年；兹比尔1251.68225）
全文： 内政部

参考文献：

[1] 巴罗尼，P。；邓恩，体育。；Giacomin，M.，《基于解析的抽象议论文语义学家族及其基础实例》，《人工智能》，175791-813（2011）·Zbl 1216.68255号
[2] 巴罗尼，P。；Giacomin，M.，《抽象论证系统的语义》（Rahwan，I.；Simari，G.，《人工智能中的论证》（2009），Springer Verlag），25-44
[3] Bench Capon，T·J·M·。；Dunne，P.E.，《人工智能中的论证》，人工智能，171，619-641（2007）·Zbl 1168.68560号
[4] 贝斯纳德，P。；Hunter，A.，《论证要素》（2008），麻省理工学院出版社
[5] Bondarenko，A。；Dung，P.M。；Kowalski，R.A。；Toni，F.，《默认推理的抽象论证理论方法》，《人工智能》，93，63-101（1997）·Zbl 1017.03511号
[6] 卡米纳达，M.，《关于恢复辩论的问题》（Fisher，M.；van der Hoek，W.；Konev，B.；Lisitsa，A.，《人工智能中的逻辑》，第十届欧洲会议论文集，JELIA 2006。人工智能中的逻辑，第十届欧洲会议论文集，JELIA 2006，英国利物浦，2006年9月13-15日。人工智能中的逻辑，第十届欧洲会议论文集，JELIA 2006。人工智能中的逻辑，第十届欧洲会议论文集，JELIA 2006，英国利物浦，2006年9月13-15日，计算机科学讲义，第4160卷（2006），Springer Verlag），111-123·兹比尔1152.68600
[7] 卡米纳达，M.，《半稳定语义学》（Dunne，P.E.；Bench-Capon，T.J.M.，第一届计算论证模型会议论文集（COMMA 2006）。《第一届辩论计算模型会议记录》（COMMA 2006），《人工智能与应用前沿》，第144卷（2006），IOS出版社），121-130
[8] 卡米纳达，M。；Gabbay，D.M.，《形式论证的逻辑解释》，Studia Logica，93，109-145（2009）·兹比尔1188.03011
[9] 陈，J。；刘，Y。；卢，S。；奥沙利文，B。；Razgon，I.，定向反馈顶点集问题的固定参数算法，J.ACM，55（2008），第21、19条·Zbl 1325.68104号
[10] 科斯特·马奎斯（Coste-Marquis，S.）。；德弗雷德，C。；Marquis，P.，《对称论证框架》，（Godo，L.，《不确定性推理的符号和定量方法》，第八届欧洲会议论文集，ECSQARU 2005。《不确定性推理的符号和定量方法》，第八届欧洲会议论文集，ECSQARU 2005，西班牙巴塞罗那，2005年7月6-8日。《不确定性推理的符号和定量方法》，第八届欧洲会议论文集，ECSQARU 2005。不确定性推理的符号和定量方法，第八届欧洲会议论文集，ECSQARU 2005，西班牙巴塞罗那，2005年7月6-8日，计算机科学讲义，第3571卷（2005），Springer Verlag），317-328·Zbl 1122.68642号
[11] Dimopoulos，Y。；托雷斯，A.，《逻辑程序和缺省理论中的图形理论结构》，理论。计算。科学。，170, 209-244 (1996) ·Zbl 0874.68190号
[12] 唐尼，R.G。；Fellows，M.R.，参数化复杂性，计算机科学专著（1999），Springer-Verlag:Springer-Verlag纽约·Zbl 0914.68076号
[13] Dung，P.M.，《论据的可接受性及其在非单调推理、逻辑编程和人游戏中的基本作用》，人工智能，77，321-357（1995）·Zbl 1013.68556号
[14] Dunne，P.E.，满足图形理论约束的自变量系统的计算属性，人工智能，171，701-729（2007）·兹比尔1168.68565
[15] P.E.Dunne，T.J.M.Bench-Capon，参数系统的复杂性和组合特性，利物浦大学技术报告，2001年。；P.E.Dunne，T.J.M.Bench-Capon，参数系统的复杂性和组合特性，利物浦大学技术报告，2001年。
[16] 邓恩，体育。；Bench-Capon，T.J.M.，有限论元系统中的一致性，人工智能，141187-203（2002）·兹比尔1043.68098
[17] 邓恩，体育。；Caminada，M.，抽象论证框架中半稳定语义的计算复杂性，（Hölldobler，S.；Lutz，C.；Wansing，H.，《第十一届欧洲人工智能逻辑会议论文集》，JELIA 2008。第十一届欧洲人工智能逻辑会议论文集JELIA 2008，计算机科学讲稿，第5293卷（2008），Springer），153-165·Zbl 1178.68557号
[18] 邓恩，体育。；Wooldridge，M.，《抽象论证的复杂性》（Simari，G.；Rahwan，I.，《人工智能中的论证》（2009），Springer US），第85-104页
[19] 德沃夏克，W。；Woltran，S.，论证框架中半稳定和阶段语义的复杂性，Inform。过程。莱特。，110425-430（2010年）·Zbl 1229.68041号
[20] 德沃夏克，W。；Woltran，S.，《论论证语义学的互译性》，J.Artif。智力。研究，41，445-475（2011）·Zbl 1234.68369号
[21] Dvořák，W.，技术注释：探索（\Sigma_2^P/\Pi_2^P）-到可处理类具有固定距离的论证问题的硬度，CoRR（2012）
[22] 德沃夏克，W。；皮克勒，R。；Woltran，S.，面向抽象论证的固定参数可处理算法，人工智能，186，1-37（2012）·Zbl 1251.68226号
[23] 德沃夏克，W。；Szeider，S。；Woltran，S.，《有限集团宽度论证框架中的推理》，（Baroni，P.；Cerutti，F.；Giacomin，M.；Simari，G.R.，《论证的计算模型》，《2010年COMMA会议录》。论证的计算模型，《2010年COMMA会议录》，《人工智能与应用前沿》，第216卷（2010），IOS），219-230·Zbl 1198.68234号
[24] J.K.Fichte，S.Szeider，《可处理答案集编程的后门》，载：T.Walsh（编辑），IJCAI，2011年第22届国际人工智能联合会议论文集，西班牙加泰罗尼亚巴塞罗那，2011年7月16日至22日，第863-868页。；J.K.Fichte，S.Szeider，《可驾驭答案集编程的后门》，T.Walsh（Ed.），IJCAI，2011年第22届国际人工智能联合会议论文集，西班牙加泰罗尼亚巴塞罗那，2011年7月16日至22日，第863-868页·Zbl 1328.68040号
[25] 弗鲁姆，J。；Grohe，M.，参数化复杂性理论，理论计算机科学文本，EATCS系列，第十四卷（2006），Springer-Verlag:Springer-Verlag Berlin·Zbl 1143.68016号
[26] Garey，M.R。；Johnson，D.R.，《计算机与难治性》（1979），W.H.Freeman and Company：W.H.Freeman&Company New York，San Francisco·Zbl 0411.68039号
[27] Gaspers，S.公司。；Szeider，S.，满意后门，CoRR（2011）
[28] Gottlob，G。；Szeider，S.，人工智能、约束满足和数据库问题的固定参数算法，计算。J.，51，303-325（2006），调查论文
[29] 雅各布维茨，H。；Vermeir，D.，《论证框架的稳健语义》，J.逻辑计算。，9, 215-261 (1999) ·Zbl 0933.68088号
[30] 莫吉尔，S。；Caminada，M.，《抽象论证框架的证明理论和算法》，（Rahwan，I.；Simari，G.，《人工智能中的论证》（2009），Springer-Verlag），105-132
[31] Niedermeier，R.，固定参数算法邀请函，牛津数学及其应用系列讲座（2006），牛津大学出版社：牛津大学出版社·Zbl 1095.68038号
[32] Papadimitriou，C.H.，计算复杂性（1994），Addison Wesley·Zbl 0557.68033号
[33] 帕森斯，S。；伍尔德里奇，M。；Amgoud，L.，一些正式的代理间对话的性质和复杂性，J.逻辑计算。，13, 347-376 (2003) ·Zbl 1038.03037号
[34] Pollock，J.L.，《如何合理推理》，《人工智能》，第57期，第1-42页（1992年）·Zbl 0763.68056号
[35] （Rahwan，I.；Simari，G.R.，《人工智能中的论证》（2009），施普林格出版社）
[36] 里德，B。；史密斯，K。；Vetta，A.，《寻找奇数循环横截面》，Oper。Res.Lett.公司。，32, 299-301 (2004) ·Zbl 1052.05061号
[37] 罗伯逊，N。；西摩，P.D。；托马斯，R.，《永久性，费菲定向，甚至定向电路》，《数学年鉴》。(2), 150, 929-975 (1999) ·兹伯利0947.05066
[38] 萨默，M。；Szeider，S.，量化布尔公式的后门集，J.Automat。原因。，42, 77-97 (2009) ·兹比尔1191.68353
[39] 萨默，M。；Szeider，S.，《固定参数牵引性》（Biere，A.；Heule，M.；van Maaren，H.；Walsh，T.，《可满足性手册》（2009），IOS出版社），425-454
[40] B.Verheij，《辩证论证的两种方法：可容许集和论证阶段》，载于《第八届荷兰人工智能会议论文集》（NAIC’96），第357-368页。；B.Verheij，《辩证论证的两种方法：可容许集和论证阶段》，载于《第八届荷兰人工智能会议论文集》（NAIC’96），第357-368页。
[41] B.Verheij，《计算论证中轻信接受的标记方法》，M.M.Veloso（编辑），《第20届国际人工智能联合会议论文集》（IJCAI 2007），第623-628页。；B.Verheij，《论证中轻信接受计算的标记方法》，载于：M.M.Veloso（编辑），《第20届国际人工智能联合会议论文集》（IJCAI 2007），第623-628页。
[42] 威廉姆斯，R。；戈麦斯，C。；Selman，B.，《典型案例复杂性的后门》（Gottlob，G.；Walsh，T.，《第十八届国际人工智能联合会议论文集》，IJCAI 2003（2003），Morgan Kaufmann），1173-1178
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。