×
彼得·哈耶克

使模糊描述逻辑更通用。 （英语） Zbl 1094.03014号

模糊集系统。 154，第1期，第1-15页（2005年）.
摘要：提出了一种基于基本（基于连续t-范数）模糊谓词逻辑BL的模糊描述逻辑。讨论了概念的可满足性、有效性和包含性问题，并将其归结为对任何连续t-范数都是可判定的模糊命题逻辑问题。对于Łukasiewicz t-范数，得到了一些更强的结果。

引用于2评论
引用于59文件

MSC公司：

03B52号 模糊逻辑；模糊逻辑

关键词：

模糊逻辑;描述逻辑;连续t-范数
PDF格式BibTeX公司 XML格式引用
\textit{P.Hájek}，模糊集系统。154，第1，1-15号（2005年；兹bl 1094.03014）
全文： 内政部

参考文献：

[1] Areces，C.，《逻辑工程——描述和混合逻辑案例》，论文（2000），ILLC大学：阿姆斯特丹ILLC大学
[2] F.Baader等人（编辑），《描述逻辑手册——理论、解释和应用》，剑桥大学出版社，剑桥，2003年。；F.Baader等人（编辑），《描述逻辑手册——理论、解释和应用》，剑桥大学出版社，剑桥，2003年·Zbl 1058.68107号
[3] P.Bonatti，A.Tettamanzi，模糊描述逻辑的一些复杂性结果，Proc。国际。2003年那不勒斯模糊逻辑与应用研讨会（WILF'03）。；P.Bonatti，A.Tettamanzi，模糊描述逻辑的一些复杂性结果，Proc。国际。2003年那不勒斯模糊逻辑与应用研讨会（WILF'03）·Zbl 1128.68491号
[4] Borgida，A.，《描述逻辑和谓词逻辑的相对表达性》，Artif。智力。，82, 353-367 (1996) ·Zbl 1506.68132号
[5] Cignoli，R。；埃斯特娃，F。；戈多，L。；Torrens，A.，基本逻辑是连续t-范数及其残差的逻辑，软比较。，4, 106-112 (2000)
[6] Hájek，P.，《模糊逻辑的元数学》（1998），Kluwer:Kluwer-Dordrecht·Zbl 0937.03030号
[7] P.Hájek，P.Cintula，提交的保守扩展和见证模糊理论模型。；P.Hájek，P.Cintula，提交了保守扩展和见证模糊理论模型。
[8] Z.Haniková，模糊逻辑的数学和元数学性质，博士论文，见www.cs.cas.cz；Z.Haniková，模糊逻辑的数学和元数学性质，博士论文，见www.cs.cas.cz
[9] Hanikova，Z.，个体t-代数复杂性的注释，神经网络世界，12453-460（2002）
[10] S.Hölldebler，T.D.Khang，H.P.Störr，以模糊限制语作为概念修饰语的模糊描述逻辑，德累斯顿大学，（网络）。；S.Hölldebler，T.D.Khang，H.P.Störr，以模糊限制语作为概念修饰语的模糊描述逻辑，德国德累斯顿大学，（网络）。
[11] 知识网，www.kw.man.ac.uk/doc/VUM-d251.pdf；知识网，www.kw.man.ac.uk/doc/VUM-d251.pdf
[12] H.L.Larsen，J.F.Nilsson，概念对象代数数据模型中的模糊查询，FQAS 1996，罗斯基勒，第75-87页。；H.L.Larsen，J.F.Nilsson，概念对象代数数据模型中的模糊查询，FQAS 1996，罗斯基勒，第75-87页。
[13] Mundici，D.，多值句子逻辑中的可满足性是NP-完全的，Theoret。计算。科学。，52, 145-153 (1987) ·Zbl 0639.03042号
[14] Schmidt-Schauss，M。；Smolka，G.，带补语的定语概念描述，Artif。智力。，48, 1-26 (1991) ·Zbl 0712.68095号
[15] U.Straccia，模糊描述逻辑，Proc。AAAI'98，威斯康星州麦迪逊（网上）。；U.Straccia，模糊描述逻辑，Proc。AAAI'98，威斯康星州麦迪逊（网上）·Zbl 1171.68754号
[16] 美国斯特拉契亚，《模糊描述逻辑推理》，Artif。智力。决议，第14号，第137-166页（2001年）·Zbl 0973.03034号
[17] C.B.Tresp，R.Molitor，模糊知识的描述逻辑，RWTH-LTCS报告98-01，亚琛理工大学。；C.B.Tresp，R.Molitor，模糊知识的描述逻辑，RWTH-LTCS报告98-01，亚琛工业大学。
[18] J.Yen，将术语包含语言推广到模糊逻辑，IJCAI’91，第472-477页。；J.Yen，《将术语包含语言推广到模糊逻辑》，IJCAI’91，第472-477页·Zbl 0742.68062号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。