贝蒂娜·法辛加;塞尔吉奥·弗莱斯卡;弗朗西斯科·帕里西 概率抽象论证框架的复杂性。 （英语） Zbl 1354.68253号 ACM事务处理。计算。日志。 16，第3号，第22条，39页（2015年）. 引用于21文件 MSC公司： 68T27型 人工智能中的逻辑 65年第68季度 算法和问题复杂性分析 68层37 人工智能背景下的不确定性推理 关键词：计算复杂性;论辩理论;概率推理;不确定性 PDF格式BibTeX公司 XML格式引用 \textit{B.Fazzinga}等人，ACM Trans。计算。日志。16，第3号，第22条，39页（2015；Zbl 1354.68253） 全文： 内政部 参考文献： [1] Teresa Alsinet，Carlos Ivá；n支票ñ；evar、Lluis Godo、Sandra Sandri和Guillermo Ricardo Simari.2008a。在具有模糊统一的可能性逻辑编程环境中形式化论证推理。《国际近似推理杂志》48，3（2008），711-729·Zbl 1184.68497号 ·doi:10.1016/j.ijar.2007.07.004 [2] Teresa Alsinet，Carlos Ivá；n支票ñ；evar、Lluis Godo和Guillermo Ricardo Simari.2008b。可能性论证的逻辑编程框架：形式化和逻辑属性。模糊集系统。159, 10 (2008), 1208–1228. ·Zbl 1187.68601号 ·doi:10.1016/j.fss.2007.12.013 [3] Leila Amgoud和Claudette Cayrol。2002.基于可接受论据生成的推理模型。安。数学。Artif公司。智力。34, 1–3 (2002), 197–215. ·Zbl 1002.68172号 [4] 莱拉·阿姆古德和亨利·普拉德。2004.通过论证达成协议：一种可行的方法。《知识表示与推理原理》（KR）。175–182. [5] Leila Amgoud和Srdjan Vesic。2011.基于偏好的论证框架的新方法。安。数学。Artif公司。智力。63, 2 (2011), 149–183. ·Zbl 1234.68371号 ·doi:10.1007/s10472-011-9271-9 [6] 彼得罗·巴罗尼（Pietro Baroni）、马丁·卡米纳达（Martin Caminada）和马西米利亚诺·贾科明（Massimiliano Giacomin）。2011.议论文语义学导论。知识。工程修订版26，4（2011），365–410·doi:10.1017/S026988891100166 [7] 彼得罗·巴罗尼和马西米利亚诺·贾科明。2009年，抽象论证系统的语义。在人工智能辩论中。25–44. ·Zbl 1191.68671号 ·doi:10.1007/978-0-387-98197-02 [8] 彼得罗·巴罗尼（Pietro Baroni）、马西米利亚诺·贾科明（Massimiliano Giacomin）和乔瓦尼·吉达（Giovanni Guida）。SCC-递归性：论证语义的一般模式。Artif公司。智力。168, 1–2 (2005), 162–210. ·Zbl 1132.68765号 [9] 特雷弗·J·M·班奇-卡彭（Trevor J.M.Bench-Capon）。2003.使用基于价值的论证框架在实际论证中进行说服。J.日志。计算。13, 3 (2003), 429–448. ·Zbl 1043.03026号 ·doi:10.1093/logcom/13.3.429 [10] Trevor J.M.Bench Capon和Paul E.Dunne。2007年，人工智能论证。Artif公司。智力。171, 10–15 (2007), 619–641. ·Zbl 1168.68560号 [11] 菲利普·贝斯纳德（Philippe Besnard）和安东尼·亨特（Anthony Hunter）（编辑）。2008.论证要素。麻省理工学院出版社。 ·doi:10.7551/mitpress/9780262026437.001.0001 [12] 马丁·卡米纳达。2006.半静态语义。在计算论证模型（COMMA）中。121–130. [13] 马丁·卡米纳达（Martin W.A.Caminada）、沃尔特·亚历山大·卡尼埃利（Walter Alexandre Carnielli）和保罗·邓恩（Paul E.Dunne）。2012.半静态语义。J.日志。计算。22, 5 (2012), 1207–1254. ·Zbl 1267.68223号 ·doi:10.1093/log.com/exr033 [14] Sylvie Coste-Marquis、Caroline Devred和Pierre Marquis。2005.论证框架的谨慎语义。在人工智能工具国际会议（ICTAI）上。568–572. ·Zbl 1122.68642号 ·doi:10.1109/ICTAI.2005.103 [15] Sylvie Coste-Marquis，Sé；巴斯蒂安·科尼奇尼（bastien Konieczny）、皮埃尔·马奎斯（Pierre Marquis）和莫汉德·阿克利·瓦利（Mohand Akli Ouali）。2012.论证框架中的加权攻击。《知识表示与推理原理》（KR）。593–597. [16] P.M.Dung、R.A.Kowalski和F.Toni。2009年，基于假设的论证。在人工智能辩论中。199–218. ·doi:10.1007/978-0-387-98197-0_10 [17] Phan Minh Dung公司。关于论点的可接受性及其在非单调推理、逻辑编程和n人博弈中的基本作用。Artif公司。智力。77, 2 (1995), 321–358. ·Zbl 1013.68556号 ·doi:10.1016/0004-3702（94）00041-X [18] 潘明·邓、保罗·曼卡雷拉和弗朗西丝卡·托尼。2007.计算理想怀疑论。Artif公司。智力。171, 10–15 (2007), 642–674. ·Zbl 1012.68193号 [19] 潘明勇和潘明成。2010年。为基于陪审团的争端解决进行（概率）论证。在计算论证模型（COMMA）中。171–182. [20] 保罗·邓恩（Paul E.Dunne）。2009.理想语义的计算复杂性。Artif公司。智力。173, 18 (2009), 1559–1591. ·Zbl 1185.68666号 ·doi:10.1016/j.artint.2009.09.001 [21] 保罗·邓恩、安东尼·亨特、彼得·麦克伯尼、西蒙·帕森斯和迈克尔·伍尔德里奇。2011.加权参数系统：基本定义、算法和复杂性结果。Artif公司。智力。175, 2 (2011), 457–486. ·兹比尔1216.68261 ·doi:10.1016/j.artint.2010.09.005 [22] 保罗·邓恩和迈克尔·伍尔德里奇。2009年，抽象论证的复杂性。在人工智能辩论中。85–104. ·doi:10.1007/978-0-387-98197-05 [23] Wolfgang Dvorá；2012年10月。抽象论证的计算方面。博士论文。理工大学ä；t维恩。 [24] Wolfgang Dvorá；k、 马蒂Jä；rvisalo、Johannes Peter Wallner和Stefan Woltran。2014年，抽象论证的复杂敏感决策程序。Artif公司。智力。206 (2014), 53–78. ·Zbl 1334.68206号 ·doi:10.1016/j.artint.2013.10.001 [25] Wolfgang Dvorá；k和Stefan Woltran。2010.论证框架中半稳定语义和阶段语义的复杂性。信息处理。莱特。110, 11 (2010), 425–430. ·兹比尔1229.68041 ·doi:10.1016/j.ipl.2010.04.005 [26] 托马斯·艾特和乔治·戈特洛布。1997年，复杂性等级&Theta；p2：人工智能和模态逻辑的最新结果和应用。在计算理论基础中，Bogdan S.Chlebus和Ludwik Czaja（编辑）。计算机科学讲义，第1279卷。柏林施普林格，1-18·doi:10.1007/BFb0036168 [27] 贝蒂娜·法辛加（Bettina Fazzinga）、塞尔吉奥·弗莱斯卡（Sergio Flesca）和弗朗西斯科·帕里西（Francesco Parisi）。2013年a。有效估计抽象论证中扩展的概率。在可扩展不确定性管理国际会议（SUM）上。106–119. ·doi:10.1007/978-3-642-40381-19 [28] 贝蒂娜·法辛加（Bettina Fazzinga）、塞尔吉奥·弗莱斯卡（Sergio Flesca）和弗朗西斯科·帕里西（Francesco Parisi）。2013年b。概率抽象论证的复杂性。在国际人工智能联合会议（IJCAI）上。898–904. ·Zbl 1344.68221号 [29] A.Ferrara、G.Pan和M.Y.Vardi。2005.验证中的树宽：本地与全球。在编程、人工智能和推理逻辑国际会议（LPAR）上。489–503. ·Zbl 1143.68450号 ·数字对象标识代码：10.1007/11591191_34 [30] Sergio Flesca、Filippo Furfaro和Francesco Parisi。2014.完整性约束下概率数据库的一致性检查和查询。J.计算。系统。科学。80, 7 (2014), 1448–1489. ·兹比尔1311.68053 ·doi:10.1016/j.jcss.2014.04.026 [31] 莎拉·爱丽丝·加格尔（Sarah Alice Gaggl）和斯特凡·沃尔特兰（Stefan Woltran）。2013年，重新审视了cf2论证语义。J.日志。计算。23, 5 (2013), 925–949. ·Zbl 1275.68138号 ·doi:10.1093/log.com/exs011 [32] 迈克尔·加里（Michael R.Garey）和大卫·约翰逊（David S.Johnson）。1979年，《计算机与不可纠正性：NP-完备性理论指南》。W.H.Freeman公司·Zbl 0411.68039号 [33] 大卫·格罗西（Davide Grossi）和维比·范德霍克（Wiebe van der Hoek）。2013年，抽象辩论游戏中基于观众的不确定性。在国际人工智能联合会议（IJCAI）上。143–149之间。 [34] R.Haenni、B.Anrig、J.Kohlas和N.Lehmann。2001年，概率论证调查。ECSQARU研讨会：辩论中的冒险。19–25. [35] R.Haenni、J.Kohlas和N.Lehmann。2000.概率论证系统。在《可延迟推理和不确定性管理系统手册》第5卷：不确定性和可延迟推理算法。克鲁沃，221–288·Zbl 0987.68076号 ·doi:10.1007/978-94-017-1737-36 [36] 安东尼·亨特。2012.概率抽象论证的一些基础。在计算论证模型（COMMA）中。117–128. [37] 安东尼·亨特。2013年a。说服中的不确定性建模。在可扩展不确定性管理（SUM）国际会议上。57–70. ·doi:10.1007/978-3642-40381-15 [38] 安东尼·亨特。2013年b。建模不确定逻辑参数的概率方法。《国际近似推理》54，1（2013），47–81·兹比尔1266.68176 ·doi:10.1016/j.ijar.2012.08.003 [39] 安东尼·亨特。2014.抽象论证中攻击的概率限定。《国际近似推理》55，2（2014），607–638·Zbl 1316.68153号 ·doi:10.1016/j.ijar.2013.09.002 [40] Abhay Kumar Jha和Dan Suciu。2013年，知识汇编符合数据库理论：编译决策图查询。理论计算。系统。52, 3 (2013), 403–440. ·Zbl 1270.68297号 ·doi:10.1007/s00224-012-9392-5 [41] Eun Jung Kim、Sebastian Ordyniak和Stefan Szeider。2011.说服性论证的算法和复杂性结果。Artif公司。智力。175，9-10（2011年），1722-1736·Zbl 1230.68189号 [42] 李恒飞、尼尔·奥伦和蒂莫西·J·诺曼。2011.概率论证框架。形式论证（TAFA）的理论与应用。1–16. [43] 李恒飞、尼尔·奥伦和蒂莫西·J·诺曼。2013年，放松概率论证中的独立性假设。在多智能体系统（ArgMAS）论证研讨会上。 [44] 卢卡西维茨（T.Lukasiewicz）。1999.基本事件的条件约束概率演绎。J.人工制品。智力。研究（JAIR）10（1999），199-241·Zbl 0914.68178号 [45] 卢卡西维茨（T.Lukasiewicz）。2001.带条件约束的概率逻辑编程。ACM事务处理。计算。逻辑2，3（2001），289–339·Zbl 1171.68762号 ·doi:10.1145/377978.377983 [46] 托马斯·卢卡西维茨（Thomas Lukasiewicz）。2007.概率描述逻辑程序。《国际近似推理杂志》45，2（2007），288–307·Zbl 1122.68027号 ·doi:10.1016/j.ijar.2006.06.012 [47] 迭戈·C·马í；亚历杭德罗·哈维尔·加尔茨（Alejandro Javier Garc nez）í；a、 和吉列尔莫·里卡多·西马里。2008年。具有不同强度攻击的抽象论证框架。《知识表示与推理原理》（KR）。135–144. [48] C.Meinel和T.Theobald。1998年，超大规模集成电路设计中的算法和数据结构。斯普林格·弗拉格·Zbl 0907.68116号 ·doi:10.1007/978-3-642-58940-9 [49] 桑杰·莫吉尔。2009.论证框架中偏好的推理。Artif公司。智力。173, 9–10 (2009), 901–934. ·Zbl 1192.68663号 [50] R.T.Ng和V.S.Subrahmanian。1992年，概率逻辑编程。Inf.计算。101, 2 (1992), 150–201. ·Zbl 0781.68038号 ·doi:10.1016/0890-5401（92）90061-J [51] Juan Carlos Nieves和Roberto Confalonieri，2011年。具有默认推理的可能性论证决策框架。芬丹。通知。113, 1 (2011), 41–61. ·Zbl 1241.68116号 [52] 尼尔·奥伦和蒂莫西·诺曼。2008.循证论证语义学。在计算论证模型（COMMA）中。276–284之间。 [53] 毛里西奥·奥索里奥和胡安·卡洛斯·尼维斯。2009.可能的有根据的语义。《人工智能进展》，国际人工智能会议（MICAI）。15–26. ·doi:10.1007/978-3-642-05258-32 [54] C.M.帕帕迪米特里奥。1994.计算复杂性。艾迪森·韦斯利·Zbl 0833.68049号 [55] 大卫·普尔。1997年。不确定性下多个代理建模的独立选择逻辑。Artif公司。智力。94, 1–2 (1997), 7–56. ·Zbl 0902.03017号 [56] 亨利·普拉肯。2010年，结构化论证的抽象框架。参数计算1，2（2010），93–124·Zbl 0866.03018号 ·doi:10.1080/19462160903564592 [57] Iyad Rahwan和Guillermo R.Simari（编辑）。2009年，《人工智能辩论》。斯普林格。 [58] 蒂兹·林斯特拉（Tjitze Rienstra）。2012.走向概率粪式论证系统。在国际协议技术会议（AT）上。138–152. [59] Dan Suciu、Dan Olteanu、Christopher Ré；、；，和克里斯托夫·科赫。2011年，概率数据库。摩根和克莱普尔·Zbl 1237.68012号 [60] Matthias Thimm。2012.抽象论证的概率语义学。在欧洲人工智能会议（ECAI）上。750–755. ·Zbl 1327.68290号 [61] Toda和Osamu Watanabe地震。1992年，多项式时间1-turing从#PH减少到#P.Theor。计算。科学。100, 1 (1992), 205–221. ·Zbl 0779.68037号 ·doi:10.1016/0304-3975（92）90369-Q [62] 莱斯利·瓦利安特（Leslie G.Valiant）。1979.计算永久性的复杂性。西奥。计算。科学。8 (1979), 189–201. ·Zbl 0415.68008号 ·doi:10.1016/0304-3975（79）90044-6 [63] 巴特·维尔海伊（Bart Verheij）。1996.辩证论证的两种方法：可接受集合和论证阶段。在正式和应用实践推理国际会议（FAPR）上。357–368. 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。