吴,尹;蒋敏;黄忠强;曹飞;周长乐 纤维逻辑的NP完整片段。 (英语) Zbl 1336.03028号 安。数学。Artif公司。智力。 75,No.3-4,391-417(2015). 小结:原纤化方法提供了一种语义方法,可以将各种模态逻辑作为论据来生成一个完整的论据,这种方法的好处很明显:具有更强的表达能力。在本文中,我们证明了一类原纤逻辑的计算复杂性。特别是对于由两个(mathbf{S5})系统组成的纤化逻辑,我们提出了一种新的简化方法——纤化结构映射,以解决其复杂性。然后,我们为fibred(mathbf{S5})系统找到了一个特殊的NP完整片段。这些结果的意义在于,一方面,本文提出的约简方法可以推广到解决其他原纤逻辑的计算复杂性问题,另一方面,它们有助于我们在表达能力和计算难度之间取得平衡。 MSC公司: 03B45号 模态逻辑(包括规范逻辑) 03B62号 组合逻辑 2015年3月1日 计算复杂性(包括隐式计算复杂性) 2017年第68季度 问题的计算难度(下限、完备性、近似难度等) 关键词:可计算逻辑;组合逻辑;纤维语义学;计算复杂性 PDF格式BibTeX公司 XML格式引用 \textit{Y.Wu}等人,Ann.Math。Artif公司。智力。75,编号3--4,391--417(2015;Zbl 1336.03028) 全文: 内政部 参考文献: [1] Achilleos,A.,Lampis,M.,Mitsou,V.:参数化模态可满足性。《算法》64(1),38-55(2012)·Zbl 1283.68157号 ·doi:10.1007/s00453-011-9552-z [2] Chagrov,A.V.,Rybakov,M.N.:要证明模态逻辑的pspace硬度,需要多少变量?。In:模态逻辑进展4(AiML02)(2003)·Zbl 1076.03012号 [3] Artale,A.,Franconi,E.:描述逻辑的时间扩展调查。安。数学。Artif公司。智力。30(1-4), 171-210 (2000) ·Zbl 0998.03013号 ·doi:10.1023/A:1016636131405 [4] Bennett,B.,Cohn,A.G.,Wolter,F.,Zakharyaschev,M.:作为时空推理框架的多维模态逻辑。申请。智力。17(3),239-251(2002a)·Zbl 1051.03019号 ·doi:10.1023/A:1020083231504 [5] Bennett,B.,Dixon,C.,Fisher,M.,Hustadt,U.,Franconi,E.,Horrocks,I.,Rijke,M.D.:模态逻辑的组合。Artif公司。智力。版本17(1),1-20(2002b)·Zbl 1014.68158号 ·doi:10.1023/A:1015057926707 [6] 贝丝,E.W.:数学的基础科学哲学研究。北荷兰(1959年)·Zbl 0085.24104号 [7] Blackburn,P.,Rijke,M.D.:为什么要组合逻辑Stud.Logica。59(1), 5-27 (1997) ·Zbl 0887.03025号 ·doi:10.1023/A:1004991115882 [8] Blackburn,P.,Rijke,M.D.,Venema,Y.:模态逻辑。剑桥大学出版社(2002)·Zbl 0988.03006号 [9] Blackburn,P.,van Benthem,J.,Wolter,F.:模态逻辑手册,逻辑和实践推理研究,第1版。,第3卷。爱思唯尔、阿姆斯特丹和波士顿(2007年)·Zbl 1114.03001号 [10] Caleiro,C.、Sernadas,C.和SernadasA.:逻辑参数化。摘自:代数发展技术的最新趋势,第48-63页。斯普林格(1999)·Zbl 0943.03007号 [11] Caleiro,C.、Carnielli,W.A.、Coniglio,M.E.、Sernadas,A.、Sernada,C.:纤维化非真实功能逻辑:完整性保存。J.日志。语言信息12(2),183-211(2003)·Zbl 1015.03010号 ·doi:10.1023/A:1022301711366 [12] Caleiro,C.,Sernadas,A.,Sernada,C.:纤维逻辑:过去、现在和未来。《我们将向他们展示:纪念Dov Gabbay的论文》,第一卷,第363-388页(2005)·Zbl 1268.03032号 [13] Carnielli,W.,Coniglio,M.E.:组合逻辑(2007)·Zbl 1266.03006号 [14] Fine,K.,Schurz,G.:多模态逻辑的转移定理。逻辑和现实。纯逻辑和应用逻辑的论文。《纪念阿瑟·普里尔OUP》(1992)·Zbl 1043.03010号 [15] Gabbay,D.:谎言语义和逻辑组合概述。组合系统的前沿3,1-56(1996)·Zbl 0896.03009号 ·doi:10.1007/978-94-009-0349-4_1 [16] Gabbay,D.,Shehtman,V.:模态逻辑的产物。第三部分:模态逻辑和时序逻辑的产物。逻辑研究。72(2), 157-183 (2002) ·兹比尔1014.03023 ·doi:10.1023/A:1021304426509 [17] Gabbay,D.M.:《光纤逻辑》,《牛津逻辑指南》,第38卷。克拉伦登,牛津和纽约(1999)·Zbl 0909.03001号 [18] Gabbay,D.M.:《多维模态逻辑:理论与应用,逻辑研究与数学基础》,第1版。,第148卷。爱思唯尔北荷兰、阿姆斯特丹和波士顿(2003)·Zbl 1051.03001号 [19] 加巴伊:什么是逻辑系统?进化论观点:1964-2014年。In:计算逻辑,Newnes,第9卷,第41页(2014)·Zbl 1404.03009号 [20] Gabbay,D.M.,Shehtman,V.B.:模态逻辑产品,第1部分。日志。J.IGPL 6(1),73-146(1998)·Zbl 0902.03008号 ·doi:10.1093/jigpal/6.1.73 [21] Gabelaia,D.,Kontchakov,R.,Kurucz,A.,Wolter,F.,Zakharyaschev,M.:结合空间和时间逻辑:表达性与复杂性。J.阿蒂夫。智力。第23(1)号决议,167-243(2005)·Zbl 1080.68682号 [22] Gonçalves,R.,Alferes,J.J.:参数化逻辑编程。摘自:《人工智能中的逻辑》,第182-194页。施普林格(2010)·Zbl 1306.68009号 [23] Halpern,J.Y.:限定原始命题的数量和嵌套深度对模态逻辑复杂性的影响。Artif公司。智力。75(2), 361-372 (1995) ·Zbl 1014.03508号 ·doi:10.1016/0004-3702(95)00018-A [24] Halpern,J.Y.,Moses,Y.:知识和信仰模态逻辑的完整性和复杂性指南。Artif公司。智力。54(3), 319-379 (1992) ·Zbl 0762.68029号 ·doi:10.1016/0004-3702(92)90049-4 [25] Halpern,J.Y.,Rígo,L.C.:表征模态逻辑可满足性问题中的np-pspace间隙。J.日志。计算。17(4), 795-806 (2007) ·Zbl 1126.03024号 ·doi:10.1093/log.com/exm029 [26] Hirsch,R.,Hodkinson,I.,Kurucz,A.:关于k×k×k和s5*s5*s之间的模态逻辑。J.塞姆。日志。,221-234 (2002) ·兹比尔1002.03019 [27] Kontchakov,R.,Kurucz,A.,Wolter,F.,Zakharyaschev,M.:空间逻辑+时间逻辑=?。参见:《空间逻辑手册》,第497-564页。施普林格(2007)·Zbl 1015.03010号 [28] Kracht,M.,Wolter,F.:模态逻辑中的模拟和传递结果——一项调查。逻辑研究。59(2), 149-177 (1997) ·Zbl 0960.03014号 ·doi:10.1023/A:100490300438 [29] Kripke,S.A.:模态逻辑的语义分析,标准模态命题演算。数学。日志。问题9(5-6)、67-96(1963)·Zbl 0118.01305号 ·doi:10.1002/malq.19630090502 [30] Ladner,R.E.:模态命题逻辑系统中可证明性的计算复杂性。SIAM J.计算。6(3), 467-480 (1977) ·Zbl 0373.02025号 ·数字对象标识代码:10.1137/0206033 [31] 马克思:模态逻辑产品的复杂性。J.日志。计算。9(2), 197-214 (1999) ·Zbl 0945.03025号 ·doi:10.1093/log/9.2.197 [32] Papadimitriou,C.H.:计算复杂性。威利(2003)·Zbl 0833.68049号 [33] Rasga,J.,Sernadas,A.,Sernada,C.:纤维作为双运动亚类不对称组合。逻辑研究。102(5), 1041-1074 (2014) ·Zbl 1344.03031号 ·doi:10.1007/s11225-013-9524-1 [34] Russell,S.J.、Norvig,P.、Davis,E.:《人工智能:现代方法》。普伦蒂斯·霍尔(Prentice Hall),恩格尔伍德悬崖(Englewood Cliffs)(2010年)·Zbl 0835.68093号 [35] Schurz,G.:量化模态逻辑的组合和完整性转移。日志。J.IGPL 19(4),598-616(2011)·兹比尔1243.03040 ·doi:10.1093/jigpal/jzp085 [36] 塞格伯格,K.:二维模态逻辑。J.菲洛斯。日志。2(1), 77-96 (1973) ·Zbl 0259.02013 ·doi:10.1007/BF02115610 [37] 塞尔纳达斯,A.,塞尔纳达斯,C.:组合逻辑系统:为什么,如何,为什么。CIM牛市。15, 9-14 (2003) [38] Sernadas,A.,Sernadas,C.,Caleiro,C.:逻辑的同步。逻辑研究。59(2),217-247(1997)·Zbl 0882.03008号 ·doi:10.1023/A:1004904401346 [39] 塞尔纳达斯,A.,塞尔纳达斯,C.,卡莱罗,C.:作为范畴结构的逻辑纤维化。J.日志。计算。9(2),149-179(1999)·Zbl 0942.03064号 ·doi:10.1093/logcom/9.2.149 [40] Sernadas,A.,Sernadas,C.,Zanardo,A.:纤维模态一阶逻辑:完整性保持。日志。J.IGPL 10(4),413-451(2002a)·Zbl 1017.03009号 ·doi:10.1093/jigpal/10.4413 [41] Sernadas,A.,Sernadas,C.,Rasga,J.,Coniglio,M.:关于逻辑的图形理论纤维。J.日志。计算。19(6), 1321-1357 (2009) ·Zbl 1193.03056号 ·doi:10.1093/log.com/exp024 [42] 塞尔纳达斯,A.,塞尔纳达斯,C.,拉斯加,J.:关于逻辑的会议组合。J.日志。计算。22(6), 1453-1470 (2012) ·Zbl 1280.03034号 ·doi:10.1093/log.com/exr035 [43] Sernadas,C.,Rasga,J.,Carnielli,W.A.:调制纤维和塌陷问题。J.塞姆。日志。67(4),1541-1569(2002b)·Zbl 1043.03010号 ·doi:10.2178/jsl/1190150298 [44] 谢赫特曼,V.B.:二维模态逻辑。苏联科学院数学笔记23(5),417-424(1978)·Zbl 0403.03015号 ·doi:10.1007/BF01789012 [45] Spaan,E.:模态逻辑的复杂性。荷兰阿姆斯特丹大学博士论文(1993年)·兹比尔08310.3005 [46] 托马森,R.H.:时态和情态的组合。摘自:《哲学逻辑手册》,第135-165页。斯普林格(1984)·Zbl 0875.03047号 [47] 瓦迪,M.Y.:为什么模态逻辑如此可靠地可判定。离散数学和理论计算机科学DIMACS系列31,149-184(1997)·Zbl 0881.03012号 [48] Wolter,F.:重温模态逻辑的融合。模态逻辑进展1,361-379(1998)·Zbl 0956.03512号 [49] Zanardo,A.,Sernadas,A.,Sernadas,C.:纤维蛋白:完整性保护。J.塞姆。日志。,414-439 (2001) ·Zbl 0981.03011号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。