副主席科斯塔;皮拉尔·德尔隆德 关于模糊泛Horn类中自由模型的存在性。 （英语） Zbl 1436.03158号 J.应用。日志。 23, 3-15 (2017). 小结：本文是对谓词模糊逻辑的泛Horn片断研究的一个贡献，主要关注逻辑编程中的一些相关概念。我们引入了与一组公式关联的术语结构在模糊上下文中，我们证明了模糊泛Horn类中自由模型的存在性。我们证明了每个无等式一致的泛Horn模糊理论都有一个Herbrand模型。 引用于1文件 MSC公司： 03B52号 模糊逻辑；模糊逻辑 68N17号 逻辑编程 关键词：Horn条款;自由模型;赫布兰德构造;谓词模糊逻辑 PDF格式BibTeX公司 XML格式引用 \textit{V.Costa}和\textit{P.Dellunde}，J.Appl。日志。23、3--15（2017年；Zbl 1436.03158） 全文： 内政部 arXiv公司 链接 参考文献： [1] 巴尔，F。；Wells，C.，《计算科学的范畴理论》（1995），普伦蒂斯·霍尔国际（英国）·Zbl 0841.18001号 [2] BŞlohlávek，R。；Vychodil，V.，模糊喇叭逻辑I，Arch。数学。日志。，45, 3-51 (2006) ·Zbl 1095.03014号 [3] Bělohlávek，R。；Vychodil，V.，模糊喇叭逻辑II，Arch。数学。日志。，45, 149-177 (2006) ·Zbl 1099.03016号 [4] Bělohlávek，R。；Vychodil，V.，模糊等式逻辑，模糊性和软计算研究，第186卷，1-266（2005），Springer·Zbl 1083.03030号 [5] Bělohlávek，R.，Birkhoff多样性定理和模糊逻辑，Arch。数学。日志。，42, 8, 781-790 (2003) ·Zbl 1040.03018号 [6] Bělohlávek，R.，模糊方程逻辑，Arch。数学。日志。，41, 1, 83-90 (2002) ·Zbl 1026.03016号 [7] 辛图拉，P。；Metcalfe，G.，子结构逻辑的Herbrand定理，（McMillan，K.；Middeldorp，A。；沃伦科夫，A.，《程序设计、人工智能和推理逻辑——第19届国际会议》。《程序设计、人工智能和推理逻辑》第19届国际会议，LPAR-19，南非斯泰伦博斯，2013年12月14-19日。诉讼程序。程序设计、人工智能和推理逻辑-第19届国际会议。《程序设计、人工智能和推理逻辑》第19届国际会议，LPAR-19，南非斯泰伦博斯，2013年12月14-19日。《计算机科学讲义》，第8312卷（2013年），施普林格出版社，584-600·Zbl 1408.03016号 [8] （Cintula，P.；Hájek，P.，Noguera，C.，《数学模糊逻辑手册》，《逻辑、数学逻辑和基础研究》，第38卷（2011年），大学出版物：伦敦大学出版物），（分2卷）·Zbl 1284.03177号 [9] 辛图拉，P。；Hájek，P.，基于三角范数的谓词模糊逻辑，模糊集系统。，161311-346（2010年）·Zbl 1200.03020号 [10] 辛图拉，P。；Hájek，P.，《关于谓词模糊逻辑的理论和模型》，J.Symb。日志。，71, 3, 863-880 (2006) ·Zbl 1111.03030号 [11] 科斯塔，V。；Dellund，P.，《关于谓词模糊逻辑上Horn子句的自由模型》（Armengol，E.；Boixader，E。；Grimaldo，F.，《人工智能研究与开发——加泰罗尼亚人工智能协会第18届国际会议论文集》。人工智能和应用的前沿。人工智能研究与开发——加泰罗尼亚人工智能协会第18届国际会议记录。瓦伦西亚人工智能和应用前沿。人工智能研究与开发——加泰罗尼亚人工智能协会第18届国际会议记录。人工智能与应用前沿。人工智能研究与开发——加泰罗尼亚人工智能协会第18届国际会议记录。《人工智能和应用前沿》，瓦伦西亚，《人工智能与应用前沿》第277卷（2015年），第49-58页 [12] Dellund，P。；加西亚·塞尔达尼亚，a。；Noguera，C.，Löwenheim-Skolem非经典一阶代数化逻辑定理，Log。J.IGPL（2016），出版中·Zbl 1405.03102号 [13] Dellund，P.，《谓词模糊逻辑中的保持映射》，J.Log。计算。，22, 6, 1367-1389 (2012) ·Zbl 1266.03043号 [14] （Dovier，A。；Pontelli，E.，《逻辑编程25年展望：意大利逻辑编程协会的成就》。逻辑编程25年展望：意大利逻辑编程协会的成就。逻辑编程25年展望：意大利逻辑编程协会的成就。《逻辑编程25年展望：意大利逻辑编程协会的成就》，GULP，计算机科学讲座（2010），斯普林格出版社·Zbl 1191.68008号 [15] Dubois，D。；Prade，H.，什么是模糊规则以及如何使用它们，模糊集系统。，84, 169-185 (1996) ·兹比尔0905.03008 [16] 艾宾浩斯，H.D。；弗鲁姆，J。；托马斯·W·数学逻辑（1994），斯普林格·Zbl 0795.03001号 [17] 易卜拉欣，R.，模糊逻辑编程，模糊集系统。，117215-230（2001年）·Zbl 0985.68010号 [18] 埃斯特娃，F。；Godo，L.，基于单体t-范数的逻辑：走向左旋t-范本的逻辑，模糊集系统。，124, 271-288 (2001) ·Zbl 0994.03017号 [19] Gerla，G.，《模糊逻辑编程和模糊控制》，Stud.Log。，79, 2, 231-254 (2005) ·Zbl 1079.93031号 [20] Gerla，G.，作为模糊推理系统的模糊控制，模糊集系统。，121, 3, 409-425 (2001) ·Zbl 1136.93369号 [21] Gerla，G.，《模糊逻辑：近似推理的数学工具》，趋势日志。，第11卷（2001），施普林格·Zbl 0976.03026号 [22] Goguen，J.A。；撒切尔，J.W。；瓦格纳，E.G。；Wright，J.B.，作为初始代数的抽象数据类型和数据表示的正确性，（IEEE Computer Soc.，《计算机图形、模式识别和数据结构会议论文集》，《计算机制图、模式识别与数据结构会议文献集》，纽约（美国）（1975年），89-93 [23] Hájek，P.，《模糊逻辑的元数学》，趋势日志。螺柱日志。伦敦银行同业拆借利率。，第4卷（1998），Kluwer学术出版社·Zbl 0937.03030号 [24] Hodges，W.，《霍恩逻辑的逻辑特征》（Gabbay，M.；Hogger，C.J.；Robinson，J.A.；Siekmann，J.，《人工智能和逻辑编程中的逻辑手册：逻辑基础》，第1卷（1993），克拉伦登出版社），449-503·Zbl 0808.68027号 [25] Jenei，S。；Montagna，F.，Esteva和Godo逻辑MTL的标准完整性证明，Stud.Log。，70, 2, 183-192 (2002) ·Zbl 0997.03027号 [26] Makowsky，J.A.，《为什么Horn公式在计算机科学中很重要：初始结构和通用示例》，J.Compute。系统。科学。，34, 266-292 (1987) ·Zbl 0619.68029号 [27] 《多值命题逻辑的证明程序》（Monografies de l’IIIA，第9卷（1999）） [28] 麦肯锡，J.C.C.，没有量词的某些句子类别的决策问题，J.Symb。日志。，8, 3, 61-76 (1943) ·Zbl 0063.03864号 [29] 诺格拉，C。；埃斯特娃，F。；Gispert，J.，关于MTL-代数的一些变体，Log。J.IGPL，3，4，443-466（2005）·Zbl 1078.03051号 [30] 沃伊塔什，P.，模糊逻辑编程，模糊集系统。，124, 361-370 (2001) ·Zbl 1015.68036号 [31] Vychodil，V.，具有模糊等式的代数伪簇，模糊集系统。，260, 110-120 (2015) ·Zbl 1335.08003号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。