×
卡巴列罗，R。；罗德里格斯-阿塔莱霍，M。；罗梅罗·迪亚斯，C.A。

CLP基于转换的实施，具有限定性和接近性。 （英语） Zbl 1295.68057号

理论与实践。日志。程序。 14，第1号，1-63（2014）.
这是这些作者关于使用逻辑编程处理模糊或不确定信息的最新论文。他们已经发表了该领域的一系列文本（技术报告、期刊论文、会议论文）——我们在导言中找到了这些文本的参考，以及对其他相关方法的全面调查。2008年，受定量逻辑编程和广义注释程序思想的启发，作者定义了他们的合格逻辑编程方案（QLP）。然后，他们扩展了基于相似性的逻辑编程（SLP），允许QLP风格的程序子句注释，并推广了相似关系，定义了基于相似的限定逻辑编程方案（SQLP）。他们提供了一个语义正确的SQLP程序到QLP的转换。2009年，他们继续使用限定约束函数逻辑编程的通用方案、函数逻辑编程中的限定计算以及使用双值谓词的限定逻辑编程。最近，SLP方法被推广到处理满足自反性和对称性公理但并不总是满足及物性的邻近关系。SQCLP方案是SQLP的常见扩展，经典约束逻辑编程方案（CLP）出现于2010年。
本文主要讨论SQCLP在Prolog中的实现。具体章节如下：对方案SQCLP及其声明语义的详细调查，作为原型实现基础的SQCLP-CLP转换理论，适合于实际实现的转换的优化，为SQCLP编程原型系统用户提供的指南，对资格和邻近关系引入的过载进行评估。在用户指南中，我们发现“原型实现对象是公开可用的，可以在以下位置找到：http://gpd.sip.ucm.es/cromdia/qclp; 该系统目前需要SICStus Prolog或SWI-Prolog，并且已经过测试，可以在Windows、Linux和MacOSX平台下工作”。此外，给出了关于SQCLP与纯Prolog的句法差异以及可用的约束和限定域类型和邻近关系的说明。
未来，作者计划研究在灵活查询应答领域的可能应用，增加可用于（S）QCLP原型的约束和限定域的储备，并将解析过程扩展到能够处理约束和邻近关系的SQCLP目标求解过程。也就是说，他们计划根据之前的调查结果扩展原型。
审核人：安东尼哈（普拉哈）

引用于2文件

MSC公司：

68N17号 逻辑编程

关键词：

约束逻辑程序设计；程序转换；限定域；限定值；相似关系；邻近关系；灵活的信息检索
PDF格式BibTeX公司 XML格式引用
\textit{R.Caballero}等人，《理论与实践》。日志。程序。14，第1号，1--63（2014；Zbl 1295.68057）
全文： 内政部 arXiv公司

参考文献：

[1] DOI:10.1016/S0020-0255（71）80005-1·Zbl 0218.02058号 ·doi:10.1016/S0020-0255（71）80005-1
[2] DOI:10.1007/s00500-002-0178-6·Zbl 1039.68044号 ·doi:10.1007/s00500-002-0178-6
[3] DOI:10.1016/S0019-9958（65）90241-X·Zbl 0139.24606号 ·doi:10.1016/S0019-9958（65）90241-X
[4] 模糊集与系统：理论与应用（1980）
[5] DOI:10.1016/S0165-0114（01）00106-3·Zbl 1015.68036号 ·doi:10.1016/S0165-0114（01）00106-3
[6] 内政部：10.1007/s10844-008-0066-3·Zbl 05672076号 ·doi:10.1007/s10844-008-0066-3
[7] 内政部：10.1016/0743-1066（86）90003-8·Zbl 0609.68068号 ·doi:10.1016/0743-1066（86）90003-8
[8] DOI:10.1016/S0304-3975（01）00188-8·Zbl 1051.68045号 ·doi:10.1016/S0304-3975（01）00188-8
[9] 内政部：10.1007/978-3-642-02846-5·Zbl 1167.68003号 ·doi:10.1007/978-3642-02846-5
[10] 内政部：10.1007/PL00009891·Zbl 0992.68021号 ·doi:10.1007/PL00009891
[11] 内政部：10.1145/1389449.1389472·doi:10.1145/1389449.1389472
[12] 美国计算机学会程序设计语言与系统汇刊3第1页–（2001年）
[13] 《具有限定性和邻近性的CLP的固定点和证明理论语义》（2010）
[14] 人工智能中的Fril-Fuzzy和证据推理（1995）
[15] 逻辑程序设计理论与实践，第26届国际。逻辑编程会议（ICLP’10）10 pp 627–（2010）·Zbl 1209.68097号 ·doi:10.1017/S1471068410000323
[16] Caballero，用户手册（2007）
[17] 内政部：10.1007/978-3-540-78969-7·Zbl 1133.68006号 ·doi:10.1007/978-3-540-78969-7
[18] 内政部：10.1002/int.10067·Zbl 1021.68031号 ·数字对象标识代码：10.1002/int.10067
[19] 1999年ACM应用计算研讨会（SAC’99）会议记录第260页–（1999）
[20] 内政部：10.1016/j.fss.2003.11.005·Zbl 1073.68026号 ·doi:10.1016/j.fss.2003.11.005
[21] 内政部：10.1007/3-540-45329-6·doi:10.1007/3-540-45329-6
[22] van Leeuwen，《理论计算机科学手册》第493页–（1990）
[23] 内政部：10.1007/3-540-45402-0·Zbl 0971.00048号 ·doi:10.1007/3-540-45402-0
[24] 内政部：10.1016/j.fs.2003.10.2018·Zbl 1076.68088号 ·doi:10.1016/j.fss.2003.10.018
[25] 逻辑程序设计基础（1987）·Zbl 0668.68004号
[26] 模糊Prolog数据库系统（1990）
[27] 内政部：10.1145/321679.321688·Zbl 0245.02020号 ·数字对象标识代码：10.1145/321679.321688
[28] 内政部：10.1016/0743-1066（92）90007-P·doi:10.1016/0743-1066（92）90007-P
[29] 生物灵感系统：计算和环境智能（IWANN 2009）第245页–（2009）
[30] 内政部：10.1145/1599410.1599430·数字对象标识代码：10.1145/1599410.1599430
[31] Almendros-Jiménez，第八届西班牙编程与计算机语言会议记录（PROLE 2008），第131页–（2009）
[32] 内政部：10.1016/j.fss.2008.05.006·Zbl 1182.68041号 ·doi:10.1016/j.fss.2008.05.006
[33] DOI:10.1016/S0743-1066（98）10002-X·Zbl 0920.68068号 ·doi:10.1016/S0743-1066（98）10002-X
[34] 第14届ACM SIGACT-SIGPLAN程序设计语言原理研讨会论文集（POPL'87）第111页–（1987）
[35] Joshi，第九届国际人工智能联合会议（IJCAI'85）论文集，第701页–（1985）
[36] 约束语言上的定关系（1988）
[37] 模糊逻辑的元数学（1998）·Zbl 0937.03030号
[38] 内政部：10.1016/j.fss.2003.10.017·Zbl 1065.68023号 ·doi:10.1016/j.fss.2003.10.017
[39] 模糊逻辑：近似推理的数学工具（2001）·Zbl 0976.03026号
[40] 第四届约束规划原理与实践国际会议论文集第205页–（1998）
[41] DOI:10.1016/0004-3702（92）90004-H·Zbl 05472872号 ·doi:10.1016/0004-3702（92）90004-H
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。