×
金恩贞（Kim，Eun Jung）;塞巴斯蒂安·奥德尼亚克;斯泽德，斯特凡

说服性论证的算法和复杂性结果。 （英语） Zbl 1230.68189号

Artif公司。智力。 175，编号9-10，1722-1736（2011）.
摘要：作为抽象实体的论据及其交互作用的研究P.M.邓[Artif.Intell.77，No.2，321-357（1995；Zbl 1013.68556号)]已经成为人工智能和推理领域最活跃的研究分支之一。抽象论证系统的一个主要问题是选择可接受的论点集。基于价值的论证，由介绍T.J.M.工作台盖[J.Log.Compute.13，No.3，429–448（2003年；Zbl 1043.03026号)]，扩展了Dung的框架。它考虑了与代表观众的某些排名相关的论点的相对强度：如果某个论点被某些观众接受，那么它是主观接受的；如果它被所有观众接受，则它是客观接受的。
判断一个论点是被主观接受还是被客观接受，这是一个计算上难以解决的问题。事实上，这些问题在结构限制下仍然难以解决，这使得非价值论证系统的主要计算问题变得容易处理。在这篇论文中，我们确定了一类非平凡的基于值的论证系统，其接受问题是多项式时间可处理的。根据基于价值的系统的底层图形结构，通过结构限制来定义类。此外，我们还表明，对于两类基于值的系统，其可接受性问题是难以处理的，其中假设可由P.E.邓恩[《情报汇编》第171卷，第10-15期，第701-729页（2007年；Zbl 1168.68565号)].

引用于7文件

MSC公司：

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

关键词：

抽象论证;基于价值的论证框架;计算复杂性;图形模型;有界树宽

引文：

Zbl 1013.68556号;Zbl 1043.03026号;Zbl 1168.68565号

软件：

奥斯卡
PDF格式BibTeX公司 XML格式引用
\textit{E.J.Kim}等人，Artif。智力。175，编号9-10，1722--1736（2011；Zbl 1230.68189）
全文： 内政部

参考文献：

[1] Dung，P.M.，《论据的可接受性及其在非单调推理、逻辑编程和人游戏中的基本作用》，人工智能，77，2，321-357（1995）·Zbl 1013.68556号
[2] Bench-Capon，T.J.M。；Dunne，P.E.，《人工智能中的论证》，人工智能，171，10-15，619-641（2007）·Zbl 1168.68560号
[3] 贝斯纳德，P。；Hunter，A.，《论证要素》（2008），麻省理工学院出版社
[4] （Rahwan，I.；Simari，G.R.，《论证人工智能》（2009），施普林格-弗拉格出版社）
[5] Pollock，J.L.，《如何合理推理》，《人工智能》，第57、1、1-42页（1992年）·Zbl 0763.68056号
[6] Bondarenko，A。；Dung，P.M。；Kowalski，R.A。；Toni，F.，《默认推理的抽象论证理论方法》，《人工智能》，93，1-2，63-101（1997）·Zbl 1017.03511号
[7] 帕森斯，S。；伍尔德里奇，M。；Amgoud，L.，一些正式代理间对话的性质和复杂性，《逻辑与计算杂志》，13，3，347-376（2003）·Zbl 1038.03037号
[8] Bench-Capon，T.J.M.，《使用基于价值的论证框架在实践论证中的说服》，《逻辑与计算杂志》，13，3，429-448（2003）·Zbl 1043.03026号
[9] Bench-Capon，T.J.M。；Doutre，S。；Dunne，P.E.，《论证框架中的受众》，《人工智能》，171，1，42-71（2007）·Zbl 1168.68561号
[10] 邓恩，体育。；Bench-Capon，T.J.M.，《基于复杂性值的论证系统》，（Alferes，J.J.；Leite，J.A.，《人工智能中的逻辑》，第九届欧洲会议论文集，JELIA 2004。人工智能中的逻辑，第九届欧洲会议论文集，JELIA 2004，葡萄牙里斯本，2004年9月27日至30日。人工智能中的逻辑，第九届欧洲会议论文集，JELIA 2004。人工智能中的逻辑，第九届欧洲会议论文集，JELIA 2004，葡萄牙里斯本，2004年9月27日至30日，计算机科学讲义，第3229卷（2004），Springer-Verlag），360-371·Zbl 1111.68673号
[11] Dunne，P.E.，《基于价值的论证中的可追溯性》（Baroni，P..；Cerutti，F.；Giacomin，M.；Simari，G.R.，《论证的计算模型》，《COMMA 2010年会议录》。论证的计算模型，《2010年COMMA会议录》，《人工智能与应用前沿》，第216卷（2010），IOS），195-206·兹比尔1198.68234
[12] Dunne，P.E.，满足图形理论约束的自变量系统的计算属性，人工智能，171，10-15，701-729（2007）·Zbl 1168.68565号
[13] Kim，E.J。；Ordyniak，S。；Szeider，S.，《说服性论证的算法和复杂性结果》，（Baroni，P.；Cerutti，F.；Giacomin，M.；Simari，G.R.，《论证的计算模型》，《2010年COMMA会议录》。论证的计算模型，《2010年COMMA会议录》，《人工智能与应用前沿》，第216卷（2010年），IOS，311-322·兹比尔1198.68234
[14] Bang-Jensen，J。；Gutin，G.，有向图：理论、算法、应用，Springer数学专著（2001），Springer-Verlag:Springer-Verlag London·Zbl 0958.05002号
[15] 巴罗尼，P。；Giacomin，M.，抽象论证系统的语义学，（Rahwan，I.；Simari，G.，人工智能论证（2009），Springer Verlag），25-44
[16] 弗洛伊德，E.C.，“回溯搜索的一个充分条件”，《美国医学杂志》，32，4，755-761（1985）·Zbl 0633.68096号
[17] Dechter，R.，《桶消除：推理的统一框架》，《人工智能》，第113、1-2、41-85页（1999年）·Zbl 0939.68847号
[18] Darwiche，A.，递归条件反射，人工智能，126，1-2，5-41（2001）·Zbl 0969.68150号
[19] Gottlob，G。；皮克勒，R。；Wei，F.，有界树宽度是知识表示和推理可处理性的关键，（第21届全国人工智能大会和第18届人工智能创新应用大会（2006），美国人工智能学会出版社）·Zbl 1185.68690号
[20] 德沃拉克，W。；皮克勒，R。；Woltran，S.，《朝向固定参数可处理的论证算法》，（Lin，F.；Sattler，U.；Truszczynski，M.，《知识表示和推理原理：第十二届国际会议论文集》，韩国，2010年。《知识表示和推理原理：第十二届国际会议论文集》，KR 2010，加拿大安大略省多伦多，2010年5月9日至13日（2010），AAAI出版社）·Zbl 1251.68226号
[21] Bodlaender，H.L.，《穿越树干的导游》，《控制学报》，第11期，第1-21页（1993年）·Zbl 0804.68101号
[22] B.Courcelle，有限图集的可识别性和二阶可定义性，技术代表I-8634，波尔多大学，1987。；B.Courcelle，有限图集的可识别性和二阶可定义性，技术代表I-8634，波尔多大学，1987年。
[23] 弗鲁姆，J。；Grohe，M.，参数化复杂性理论，理论计算机科学文本。EATCS系列，第十四卷（2006年），Springer-Verlag:Springer-Verlag Berlin·Zbl 1143.68016号
[24] Garey，M.R。；Johnson，D.R.，《计算机与难治性》（1979），W.H.Freeman and Company：W.H.Freeman&Company New York，San Francisco·Zbl 0411.68039号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。