×

CLP(\(\mathsf{H}\)):对冲的约束逻辑编程。 (英语) Zbl 1379.68057号

概要:CLP({\mathsf{H}})是一般约束逻辑规划方案的实例化,具有模糊限制的约束域。模糊限制语是无等级术语的有限序列,建立在可变函数符号和三种变量之上:术语、模糊限制语和函数符号。约束涉及未排序项和原子之间的方程,用于正则套期保值语言成员关系。我们研究CLP({\mathsf{H}})程序的代数语义,定义一个健全的、终止的和不完整的约束求解器,研究求解器返回完整解集的两个约束片段,并描述生成此类约束的程序类。

MSC公司:

68N17号 逻辑编程
68问题55 计算理论中的语义学
68T20型 人工智能背景下的问题解决(启发式、搜索策略等)
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] AntimirovV。M.1996年。正则表达式和有限自动机构造的偏导数。理论计算机科学155,2,291-319.10.1016/0304-3975(95)00182-4·Zbl 0872.68120号 ·doi:10.1016/0304-3975(95)00182-4
[2] 镇流器E。,布劳纳。,科佩兹。,莫劳。和ReillesA2007。汤姆:Piggybacking在java上重写。程序中。术语重写和应用,第18届国际会议,RTA 2007,法国巴黎,2007年6月26-28日,F.Baader,Ed.计算机科学讲稿,第4533卷。施普林格,36-47。
[3] ClavelM.、。,杜兰夫。,EkerS.、LincolnP.、。,马丁·奥列特。,MeseguerJ.和TalcottC。L.Eds.2007年。Maude简介-高性能逻辑框架,如何在重写逻辑中指定、编程和验证系统。计算机科学讲义,第4350卷。斯普林格·Zbl 1115.68046号
[4] 科尔霍J。和FloridoM.2004。CLP(Flex):应用于XML处理的约束逻辑编程。程序中。《走向有意义的互联网系统2004:CoopIS、DOA和ODBASE》,OTM联合会国际会议,塞浦路斯阿吉亚·纳帕,10月25-29日,第二部分,R.Meersman和Z.Tari编辑,《计算机科学讲稿》,第3291卷。施普林格,1098-1112。
[5] 科埃略。和FloridoM.2006。VeriFLog:一种用于验证网站内容的约束逻辑编程方法。程序中。《高级网络和网络技术及应用》,APWeb 2006国际研讨会:XRA、IWSN、MEGA和ICSE,中国哈尔滨,2006年1月16-18日,H.T.Shen、J.Li、M.Li,J.Ni和W.Wang编辑,《计算机科学讲义》,第3842卷。施普林格,148-156。
[6] 科尔霍J。和FloridoM.2007。XCentric:用于XML处理的逻辑编程。程序中。第九届ACM网络信息和数据管理国际研讨会(WIDM 2007),葡萄牙里斯本,11月9日,I.Fundulaki和N.Polyzotis,ACM编辑,1-8.10.1145/1316902·数字对象标识代码:10.1145/1316902
[7] 科尔梅劳尔A.1990。Prolog III.ACM33的通信简介,7,69-90.10.1145/79204.79210·数字对象标识代码:10.1145/79204.79210
[8] ComonH.1998年。完成具有成员限制的重写系统。第二部分:约束求解。符号计算杂志25,4,421-453.1006/jsco.1997.0186·Zbl 0983.68092号 ·doi:10.1006/jsco.1997.0186
[9] 德姆宾斯基。和MaluszynskiJ.1985。注释逻辑程序的智能回溯与并行。1985年逻辑编程研讨会论文集,美国马萨诸塞州波士顿,7月15-18日,IEEE-CS,29-38。
[10] Dershowitz,1982年。术语重新编写系统的订购。理论计算机科学17,279-301.1016/0304-3975(82)90026-3·Zbl 0525.68054号 ·doi:10.1016/0304-3975(82)90026-3
[11] DovierA公司。,广场。,庞泰利。和RossiG.2000。集合和约束逻辑编程。美国计算机学会程序设计语言与系统汇刊22,5,861-931.10.1145/365151.365169·doi:10.1145/365151.365169
[12] DovierA公司。,广场。和RossiG.2008。列表、多集、紧列表和集的约束求解的统一方法。ACM计算逻辑汇刊9,3,1-30·兹比尔1367.68079
[13] DunduaB。,佛罗里达州。,KutsiaT公司。和MarinM.2014。模糊限制语的约束逻辑编程:语义重建。程序中。功能和逻辑编程第12届国际研讨会,FLOPS 2014,日本金泽,6月4-6日,M.Codish和E.Sumii编辑,计算机科学讲义,第8475卷。施普林格,285-301·兹伯利1416.68031
[14] Ganzinger H.和Waldmann U.1992。通过条件重写系统证明良好模式逻辑程序的终止。程序中。《条件词改写系统》,第三届国际研讨会,CTRS-92,Pont-á-Mousson,法国,7月8日至10日,M.Rusinovitch和J.Remy编辑,《计算机科学讲义》,第656卷。施普林格,430-437。
[15] GeneserethM公司。R.和FikesR。E.1992年。知识交换格式,3.0版参考手册。技术代表Logic-92-1,美国加州斯坦福大学。
[16] 细野。和PierceB。2003年2月。XML的正则表达式模式匹配。功能编程杂志13,6,961-1004.1017/S0956796802004410S09567969802004410·Zbl 1093.68556号 ·doi:10.1017/S0956796802004410
[17] JaffarJ.、MaherM.J.、MarriottK。和StuckeyP。1998年期刊。约束逻辑程序的语义。逻辑编程杂志37,1-3,1-46.10016/S0743-1066(98)10002-X·Zbl 0920.68068号 ·doi:10.1016/S0743-1066(98)10002-X
[18] KutsiaT.2003年。定理的等式证明。程序中。《重写技术与应用》,第14届国际会议,RTA 2003,西班牙巴伦西亚,6月9日至11日,R.Nieuwenhuis,Ed.计算机科学讲稿,第2706卷。施普林格,367-379·Zbl 1038.68570号
[19] KutsiaT.2004年。求解包含序列变量和序列函数的方程。《人工智能和符号计算过程》,第七届国际会议,AISC 2004,奥地利林茨,9月22日至24日,B.Buchberger和J.A.Campbell主编,计算机科学讲义,第3249卷。斯普林格,157-170·兹比尔1109.68579
[20] KutsiaT.2007年。用序列变量和序列函数求解方程。符号计算杂志42,3,352-388.10.1016/j.jsc.2006.12.002·Zbl 1124.68121号 ·doi:10.1016/j.jsc.2006.12.002
[21] KutsiaT公司。和MarinM.2005a。上下文序列匹配可以用于查询XML吗?程序中。2005年第19届国际统一研讨会,L.Vigneron,Ed.Nara,Japan,77-92。
[22] KutsiaT公司。和MarinM.2005b。与常规约束匹配。程序中。《程序设计、人工智能和推理逻辑》,第12届国际会议,LPAR 2005,牙买加蒙特哥湾,12月2-6日,G.Sutcliffe和A.Voronkov编辑,《计算机科学讲义》,第3835卷。施普林格,215-229·兹比尔1143.68590
[23] 马里姆。和KutsiaT.2003。关于基于规则的编程系统的实现及其一些应用。程序中。第四届逻辑实现国际研讨会(WIL’03),B.Konev和R.Schmidt,编辑:哈萨克斯坦阿拉木图,55-68。
[24] 马里姆。和KutsiaT.2006。基于规则的系统ρLog的基础。应用非经典逻辑杂志16,1-2,151-168.10.3166/jancl.161-168·Zbl 1184.68175号 ·doi:10.3166/1月16日-151-168
[25] Miller,1991年。具有lambda抽象、函数变量和简单统一的逻辑编程语言。逻辑与计算杂志1,4,497-536.10.1093/logcom/1.4.497·Zbl 0738.68016号 ·doi:10.1093/logcom/1.4.497
[26] 拉贾塞卡尔,1994年。字符串上的约束逻辑编程:理论与应用。在逻辑编程,程序。1994年国际研讨会,美国纽约伊萨卡,11月13日至17日,M.Bruynooghe,Ed.MIT出版社,681。
[27] 范登布兰德。,van DeursenA。,HeeringJ。,德容。,德琼格。,KuipersT。,KlintP公司。,穆纳。,奥利维尔·P。A.、ScheerderJ.、VinjuJ。J.、VissereE。和VisserJ.2001。ASF+SDF元环境:一个基于组件的语言开发环境。理论计算机科学电子笔记44,2,3-8.10.1016/S1571-0661(04)80917-4·Zbl 0977.68762号 ·doi:10.1016/S1571-0661(04)80917-4
[28] 瓦林斯基C.1989。CLP(∑*):用正则集进行约束逻辑编程。在逻辑编程,程序。第六届国际会议,6月19-23日,葡萄牙里斯本,G.Levi和M.Martelli,麻省理工学院出版社,181-196年。
[29] WolframS.2003年。《数学书》,第五版,Wolfram-Media。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。