×

兹马思-数学第一资源

CLP(\(\mathsf{H}\):模糊限制的约束逻辑编程。(英语) Zbl 1379.68057
摘要:CLP({\mathsf{H}})是带有模糊限制约束域的一般约束逻辑编程方案的一个实例。模糊限制语是无等级术语的有限序列,建立在可变函数符号和三种变量上:术语、模糊限制语和函数符号。约束包括未排序项和规则对冲语言成员关系的原子之间的等式。我们研究了CLP({\mathsf{H})程序的代数语义,定义了一个健全的、终止的、不完全的约束解算器,研究了求解器返回一组完整解的两个约束片段,并描述了生成这些约束的程序类。

理学硕士:
68N17 逻辑程序设计
68问55 计算理论中的语义学
68吨20 人工智能环境下的问题解决(启发式、搜索策略等)
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] 安蒂米洛夫,V.M.,正则表达式的偏导数和有限自动机构造,理论计算机科学,155,2291-319,(1996)·Zbl 0872.68120
[2] 巴拉德,E。;布劳纳,P。;佩茨。;莫罗,P。;赖斯,A。;巴德尔,F.,Proc。术语重写与应用,第18届国际会议,RTA 2007,巴黎,法国,2007年6月26-28日,Tom:Piggyback重写java,36-47,(2007),Springer
[3] 克莱维尔,M。;杜兰,F。;埃克尔,S。;林肯,P。;马蒂奥利特,N。;梅斯格尔,J。;Talcott,C.L.,All About Maude-一个高性能逻辑框架,如何在重写逻辑中指定、编程和验证系统,pp.,(2007),Springer·Zbl 1115.68046
[4] 科埃略,J。;弗洛里多,M。;米尔斯曼,R。;塔里,Z.,Proc。《迈向有意义的互联网系统2004:CoopIS、DOA和ODBASE》,OTM联合国际会议,Agia Napa,塞浦路斯,10月25-29日,CLP(Flex):约束逻辑编程应用于XML处理,1098-1112,(2004),Springer
[5] 科埃略,J。;弗洛里多,M。;沈海涛。;李,J。;李,M。;Ni,J。;王,W.,Proc。先进的网络和网络技术与应用,APWeb 2006国际研讨会:XRA、IWSN、MEGA和ICSE,中国哈尔滨,2006年1月16日至18日,VeriFLog:网站内容验证的约束逻辑编程方法,148-156,(2006),Springer
[6] 科埃略,J。;弗洛里多,M。;基底膜,I。;多发性支气管炎,N.,Proc。第九届ACM网络信息和数据管理国际研讨会(WIDM 2007),葡萄牙里斯本,11月9日,XCentric:Logic programming for XML processing,1-8,(2007),ACM
[7] Colmerauer,A.,序言III导论,ACM通讯,33,7,69-90,(1990)
[8] 科蒙,H.,《用成员约束完成重写系统》,符号计算杂志,25,4,421-453,(1998)·Zbl 0983.68092
[9] 德姆宾斯基,P。;Maluszynski,J.,1985年逻辑编程研讨会论文集,波士顿,马萨诸塞州,美国,7月15日至18日,带注释逻辑程序的智能回溯并行性,29-38,(1985),IEEE-CS
[10] Dershowitz,N.,术语重写系统的排序,理论计算机科学,17279-301,(1982)·68005ZB25
[11] 多维尔,A。;广场,C。;庞泰利,E。;罗西,G.,集合与约束逻辑程序设计,编程语言与系统的ACM交易,22,5861-931,(2000)
[12] 多维尔,A。;广场,C。;罗西,G.,列表、多集、紧列表和集合约束求解的统一方法,计算逻辑ACM事务处理,9,3,1-30,(2008)·Zbl 1367.68079
[13] 邓杜阿,B。;弗洛里多,M。;库西亚,T。;马林,M。;科迪什,M。;苏米,E.,Proc。函数与逻辑编程——第12届国际研讨会,FLOPS 2014,日本金泽,6月4-6日,模糊限制语的约束逻辑编程:语义重建,285-301,(2014),Springer·Zbl 1416.68031
[14] 甘津格尔,H。;沃尔德曼,美国。;Rusinovitch,M。;雷米,J.,Proc。条件项重写系统,第三届国际研讨会,CTRS-92,庞特穆森,法国,7月8-10日,通过条件重写系统的良好模式逻辑程序的终止证明,430-437,(1992),斯普林格
[15] 吉内塞雷斯,医学博士。;Fikes,R.E.,pp.,(1992年)
[16] Hosoya,H。;Pierce,B.C.,XML正则表达式模式匹配,函数编程杂志,13,6,961-1004,(2003)·Zbl 1093.68556
[17] 贾法尔,J。;马厄,M.J。;英国万豪酒店。;《约束逻辑程序的语义》,逻辑程序设计杂志,37,1-3,1-46,(1998)·Zbl 0920.68068
[18] 库西亚,T。;Nieuwenhuis,R.,Proc。重写技术与应用,第14届国际会议,RTA 2003,西班牙瓦伦西亚,6月9日至11日,理论等式证明,367-379,(2003),斯普林格
[19] 库西亚,T。;布赫,伯杰。;Campbell,J.A.,人工智能与符号计算,第七届国际会议,AISC 2004,奥地利林茨,9月22-24日,求解涉及序列变量和序列函数的方程,157-170,(2004),Springer·Zbl 1109.68579
[20] Kutsia,T.,用序列变量和序列函数求解方程,符号计算杂志,42,3,352-388,(2007)·Zbl 1124.68121号
[21] 库西亚,T。;马林,M。;维格纳隆,L.,Proc。在第19届国际统一研讨会UNIF'05中,上下文序列匹配可以用于查询XML吗?,77-92,(2005),日本奈良
[22] 库西亚,T。;马林,M。;萨特克利夫。;沃龙科夫,A.,Proc。编程、人工智能和推理逻辑,第12届国际会议,LPAR 2005,牙买加蒙特哥湾,12月2-6日,匹配规则约束,215-229,(2005),Springer·Zbl 1143.68590
[23] 马林,M。;库西亚,T。;科涅夫,B。;施密特,R.,Proc。第四届逻辑实现国际研讨会(WIL'03),关于基于规则的编程系统的实施及其一些应用,55-68,(2003年),哈萨克斯坦阿拉木图
[24] 马林,M。;Kutsia,T.,基于规则系统的基础ρlog,应用非经典逻辑杂志,16,1-2,151-168,(2006)·Zbl 1184.68175
[25] 《逻辑程序设计语言与lambda抽象,函数变量与简单统一》,逻辑与计算杂志,1,4,497-536,(1991)·Zbl 0738.68016
[26] 拉贾斯卡尔,A。;Bruynooghe,M.,逻辑程序设计,Proc。1994年国际研讨会,美国纽约伊萨卡,11月13-17日,约束逻辑编程在字符串上:理论和应用,pp.,(1994),麻省理工学院出版社
[27] 范登布兰德,M。;范德尔森,A。;海林,J。;德容,H。;德容格,M。;柯伊伯,T。;克林特,P。;莫宁,L。;奥利维尔A。;舍尔德,J。;文菊,J.J。;维瑟,E。;《ASF+SDF元环境:基于组件的语言开发环境》,《理论计算机科学电子笔记》,44,2,3-8,(2001)·Zbl 0977.68762
[28] 沃林斯基,C。;列维,G。;Martelli,M.,逻辑程序设计,Proc。第六届国际会议,葡萄牙里斯本,6月19-23日,CLP(∑*):正则集约束逻辑程序设计,181-196,(1989),麻省理工学院出版社
[29] Wolfram,S.,The Mathematica Book,pp.,(2003年),Wolfram媒体
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。