穆罕默德·埃拉鲁西;努林,Lhouari;穆罕默德·赛义德·拉杰夫 论证框架的格点观点。 (英语) Zbl 07759323号 安。数学。Artif公司。智力。 91,第5号,691-711(2023). 摘要:本文的主要目的是从格的角度研究论证框架的扩展。我们首先通过可在多项式时间内从论证框架计算出的关联系统的闭集来刻画论证框架的自卫集,我们将一个允许集为双射的论证框架与\(\Sigma\)的闭集相关联。其次,我们提出了基于关联系统的冲突闭集约简规则,以找出顶点覆盖闭的最小子集,同时保持所有潜在的可容许扩张和优选扩张。这就产生了一种多项式延迟和空间算法,可以在没有偶数循环的情况下枚举可接受的论证框架集。最后,基于蕴涵系统,定义了一种新的论证框架分解,并引入多项式延迟和空间算法来枚举二部论证框架的可容许集。该算法改进了以往算法的指数空间复杂度。 理学硕士: 68泰克 人工智能 2009年6月 阶、格、有序代数结构 关键词:论证框架;容许扩展;晶格;关联系统 PDF格式BibTeX公司 XML格式引用 \textit{M.Elaroussi}等人,《数学年鉴》。Artif公司。智力。91,编号5,691--711(2023;Zbl 07759323) 全文: 内政部 哈尔 参考文献: [1] Dung,PM,《论据的可接受性及其在非单调推理、逻辑编程和n人游戏中的基本作用》,Artif。智力。,77, 2, 321-357 (1995) ·Zbl 1013.68556号 ·doi:10.1016/0004-3702(94)00041-X [2] 工作台盖,TJ;邓恩,体育,人工智能论证,人工智能。智力。,171, 10-15, 619-641 (2007) ·Zbl 1168.68560号 ·doi:10.1016/j.artint.2007.05.001 [3] Rahwan,I.,Simari,G.R.:《人工智能中的论证》,第63-101页。斯普林格(2009) [4] Amgoud,L。;Prade,H.,使用论据制定和解释决策,Artif。智力。,173, 3-4, 413-436 (2009) ·Zbl 1343.68219号 ·doi:10.1016/j.artint.2008.11.006 [5] Cocarascu,O.,Toni,F.:机器学习的争论:一项调查。收录于:COMMA,第219-230页(2016年) [6] McBurney,P.,Parsons,S.:代理人论证的对话游戏。论证文章。智力。261-280 (2009) [7] Von Neumann,J.,Morgenstern,O.:博弈论与经济行为。普林斯顿大学出版社,(2007)·Zbl 1112.91002号 [8] 波洛克,JL,《可推翻推理》,认知科学,11,4,481-518(1987)·doi:10.1207/s15516709cog1104_4 [9] Apt,K.R.:逻辑编程。手。理论。计算。科学。B卷:形式模型。Sematics(B)1990,493-574(1990)·Zbl 0900.68136号 [10] 邓恩,体育;Bench-Capon,TJ,论点系统的复杂性和组合属性(2001),计算机科学系(ULCS),技术报告:利物浦大学计算机科学系·Zbl 1111.68673号 [11] 德沃夏克,W。;Dunne,PE,《形式论证中的计算问题及其复杂性》,J.Log。申请。,4, 8, 2557-2622 (2017) [12] 南非加格尔;Linsbichler,T。;Maratea,M。;Woltran,S.,第二届国际辩论计算模型竞赛的设计和结果,Artif。智力。,279 (2020) ·Zbl 1478.68353号 ·doi:10.1016/j.artint.2019.103193 [13] Kröll,M.,Pichler,R.,Woltran,S.:关于列举抽象论证框架的扩展的复杂性。载:《第26届国际人工智能联合会议论文集》,第1145-1152页(2017)。AAAI出版社 [14] Coste-Marquis,S.,Devred,C.,Marquis,P.:对称论证框架。摘自:《欧洲推理和不确定性的符号和定量方法会议》,第317-328页(2005年)。施普林格·Zbl 1122.68642号 [15] Dunne,PE,满足图形理论约束的参数系统的计算特性,Artif。智力。,171, 10-15, 701-729 (2007) ·Zbl 1168.68565号 ·doi:10.1016/j.artint.2007.03.006 [16] Galeana-Sánchez,H。;Neumann-Lara,V.,关于有向图的核和半核,离散。数学。,48, 1, 67-76 (1984) ·Zbl 0529.05024号 ·doi:10.1016/0012-365X(84)90131-6 [17] Chesnevar,C.I.,Simari,G.R.:一种基于格的方法,用于计算怀疑论论证框架中的可靠信念。收录于:IJCAI,第2007卷,第280-285页(2007年) [18] Strass,H.,抽象辩证框架的近似运算符和语义,Artif。智力。,205, 39-70 (2013) ·Zbl 1334.68212号 ·doi:10.1016/j.artint.2013.09.004 [19] Elaroussi,M.,Nourine,L.,Radjef,M.S.,Vilmin,S.:关于论证框架的首选扩展:天真集的双射。信息处理。莱特。106354 (2023) ·Zbl 07649510号 [20] Bondarenko,A。;粪,PM;科瓦尔斯基,RA;Toni,F.,《缺省推理的抽象论证理论方法》,Artif。智力。,93, 63-101 (1997) ·Zbl 1017.03511号 ·doi:10.1016/S0004-3702(97)00015-5 [21] 巴罗尼,P。;卡米纳达,M。;Giacomin,M.,《论证语义学导论》,Knowl。工程版本,26,4,365-410(2011)·doi:10.1017/S026988891100166 [22] 邓恩,体育;德沃夏克,W。;Linsbichler,T。;Woltran,S.,抽象论证中多视角的特征,Artif。智力。,228, 153-178 (2015) ·兹伯利1346.68184 ·doi:10.1016/j.artint.2015.07.006 [23] Davey,B.A.,Priestley,H.A.:格与秩序导论。剑桥大学出版社,(2002)·Zbl 1002.06001号 [24] Grätzer,G.:格理论:基础。施普林格(2011)·Zbl 1233.06001号 [25] Wild,M.,基于蕴涵的有限闭合空间理论,高级数学。,108, 1, 118-139 (1994) ·Zbl 0863.54002号 ·doi:10.1006/aima.1994.1069 [26] Bertet,K。;Demko,C。;维亚德,J-F;Guérin,C.,《格、闭包系统和蕴涵基:结构方面和算法的调查》,Theor。计算。科学。,743, 93-109 (2018) ·Zbl 1398.68510号 ·doi:10.1016/j.tcs.2016.11.021 [27] Wild,M.,《寓意的乐趣》,又名《纯角公式:主要是一项调查》,Theor。计算。科学。,658, 264-292 (2017) ·Zbl 1418.03144号 ·doi:10.1016/j.tcs.2016.03.018 [28] Pazienza,A。;格罗西,D。;格拉索,F。;Palmieri,R。;Zito,M。;Ferilli,S.,收益电话会议后预测分析师建议的抽象论证方法,Intelligenza Artificial,13,2,173-188(2019)·doi:10.3233/IA-190026 [29] 通过辩论模型测量在线辩论中的用户相关性 [30] Simmons,W.L.:系统架构中的决策支持框架。麻省理工学院博士论文(2008) [31] Toni,F。;Sergot,M.,《论证和答案集编程》,Log。程序。知识。代表。非单调原因。,6565, 164-180 (2011) ·Zbl 1326.68279号 ·doi:10.1007/978-3642-20832-4_11 [32] Robertson,N.,Seymour,P.D.,Thomas,R.:永久性,pfaffan定向,甚至定向电路。数学年鉴,929-975(1999)·Zbl 0947.05066号 [33] McCuaig,W.,Even dicycles,J.图论,35,1,46-68(2000)·Zbl 0958.05070号 ·doi:10.1002/1097-0118(200009)35:1<46::AID-JGT4>3.0.CO;2瓦 [34] 迪莫普洛斯,Y。;托雷斯,A.,《逻辑程序和缺省理论中的图形理论结构》,Theor。计算。科学。,170, 1-2, 209-244 (1996) ·兹比尔0874.68190 ·doi:10.1016/S0304-3975(96)80707-9 [35] 比斯塔雷利,S。;罗西,F。;Santini,F.,《抽象论证中引申列举的比较测试》,Fundam。Informaticae,140,3-4,263-278(2015)·Zbl 1348.68237号 ·doi:10.3233/FI-2015-1254 [36] Cerutti,F。;瓦拉提,M。;Giacomin,M.,《关于配置对抽象论证自动推理的影响》,《国际近似推理》。,92, 120-138 (2018) ·Zbl 1423.68411号 ·doi:10.1016/j.ijar.2017.10.002 [37] Cerutti,F.,Giacomin,M.,Vallati,M.:首选扩展枚举的算法选择。摘自:《论证的计算模型:2014年COMMA会议录》,英国,第221-232页 [38] 查瓦特,G。;德沃夏克,W。;南非加格尔;Wallner,JP;Woltran,S.,《解决抽象论证中推理问题的方法——一项调查》,Artif。智力。,220, 28-63 (2015) ·Zbl 1328.68212号 ·doi:10.1016/j.artint.2014.11.008 [39] 诺法尔,S。;阿特金森,K。;Dunne,PE,优选语义下论证系统中决策问题的算法,Artif。智力。,207, 23-51 (2014) ·Zbl 1334.68210号 ·doi:10.1016/j.artint.2013.11.001 [40] 约翰逊,DS;Yannakakis,M。;Papadimitriou,CH,关于生成所有最大独立集,Inf.Process。莱特。,27, 3, 119-123 (1988) ·Zbl 0654.68086号 ·doi:10.1016/0020-0190(88)90065-8 [41] Ganter,B.:概念分析中的两种基本算法。摘自:形式概念分析国际会议,第312-340页。施普林格(2010)·Zbl 1274.68484号 [42] Baumann,R.:分裂一个论证框架。摘自:逻辑程序设计和非单调推理国际会议,第40-53页。施普林格(2011)·Zbl 1327.68240号 [43] Giacomin,M.,Baroni,P.,Cerutti,F.:抽象论证中可分解性的一般理论。摘自:《逻辑与论证国际会议》,第169-189页。施普林格(2021)·Zbl 07671019号 [44] Croitoru,C.,Croitoru,M.:抽象论证中可容许集的深度组合分析。安。数学。Artif公司。智力。,1-20 (2022) ·Zbl 1511.68265号 [45] 邓恩,体育;德沃夏克,W。;Woltran,S.,理想语义的参数属性,Artif。智力。,202, 1-28 (2013) ·Zbl 1329.68244号 ·doi:10.1016/j.artint.2013.06.004 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。