×
杰苏斯·麦地那;曼纽尔·奥杰达·阿西戈;豪尔赫·鲁伊斯·卡尔维尼奥

通过多格的模糊逻辑编程。 （英文） Zbl 1111.68016号

模糊集系统。 158，第6号，674-688（2007）.
摘要：我们研究了多格作为一般模糊逻辑编程框架下的真值集的使用。一方面，给出了关于多格理想的一些理论结果，以提供基于理想的语义；另一方面，提出并分析了一种限制语义学，在这种语义学中，解释为每个命题符号指定一个多重格的元素。

引用于16文件

MSC公司：

68N17号 逻辑编程
06B99号 格子

关键词：

模糊逻辑程序设计;多点阵;不动点语义
PDF格式BibTeX公司 XML格式引用
\textit{J.Medina}等人，《模糊集系统》。158，第6号，674--688（2007；Zbl 1111.68016）
全文： 内政部

参考文献：

[1] Benado，M.，Les ensembles partiellement ordonés et le the theéme de raffinement de Schreier，第二版。多结构理论，捷克斯洛伐克数学。J.，5，80308-344（1955年）·Zbl 0068.25902号
[2] Birkhoff，G.，格理论（1973），美国数学学会：美国数学学会普罗维登斯，RI·Zbl 0126.03801号
[3] 科尔德罗，P。；古铁雷斯，G。；马丁内斯，J。；de Guzmán，I.P.，《自动定理证明器的新代数工具》，《数学年鉴》。人工智能，42，4，369-398（2004）·兹比尔1095.68110
[4] P.Cordero，J.Martínez，G.Gutiérrez，I.de Guzmán，通过非确定性算子推广格。离散数学295（1-3）（2005）107-141。；P.Cordero，J.Martínez，G.Gutiérrez，I.de Guzmán，通过非确定性算子推广格。《离散数学》295（1-3）（2005）107-141·Zbl 1085.06005号
[5] C.Damásio，J.Medina，M.Ojeda-Aciego，排序多伴随逻辑程序：终止结果和应用，收录于：人工智能中的逻辑，JELIA'04，人工智能课堂讲稿，第3229卷，2004年，第260-273页。；C.Damásio，J.Medina，M.Ojeda-Aciego，《分类多伴随逻辑程序：终止结果和应用》，收录于：《人工智能中的逻辑》，JELIA’04，《人工智能讲义》，第3229卷，2004年，第260-273页。
[6] C.Damásio，L.Pereira，单调和剩余逻辑程序，《计算机科学讲义》，第2143卷，2001年，第748-759页。；C.Damásio，L.Pereira，单调和剩余逻辑程序，《计算机科学讲义》，第2143卷，2001年，第748-759页·Zbl 1001.68545号
[7] Fitting，M.，Bilattices和逻辑编程的语义，J.logic programming，11，91-116（1991）·Zbl 0757.68028号
[8] Grätzer，G.，《一般格点理论》（1998），Birkhäuser Verlag:Birkhäuser Verlag-Basel·Zbl 0385.06015号
[9] Hansen，D.，《多重格的公理化表征》，离散数学。，1, 99-101 (1981) ·Zbl 0447.06005号
[10] Johnston，I.，《涉及多格理想和分配性的一些结果》，《离散数学》。，83, 1, 27-35 (1990) ·Zbl 0716.06004号
[11] Khamsi，M.A。；Misane，D.，《逻辑编程中的不动点定理》，《数学年鉴》。人工智能，21231-243（1997）·Zbl 0890.68025号
[12] Kifer，M。；Subrahmanian，V.，《广义注释逻辑编程理论及其应用》，《逻辑编程杂志》，第12期，第335-367页（1992年）
[13] Lakhsmanan，L。；Sadri，F.，《概率演绎数据库理论》，《理论实践逻辑编程》，1，1，5-42（2001）
[14] Y.Loyer，U.Straccia。《双关语基础良好语义的认识论基础》，J.Fiala，V.Koubek，J.Kratochvíl（编辑），MFCS，计算机科学讲义，第3153卷，Springer，柏林，2004年，第513-524页。；Y.Loyer，U.Straccia。《双关语语义的认知基础》，J.Fiala，V.Koubek，J.Kratochvíl（编辑），MFCS，计算机科学讲义，第3153卷，柏林斯普林格，2004年，第513-524页·兹比尔1096.68016
[15] J.Medina，M.Ojeda-Aciego，J.Ruiz-Calviño，作为广义模糊逻辑编程基础的多参数，收录于：Proc。WILF，《人工智能讲义》，第3849卷，2006年，第61-70页。；J.Medina，M.Ojeda-Aciego，J.Ruiz-Calviño，作为广义模糊逻辑编程基础的多参数，收录于：Proc。WILF，《人工智能讲义》，第3849卷，2006年，第61-70页·Zbl 1168.68347号
[16] J.Medina，M.Ojeda-Aciego，P.VojtáŠ，具有连续语义的多伴随逻辑编程，in：Proc。逻辑编程与非单调推理，LPNMR’01，《人工智能课堂讲稿》，第2173卷，施普林格，柏林，2001年，第351-364页。；J.Medina，M.Ojeda-Aciego，P.VojtáŠ，具有连续语义的多伴随逻辑编程，in：Proc。逻辑编程与非单调推理，LPNMR’01，《人工智能课堂讲稿》，第2173卷，施普林格，柏林，2001年，第351-364页·Zbl 1007.68023号
[17] Rachünek，J.，0-Ide aux des ensemples ordonés，帕拉克大学学报。奥洛穆克。工厂。雷尔。自然。，45，数学。14, 77-81 (1974) ·Zbl 0324.06001号
[18] A.C.M.Ran，M.C.B.Reurings，偏序集中的不动点定理及其在矩阵方程中的一些应用，in：Proc。美国数学学会，第132（5）卷，2003年，第1435-1443页。；A.C.M.Ran，M.C.B.Reurings，偏序集中的不动点定理及其在矩阵方程中的一些应用，in：Proc。美国数学学会，第132（5）卷，2003年，第1435-1443页·Zbl 1060.47056号
[19] 轮数，W。；张国庆，代数域中的子句逻辑和逻辑编程，Inform。计算。，171, 183-200 (2001) ·Zbl 1005.68094号
[20] Stouti，A.，塔斯基不动点定理的模糊版本，Arch。数学。，40273-279（2004年）·Zbl 1108.06008号
[21] Vojtáš，P.，模糊逻辑编程，模糊集与系统，124，3，361-370（2001）·兹比尔1015.68036
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。