×

利用约束逻辑编程实现约束满足。 (英语) Zbl 0782.68028

摘要:约束逻辑程序设计(CLP)是一类新的声明式编程语言,其基本操作是基于约束(如约束求解和约束蕴涵)。CLP语言自然地将约束传播与不确定性选择结合起来。因此,它们特别适用于解决各种组合搜索问题,使用全局搜索范式,开发时间短,效率可与基于相同方法的过程工具相媲美。
我们描述了CLP语言cc(FD),一个在有限域上使用一致性技术的芯片的继承者,如何被用来解决两个实际应用:测试模式生成和car排序。对于这两种应用,我们提出了cc(FD)程序,描述了如何执行约束求解,报告了实验结果,并将该方法与现有工具进行了比较。

理学硕士:

68N17 逻辑程序设计
90C27型 组合优化
68T99型 人工智能

关键词:

CLP语言
PDF格式 BibTeX公司 XML 引用
全文: 内政部

参考文献:

[1] Abraham,J.A.,VLSI中的故障建模,(Williams,T.W.,VLSI测试,VLSI测试,VLSI CAD进展,5(1986),北荷兰:北荷兰阿姆斯特丹),1-27,第一章
[2] Borning,A.,ThingLab的编程语言方面,一个面向约束的仿真实验室,ACM Trans。程序。语言系统。,353-387(1981年)
[3] Bottorff,P.S.,测试生成和故障模拟,(Williams,T.W.,VLSI测试,VLSI测试,VLSI CAD进展,5(1986),北荷兰:北荷兰阿姆斯特丹),29-64,第2章
[4] 布尔格莱兹,F。;波纳尔,P。;Hum,R.,可测性分析的应用:从ATPG到关键延迟路径追踪,(IEEE国际测试会议论文集(1984))
[5] 布尔格莱兹,F。;波纳尔,P。;Hum,R.,通过可测性分析加速ATPG和故障分级,(IEEE电路和系统国际研讨会论文集,IEEE电路和系统国际研讨会论文集,日本京都(1985)),695-698
[6] 巴特纳W。;Simonis,H.,《在逻辑编程中嵌入布尔表达式》,J.《符号学》。计算机。,191-205年(1987年)·Zbl 0641.68148
[7] 卡莱尔,J。;Pinson,E.,Une methode arborescente pour Optimizer la duréE d'un JOB-SHOP,(技术报告,ISSN 0294-2755(1986年),国际工商管理硕士)
[8] 程文涛,时序测试产生之反向演算法(IEEE国际计算机设计会议论文集:计算机与处理器中的超大规模集成电路(ICCD88))。IEEE国际计算机设计会议论文集:计算机和处理器中的VLSI(ICCD88),纽约州瑞布鲁克市(1988)
[9] 赫里斯托菲德斯,N.,(图论:算法方法(1975),学术出版社:纽约学术出版社)·Zbl 0321.94011
[10] 克拉克,K.L。;《IC-PROLOG的控制设施》(Michie,D.,《微电子时代的专家系统》(1979),爱丁堡大学出版社:爱丁堡大学出版社),122-149
[11] 《逻辑程序设计与数字电路分析》,逻辑程序设计杂志。,4,1,59-82(1987年)·Zbl 0617.94014
[12] Colmerauer,A.,Prolog III,Commun简介。ACM,28,4,412-418(1990年)
[13] 科尔默劳尔,A。;卡努伊,H。;Van Caneghem,M.,序言,《基础理论与发展法案》,T.S.I.(技术与科学信息),2,4,271-311(1983)·Zbl 0517.68014
[14] 迪恩,T。;Boddy,M.,《时间相关规划的分析》,(AAAI-88论文集,明尼苏达州圣保罗市,1988年),第49-54页
[15] de Kleer,J.,《基于假设的TMS,人工制品》。内尔。,28127-162(1986年)
[16] 德维尔,Y。;范亨登瑞克,P.,一类CSP问题的有效弧一致性算法,(IJCAI-91论文集,澳大利亚Sidney,1991)
[17] 丁卡斯,M。;莱帕普,J.-P。,METALOG中逻辑程序的元控制,(第五代计算机系统国际会议论文集(FGCS'84)。第五代计算机系统国际会议论文集(FGCS'84),日本东京(1984年),361-370
[18] 丁卡斯,M。;西蒙尼斯。;Van Hentenryck,P.,解决约束逻辑编程中的车辆排序问题,(欧洲人工智能会议论文集,ECAI-88)。欧洲人工智能会议论文集(ECAI-88),德国慕尼黑(1988)·Zbl 0800.68287
[19] 丁卡斯,M。;西蒙尼斯。;范·亨登里克,P.,《解决逻辑程序设计中的大型组合问题》,逻辑程序设计杂志。,8,1-2,75-93(1990年)·Zbl 0719.68013
[20] 丁卡斯,M。;范亨特莱克,P。;西蒙尼斯。;阿贡,A。;格拉夫,T。;《约束逻辑程序设计语言芯片》,《第五代计算机系统国际会议论文集》,第五代计算机系统国际会议论文集,日本东京(1988年)·Zbl 0800.68287
[21] Doyle,J.,一个真相维持系统,人工制品。内尔。,第1231-272页(1979年)
[22] Eshghi,K.,元级编程在逻辑电路故障查找中的应用,(逻辑编程及其应用(1985年),Ablex:Ablex Norwood,NJ),208-219
[23] Fikes,R.E.,一个解决非确定性问题的启发式程序,(博士论文(1968年),卡内基梅隆大学计算机科学系:宾夕法尼亚州匹兹堡卡内基梅隆大学计算机科学系)·Zbl 0203.49403
[24] Fox,M.S.,《约束导向搜索:作业车间调度的案例研究》,(技术报告,CMU-CS-83-161(1983年),卡内基梅隆大学:宾夕法尼亚州匹兹堡市卡内基梅隆大学)·Zbl 0702.68032
[25] Fujiwara,H.,FAN:面向扇出的测试模式生成算法(IEEE电路与系统国际研讨会论文集,IEEE电路与系统国际研讨会论文集,日本京都(1985)),671-674
[26] 藤原县。;《加速测试生成算法》,IEEE Trans。计算机。,公元1137-1144年(1983年)
[27] Gallaire,H.,《逻辑程序设计:进一步发展》,《IEEE逻辑程序设计研讨会论文集》,马萨诸塞州波士顿市(1985年),88-99,(特邀论文)
[28] 加里尔,H。;Lasserre,C.,逻辑程序的金属级控制,(逻辑程序设计(1982),学术出版社:纽约学术出版社),173-185
[29] Goel,P.,生成组合逻辑电路测试的隐式枚举算法,IEEE Trans。计算机。,第30215-222页(1981年)·Zbl 0455.94038
[30] Graf,T.,《将逻辑编程中的约束处理扩展到有理算法》,(内部报告(1987),ECRC:ECRC慕尼黑,德国)
[31] (IJCAI-89会议记录。IJCAI-89会议记录,密歇根州底特律市(1989年))·Zbl 0728.68144
[32] Gullichsen,E.,使用PROLOG,Integr的启发式电路模拟。VLSI J.,3283-318(1985年)
[33] Gupta,R.,《在Prolog环境下VLSI电路的测试模式生成》,《第三届国际逻辑程序设计会议论文集》,伦敦(1986年),第528-535页
[34] 哈拉利克,R.M。;Elliot,G.L.,提高约束满足问题的树搜索效率,人工智能。内尔。,14263-313(1980年)
[35] ISCAS,(IEEE电路与系统国际研讨会论文集,IEEE电路与系统国际研讨会论文集,日本京都(1985)),663-698,ATPG特别会议
[36] 贾法尔,J。;拉塞兹,J.-L。,约束逻辑程序设计(第14届ACM编程语言原理研讨会论文集)(POPL-87)。第14届ACM编程语言原理研讨会论文集(POPL-87),德国慕尼黑(1987)·Zbl 0900.68127
[37] 贾法尔,J。;Michaylov,S.,《CLP系统的方法和实现》,《第四届逻辑程序设计国际会议论文集》,澳大利亚墨尔本,1987年第四届逻辑程序设计国际会议论文集)
[38] 卡瓦伊,M。;乌泽基,K。;高桥,M。;小野,M。;石崎,Y。;Masui,T.,《大型组合电路的自动测试模式发生器》,《IEEE电路与系统国际研讨会论文集》,日本京都(1985年),第663-666页
[39] 库贝尔,M。;雅可夫斯基,D.,《图着色的广义隐式枚举算法》,公共。ACM,28,4,412-418(1985年)
[40] 劳里埃,J.-L。,一种描述和解决组合问题的语言和程序,Artif。内尔。,第10、1、29-127页(1978年)·Zbl 0374.68060
[41] Lioy,A.,自适应回溯和动态分区增强ATPG,(IEEE国际计算机设计会议论文集:计算机和处理器中的VLSI(ICCD88))。IEEE国际计算机设计会议论文集:计算机和处理器中的VLSI(ICCD88),纽约州瑞布鲁克市(1988)
[42] 麦克沃思,A.K.,关系网络的一致性,人工智能。内尔。,8,1,99-118(1977年)·Zbl 0341.68061
[43] Maher,M.J.,一类承诺选择程序的逻辑语义,(第四届逻辑程序设计国际会议论文集,澳大利亚墨尔本,1987年),858-876
[44] 莫尔,R。;亨德森,T.C.,弧和路径一致性重温,人工制品。内尔。,28225-233(1986年)
[45] 《约束网络:图像处理的基本性质和应用》,《基础科学》。,7,2,95-132(1974年)·Zbl 0284.68074
[46] 穆阿卡米,M。;Kikuchihara,H.,《使用扩展九值法进行大规模集成电路的测试生成》,《IEEE电路和系统国际研讨会论文集》,日本京都(1985年),第675-678页
[47] Naish,L.,《序言中的否定与控制》(博士论文(1985年),墨尔本大学:澳大利亚墨尔本大学)·Zbl 0602.68006
[48] 帕雷洛,B.D.,《汽车战争:专家系统的(几乎)诞生》,AI专家,3,1,60-64(1988)
[49] 帕雷洛,医学博士。;华盛顿州卡巴特。;Wos,L.,使用自动推理的作业车间调度:汽车排序问题的案例研究,J.Autom。推理,2,1,1-42(1986)
[50] 普洛金,G.D.,《操作语义学的结构方法》,(技术报告,DAIMI FN-19(1981),奥胡斯大学计算机科学系:丹麦奥胡斯大学计算机科学系)·Zbl 0512.68012
[51] Pradhan,D.K.,(容错计算(1986年),普伦蒂斯霍尔:新泽西州普伦蒂斯霍尔恩格尔伍德悬崖)
[第五十二条] 罗萨莱斯,不列颠哥伦比亚省。;Goel,P.,商业ATG系统应用于大规模组合电路的结果,(IEEE国际电路与系统研讨会论文集,IEEE电路与系统国际研讨会论文集,日本京都(1985)),667-670
[53] Roth,J.,《自动机故障诊断:微积分与方法》,IBM J.Res.Dev.,10278-291(1966)·Zbl 0145.40707
[54] Saraswat,V.A.,并发约束编程语言(博士论文(1989年),卡内基梅隆大学:宾夕法尼亚州匹兹堡卡内基梅隆大学)·Zbl 1002.68026
[55] 萨拉斯瓦特,弗吉尼亚州。;Rinard,M.,《并发约束编程》(第17届ACM编程语言原理研讨会论文集,第17届ACM编程语言原理研讨会论文集,加利福尼亚州旧金山(1990年))·Zbl 1002.68026
[56] 萨拉斯瓦特,弗吉尼亚州。;里纳德,M。;Panangaden,P.,《并发约束编程的语义基础》,《第19届ACM编程语言原理研讨会论文集》,佛罗里达州奥兰多市(1991年)
[57] 舒尔茨,M。;特里希勒,E。;Sarfert,T.,Socrates:一个高效的自动测试模式生成系统,(国际测试会议论文集,华盛顿特区,1987)
[58] 《并发逻辑程序设计语言家族》,计算机。调查。,213413-510(1990年)
[59] Simonis,H.,使用逻辑编程的测试生成,(技术报告TR-LP-34(1988),ECRC:ECRC慕尼黑,德国)
[60] Simonis,H.,《使用约束逻辑编程语言芯片的测试生成》,《第六届国际逻辑编程会议论文集》,第六届国际逻辑编程会议论文集,葡萄牙里斯本(1989年)
[61] Simonis,H.,ATPG重访,(技术报告TR-LP-56(1990年),ECRC:ECRC慕尼黑,德国)
[62] 西蒙尼斯。;Dincbas,M.,使用扩展的Prolog进行数字电路设计,(IEEE电子计算机辅助设计系统人工智能应用国际研讨会论文集,德国慕尼黑,1987),165-188
[63] 西蒙尼斯。;Dincbas,M.,《使用逻辑编程进行数字电路故障诊断》,《德国人工智能研讨会论文集》(GWAI-87)。德国人工智能研讨会论文集(GWAI-87),德国盖塞克(1987年)),第139-148页
[64] 西蒙尼斯。;Graf,T.,《芯片技术映射》,(技术报告,TR-LP-44(1990),ECRC:ECRC慕尼黑,德国)
〔65〕 西蒙尼斯。;阮海恩。;Dincbas,M.,《使用芯片验证数字电路》,(Milne,G.J.,IFIP WG 10.2硬件设计与验证融合国际工作会议论文集。IFIP WG 10.2硬件设计与验证融合国际工作会议论文集,苏格兰格拉斯哥(1988年))
[66] 苏斯曼,G.J。;Steele,G.L.,《约束——一种表达几乎层次化描述的语言,人工制品》。内尔。,14,1,1-39(1980年)
[67] 萨瑟兰,即,草图板:人机图形通信系统(1963),麻省理工学院林肯实验室:麻省理工学院林肯实验室剑桥,马萨诸塞州
[68] 斯瓦内亚斯,D。;Aas,E.J.,通过逻辑编程生成测试,集成。VLSI J.,249-67(1984)
〔69〕 高松,Y。;Kinoshita,K.,10-V算法的有效测试生成方法,(IEEE电路和系统国际研讨会论文集,IEEE电路和系统国际研讨会论文集,日本京都(1985)),679-682
[70] 托玛,Y。;Goto,K.,用Prolog实现大规模组合电路的测试生成,(第6届国际逻辑编程会议论文集,第6届国际逻辑编程会议论文集,葡萄牙里斯本(1987))·Zbl 0648.94021
[71] 特里希勒,E。;舒尔茨,M.,《可测性分析在ATG中的应用:方法和实验结果》,《IEEE电路和系统国际研讨会论文集》,日本京都,1985年,第691-694页
[72] Van Hentenryck,P.,逻辑编程系列,(逻辑编程中的约束满足(1989),麻省理工学院出版社:麻省理工学院剑桥出版社)·Zbl 1390.90520号
[73] 范亨特莱克,P。;《基数算子:一种新的逻辑连接词及其在约束逻辑程序设计中的应用》,《第八届逻辑程序设计国际会议论文集》(ICLP-91)。第八届逻辑程序设计国际会议(ICLP-91),法国巴黎(1991年)
[74] 范亨特莱克,P。;Graf,T.,约束逻辑规划中有理线性算法的标准形式,(国际人工智能与数学研讨会论文集,国际人工智能与数学研讨会论文集,佛罗里达州劳德代尔堡(1990))·Zbl 1034.68508号
[75] 范亨特莱克,P。;萨拉斯瓦特,V。;陈德伟,,(有限域上的约束逻辑程序设计:cc(FD)的设计、实现和应用,技术报告。(1992年),布朗大学:布朗大学普罗维登斯,RI)
[76] 瓦尔玛,P。;Tohma,Y.,Protean,一个基于知识的测试生成器(IEEE 1987定制集成电路会议论文集,IEEE 1987定制集成电路会议论文集,波特兰,OR(1987))
[77] Waltz,D.,从阴影场景的绘图中生成语义描述,(技术报告AI271(1972),麻省理工学院剑桥,马萨诸塞州)
[78] Williams,T.W.,(VLSI测试,VLSI CAD进展,5(1986),北荷兰:北荷兰阿姆斯特丹,荷兰)
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。