×
穆塔兹·萨利赫·埃尔·泽基;Wafik Boulos的Lotfallah;内哈德·纳沙特·穆尔西

基于单调t-范数的逻辑公理扩展的计算复杂性。 （英语） Zbl 1176.03009号

软计算。 13，第11期，1089-1097（2009）.
摘要：我们研究了单体t-范数逻辑（MTL）的一些公理扩展的计算复杂性，即NM，对应于所谓的幂零最小t-范量逻辑（由于J.C.Fodor公司【模糊集系统69，第2期，141–156（1995；Zbl 0845.03007号)])和SMTL，对应于Esteva（和其他人）引入的左连续严格t-规范（参见例如[P.Hájek先生，模糊集系统。132，第1期，107–112（2002年；Zbl 1012.03035号)]或[S.杰内和F.蒙塔格纳，模糊集系统。136，第3期，263-282（2003年；Zbl 1020.03020号)]). 特别地，我们证明了NM和SMTL的1-可满足和正可满足公式集都是NP-完备的，而NM的1-重言式集和NM和SM TL的正重言式集合是共同NP-完备。SMTL的1-重言式集合仅被证明是co-NP-hard，并且如果该集合是co-NP的，它仍然是开放的。同时，还获得了关于这些集合之间关系的一些结果。我们指出，关于NM的1-可满足性和1-重言式的结果已经众所周知。然而，在本文中，这些结果以不同的方式得到了证明。

引用于2文件

MSC公司：

03B52号 模糊逻辑；模糊逻辑
2015年3月1日 计算复杂性（包括隐式计算复杂性）
2017年第68季度 问题的计算难度（下限、完备性、近似难度等）
65年第68季度 算法和问题复杂性分析

关键词：

计算复杂性;基于单体t-范数逻辑的公理扩展;NM公司;幂零最小t-范数;SMTL公司;左连续严格t-范数;可满足式;同义反复

引文：

Zbl 0845.03007号;Zbl 1012.03035号;Zbl 1020.03020号
PDF格式BibTeX公司 XML格式引用
\textit{M.S.El-Zekey}等人，《软计算》。13，编号11089-1097（2009年；兹bl 1176.03009）
全文： 内政部

参考文献：

[1] Aguzzoli S，Gerla B（2006）基于剩余t-范数比较一些模糊逻辑的表达能力。In:FUZZ-IEEE 2006年会议记录，加拿大温哥华，第2012-2019页
[2] Aguzzoli S、Gerla B、HanikováZ（2005）《基本逻辑中的复杂性问题》。软计算9:919–934·Zbl 1093.03010号 ·doi:10.1007/s00500-004-0443-y
[3] Baaz M，Hájek P，Montagna F，Veith H（2002）t-重言式的复杂性。《Ann Pure Appl Logic》113（1-3）：3–11·Zbl 1006.03022号 ·doi:10.1016/S0168-0072（01）00048-3
[4] Cignoli R，Esteva F，Godo L，Torrens A（2000）基本模糊逻辑是连续t-范数及其残差的逻辑。软计算2:106–112·doi:10.1007/005000000044
[5] Cignoli R，Esteva F，Godo L，Montagna F（2002）关于一类左控制t-范数。模糊集系统131:283–296·Zbl 1012.03032号 ·doi:10.1016/S0165-0114（01）00215-9
[6] Esteva F，Godo L（2001）基于单体t-范数的逻辑：走向左旋t-范本的逻辑。模糊集系统124:271–288·Zbl 0994.03017号 ·doi:10.1016/S0165-0114（01）00098-7
[7] Esteva F，Gispert J，Godo L，Montagna F（2002）关于基于单体t-范数逻辑的一些公理扩张的标准和有理完备性。逻辑研究71:393–420·Zbl 1011.03015号 ·doi:10.1023/A：1016548805869
[8] Esteva F，Godo L，Garc'a-Cerdana a（2003）基于t-范数的剩余模糊逻辑的层次结构。收录：Orlowska E，Fitting M，（编辑）《模糊性和软计算研究》。海德堡Physica-Verlag，第251-272页·Zbl 1038.03026号
[9] Esteva F，Gispert J，Noguera C（2008a）关于弱幂零最小逻辑基于三角范数的公理扩张。数学逻辑Q 54:387–409·Zbl 1145.03039号 ·doi:10.1002/malq.200710054
[10] Esteva F，Godo L，Noguera C（2008b）关于基于t范数的逻辑与真值常数的展开。In：Hajek G，Klement H（eds）模糊逻辑及其相关结构。阿姆斯特丹爱思唯尔出版社·Zbl 1193.03049号
[11] Fodor JC（1995）模糊含义的反正对称性。模糊集系统69:141–156·Zbl 0845.03007号 ·doi:10.1016/0165-0114（94）00210-X
[12] Gispert J（2003）密尔势最小逻辑的公理扩展。代表数学逻辑37:113–123·Zbl 1053.03015号
[13] Gottwald S（2001）《关于多值逻辑的论文》。巴尔多克研究出版社·Zbl 1048.03002号
[14] Hájek P（1998）模糊逻辑的元数学。多德雷赫特·克鲁沃·Zbl 0937.03030号
[15] Hájek P（2002）关于单体t-范数逻辑的观察。模糊集系统132（1）：107–112·Zbl 1012.03035号
[16] Hájek P（2003）基本模糊逻辑和BL-代数II。软计算7:179–183·Zbl 1018.03021号
[17] Höhle U（1992）积分交换CL-幺半群上的M值集和带轮。收录：Rodabaugh SE，Klement-EP，Höhle U（eds）范畴理论在模糊子集中的应用。多德雷赫特·克鲁沃，第32–72页
[18] Höhle U（1994）单体逻辑。收录：Kruse R，Gebhardt J，Palm R（编辑）计算机科学中的模糊系统。威斯巴登维埃格，第233-243页
[19] Höhle U（1995a）交换的剩余幺半群。在：Höhle U，Klement-EP（eds）非经典逻辑及其在模糊子集中的应用。多德雷赫特·克鲁沃，第53–106页
[20] Höhle U（1995b）GL-单体上的压力起伏。In：Höhle U，Klement EP（eds）非经典逻辑及其在模糊子集中的应用。多德雷赫特·克鲁沃，第127-157页
[21] Immerman N（1999）描述复杂性。海德堡施普林格·Zbl 0918.68031号
[22] Jenei S，Montagna F（2002）Esteva和Godo逻辑MTL的标准完整性证明。逻辑研究70:183–192·Zbl 0997.03027号 ·doi:10.1023/A:1015122331293
[23] Jenei S，Montagna F（2003）构造左连续t-范数的一般方法。模糊集系统136（3）：263–282·Zbl 1020.03020号 ·doi:10.1016/S0165-0114（02）00275-0
[24] Papadimitriou CH（1994）计算复杂性。Addison Wesley，雷丁·Zbl 0833.68049号
[25] Pavelka J（1979）论模糊逻辑。泽奇。f.数学。Logik，I，II，III：25:45-52，119-134，447-464·Zbl 0435.03020号
[26] 裴德（2002）｛R｝_{0}\）含义：特征和应用。模糊集系统131:297–302·Zbl 1015.03034号 ·doi:10.1016/S0165-0114（02）00053-2
[27] Pei D（2003）关于模糊逻辑系统NM和IMTL的等价形式。模糊集系统138:187–195·Zbl 1031.03047号 ·doi:10.1016/S0165-0114（02）00382-2
[28] Schweizer B，Sklar A（1983）概率度量空间。荷兰北部，阿姆斯特丹·Zbl 0546.60010号
[29] Vetterlein T（2007）作为函数代数的左连续T-范数。收录：Stepnicka M、Novak V、Bodenhofer U（编辑）第五届EUSFLAT会议记录，捷克共和国俄斯特拉发。第2卷，第37–43页
[30] Wang SM，Wang B-S，Wang X-Y（2004）幂零最小逻辑中真函数的刻画。模糊集系统145:253–266·Zbl 1050.03021号 ·doi:10.1016/S0165-0114（03）00138-6
[31] Wang SM，Wang B-S，Ren F（2005）NMŁ，F.Esteva和L.Godos逻辑MTL的示意性扩展。模糊集系统149:285–295·Zbl 1060.03044号 ·doi:10.1016/j.fss.2003.12.005
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。