×
莫雷诺，吉纳斯;詹姆·佩纳巴德;卡洛斯·巴斯克斯

超越多伴随逻辑编程。 （英语） Zbl 1343.68045号

国际期刊计算。数学。 92，第9期，1956-1975（2015）.
摘要：在“多伴随逻辑编程”（简称MALP）中，每个模糊逻辑程序都与自己的“多伴随格”相关联，用于建模真度，而不是简单的真和假情况，在这种情况下，可以定义大量的模糊连接词。在这一广泛的曲目中，至关重要的是将每个蕴涵符号与适当的连词连接起来，从而使被称为“伴随对”的形式（（左箭头{i}，&{i}）的结构一致，其使用直接影响MALP框架的声明语义和操作语义，我们首先展示了如何对于一个有趣的MALP程序的“子类”在很大程度上削弱伴随对的强依赖性。然后，我们以类似的方式进行推理，直到构思出一个超越MALP的“超类”模糊逻辑程序，这明确地放弃了使用伴随对的需要，因为新的语义行为依赖于比多伴随格更宽松的格。

引用于6文件

MSC公司：

68N17号 逻辑编程
03B52号 模糊逻辑；模糊逻辑
03B70号 计算机科学中的逻辑

关键词：

多伴随逻辑程序设计;伴随对;模糊逻辑程序设计

软件：

XPath（XPath）
PDF格式BibTeX公司 XML格式引用
\textit{G.Moreno}等人，《国际计算杂志》。数学。92，第9号，1956年--1975年（2015年；Zbl 1343.68045）
全文： 内政部

参考文献：

[1] J.M.Almendros-Jiménez、A.Luna和G.Moreno，调试Xpath查询时注释模糊机会度，《计算智能进展》。程序。第十二届人工神经网络国际工作会议，IWANN'13，西班牙特内里费，6月12-14日。《计算机科学7903课堂讲稿》，第二部分，施普林格出版社，柏林，2013年，第300-311页。
[2] Apt K.R.，《计算机科学国际丛书：从逻辑编程到Prolog》（1997）
[3] 内政部：10.1016/0165-0114（93）90166-F·兹比尔0783.68021 ·doi:10.1016/0165-0114（93）90166-F
[4] Baldwin J.F.，人工智能中的Fril-Fuzzy和证据推理（1995）
[5] DOI:10.1007/3-540-40006-0_5·doi:10.1007/3-540-40006-05
[6] Damásio C.V.，程序。欧洲人工智能会议，《人工智能和应用前沿》第808页–（2004）
[7] 内政部：10.1016/0743-1066（86）90003-8·Zbl 0609.68068号 ·doi:10.1016/0743-1066（86）90003-8
[8] 内政部：10.1145/321978.321991·Zbl 0339.68004号 ·doi:10.145/321978.321991
[9] 内政部：10.1016/0743-1066（91）90014-G·Zbl 0757.68028号 ·doi:10.1016/0743-1066（91）90014-G
[10] 内政部：10.1007/s11225-005-2977-0·Zbl 1079.93031号 ·doi:10.1007/s11225-005-2977-0
[11] 数字对象标识码：10.1111/j.1467-8640.1988.tb00280.x·doi:10.1111/j.1467-8640.1988.tb00280.x
[12] 内政部：10.1016/j.fss.2003.10.017·Zbl 1065.68023号 ·doi:10.1016/j.fs.2003.10.2017
[13] DOI:10.1016/j.entcs.2009.07.063·Zbl 06583575号 ·doi:10.1016/j.entcs.2009.07.063
[14] Julián P.，J.UCS 12（11）第1679页–（2006）
[15] 内政部：10.1016/j.fss.2008.05.006·Zbl 1182.68041号 ·doi:10.1016/j.fss.2008.05.006
[16] DOI:10.1023/A:1018969519807·Zbl 0890.68025号 ·doi:10.1023/A:1018969519807
[17] 内政部：10.1016/0743-1066（92）90007-P·doi:10.1016/0743-1066（92）90007-P
[18] DOI:10.1016/j.fss.2003.10.019·Zbl 1065.68024号 ·doi:10.1016/j.fss.2003.10.019
[19] DOI:10.1017/s147106840001058·Zbl 02048601号 ·doi:10.1017/S147106840001058
[20] 内政部：10.1145/321679.321688·Zbl 0245.02020号 ·数字对象标识代码：10.1145/321679.321688
[21] 内政部：10.1007/978-3-642-83189-8·doi:10.1007/978-3-642-83189-8
[22] DOI:10.1007/s10472-008-9099-0·Zbl 1186.68098号 ·doi:10.1007/s10472-008-9099-0
[23] 内政部：10.1145/377978.377983·兹比尔1171.68762 ·doi:10.1145/377978.377983
[24] Medina J.，LNAI 4578第37页–（2007年）
[25] 内政部：10.1016/j.fss.2006.11.006·Zbl 1111.68016号 ·doi:10.1016/j.fss.2006.11.006
[26] Medina J.，LNAI 4827第271页–（2007年）
[27] 内政部：10.1016/j.fss.2003.11.005·Zbl 1073.68026号 ·doi:10.1016/j.fss.2003.11.005
[28] 内政部：10.1080/00207160.2012.689826·兹比尔1269.06003 ·doi:10.1080/00207160.2012.689826
[29] 内政部：10.1016/0888-613X（89）90005-4·Zbl 0666.68089号 ·doi:10.1016/0888-613X（89）90005-4
[30] 内政部：10.1016/j.ins.2010.07.033·Zbl 05911284号 ·doi:10.1016/j.ins.2010.07.033
[31] DOI:10.1016/j.entcs.2009.07.060·Zbl 1337.68055号 ·doi:10.1016/j.entcs.2009.07.060
[32] Sessa M.I.，模糊集系统。第275页，第389页–（2002年）
[33] Stouti A.，拱门。数学。40（3）第273页–（2004）
[34] 内政部：10.1137/070695976·Zbl 1183.68158号 ·doi:10.1137/070695976
[35] DOI:10.2140/pjm.1955.5.285·Zbl 0064.26004号 ·doi:10.2140/pjm.1955.5.285
[36] 内政部：10.1007/3-540-36078-6_30·数字对象标识代码：10.1007/3-540-36078-6_30
[37] DOI:10.1016/S0165-0114（01）00106-3·Zbl 1015.68036号 ·doi:10.1016/S0165-0114（01）00106-3
[38] P.Vojtáš和L.Paulík，非经典扩展SLD分辨率的稳健性和完整性，Proc。《ELP’96 Leipzig》，摘自R.Dyckhofet al.，eds.计算机科学1050讲稿，Springer Verlag，1996年，第289-301页·doi:10.1007/3-540-60983-0_20
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。