×
弗朗索瓦·法赫斯;马丁·朱利安

使用Rules2CP建模语言从规则到约束程序。 （英语） Zbl 1248.68453号

Oddi，Angelo（编辑）等人，约束的最新进展。第十三届ERCIM约束求解和约束逻辑编程国际研讨会，CSCLP 2008，罗马，意大利，2008年6月18-20日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-03250-9/pbk）。计算机科学讲座笔记5655。人工智能课堂讲稿，66-83（2009）。
摘要：在本文中，我们提出了一种基于规则的约束编程建模语言，称为Rules2CP。与其他建模语言不同，Rules2CP采用了一种基于规则的单一知识表示范式，没有递归，以及一组基于记录的受限数据结构，以及使用迭代器给出的枚举列表。我们证明，这足以建模约束满足问题，以及搜索策略，其中搜索树由逻辑公式表示，启发式选择标准由变量和公式的偏好顺序定义。我们描述了Rules2CP语句的编译，通过一个术语重写系统和部分求值来约束有限域上的程序。我们证明了这些转换的合流性，并提供了生成程序大小的复杂性边界。Rules2CP的表达方式首先通过简单的示例进行说明，然后使用一个完整的打包问题库PKML进行说明，该库除了可以处理纯装箱和箱子设计问题外，还可以处理关于重量、稳定性的常识规则，以及特定的打包业务规则。编译器和生成的代码的性能都是基于Korf的最优矩形封装问题基准测试进行评估的。
有关整个系列，请参见[Zbl 1168.68004号].

引用于1文件

MSC公司：

68T20型 人工智能背景下的问题解决（启发式、搜索策略等）

软件：

SICStus公司;汤姆;CLPGUI公司;OPL公司;本质;规则2CP;锌
PDF格式BibTeX公司 XML格式引用
\textit{F.Fages}和\textit{J.Martin}，莱克特。注释计算。科学。5655、66-83（2009年；Zbl 1248.68453）
全文： 内政部 链接

参考文献：

[1] Van Hentenryck，P.：OPL优化编程语言。麻省理工学院出版社，剑桥（1999）
[2] Hentenryck，P.V.，Perron，L.，Puget，J.F.：《运算逻辑的操作ACM事务中的搜索和策略》1，285–320（2000）·Zbl 1365.90281号 ·doi:10.1145/359496.359529
[3] Rafeh，R.，de la Banda，M.G.，Marriott，K.，Wallace，M.：从锌到设计模型。收录：Hanus，M.（编辑）PADL 2007。LNCS，第4354卷，第215-229页。斯普林格，海德堡（2006）·Zbl 1146.68352号 ·doi:10.1007/978-3-540-69611-7_14
[4] de la Banda，M.G.，Marriott，K.，Rafeh，R.，Wallace，M.：建模语言锌。收录：Benhamou，F.（编辑）CP 2006。LNCS，第4204卷，第700-705页。斯普林格，海德堡（2006）·doi:10.1007/11889205_54
[5] Frisch，A.M.，Harvey，W.，Jefferson，C.，Martinez-Hernandez，B.，Miguel，I.：本质：用于指定组合问题的约束语言。约束13，268–306（2008）·兹比尔1147.68424 ·doi:10.1007/s10601-008-9047-y
[6] Group，B.R.：商业规则集团商业规则宣言（2003），http://www.businessrulesgroup.org/br宣言.htm
[7] Korf，R.E.：最佳矩形填充：新结果。收录于：ICAPS，第142-149页（2004年）
[8] Haemmerlé，R.，Fages，F.：重新访问序言模块。收录：Etalle，S.，Truszczynski，M.（编辑）ICLP 2006。LNCS，第4079卷，第41-55页。斯普林格，海德堡（2006）·Zbl 1131.68378号 ·doi:10.1007/117995736
[9] Van Hentenryck，P.：逻辑编程中的约束满足。麻省理工学院出版社，剑桥（1989）
[10] Huang，J.，Darwiche，A.：搜索的语言。《人工智能研究杂志》29，191–219（2007）·Zbl 1183.68232号
[11] Apt，K.，Wallace，M.：使用Eclipse的约束逻辑编程。剑桥大学出版社，剑桥（2006）·Zbl 1119.68044号 ·doi:10.1017/CBO9780511607400
[12] Carlsson，M.等人：SICStus Prolog用户手册。瑞典计算机科学研究所，第4版。（2007），ISBN 91-630-3648-7
[13] Fages，F.、Soliman，S.、Coolen，R.：CLPGUI：约束逻辑编程的通用图形用户界面。约束杂志，约束满足中用户交互专题9，241-262（2004）
[14] Fages，F.，Martin，J.：使用Rules2CP建模语言从规则到约束程序。INRIA研究报告RR-6495，国家信息研究所（2008）·Zbl 1248.68453号
[15] Rosen，B.：树操作系统和Church-Rosser定理。ACM杂志20，160–187（1973）·兹比尔0267.68013 ·数字对象标识代码：10.1145/321738.321750
[16] Carlsson，M.、Beldiceanu，N.、Martin，J.：受业务规则约束的k维对象和形状的几何约束。收录：Stuckey，P.J.（编辑）CP 2008。LNCS，第5202卷，第220–234页。斯普林格，海德堡（2008）·doi:10.1007/978-3-540-85958-1_15
[17] Beldiceanu，N.，Carlsson，M.，Poder，E.，Sadek，R.，Truchet，C.：处理多态k维对象的空间和时间通用几何约束核。收录：Bessière，C.（编辑）CP 2007。LNCS，第4741卷，第180-194页。施普林格，海德堡（2007）；SICS技术报告T2007:08，http://www.sics.se/libindex.html ·doi:10.1007/978-3-540-74970-7_15
[18] 艾伦，J.：一次又一次：代表时间的多种方式。国际智能系统杂志6（1991）·doi:10.1002/int.4550060403
[19] Randell，D.，Cui，Z.，Cohn，A.：基于区域和连接的空间逻辑。收录：Nebel，B.，Rich，C.，Swartout，W.R.（编辑）Proc。KR 1992年第二届知识表示与推理国际会议，第165-176页。Morgan Kaufmann，旧金山（1992）
[20] Carpenter，H.，Dowsland，W.：托盘装载问题的实际考虑。《运筹学会杂志》36，489–497（1985）·Zbl 0566.90052号 ·doi:10.1057/jors.1985.84
[21] Simonis，H.，O'Sullivan，B.：使用矩形包装的全局约束。收录：《2008年装箱和放置限制BPPC第一次研讨会会议记录》，与CPAIOR 2008（2008）相关
[22] Jaffar，J.，Lassez，J.L.：约束逻辑编程。摘自：第14届ACM编程语言原理研讨会论文集，第111-119页。ACM，慕尼黑（1987）
[23] Balland，E.，Brauner，P.，Kopetz，R.，Moreau，P.E.，Reilles，A.：Tom：java上的Piggybacking重写。在：Baader，F.（编辑）RTA 2007。LNCS，第4533卷，第36-47页。斯普林格，海德堡（2007）·doi:10.1007/978-3-540-73449-95
[24] Fages，F.，Coquery，E.：输入约束逻辑程序。逻辑程序设计理论与实践杂志1，751–777（2001）·兹比尔1066.68514 ·doi:10.1017/S147106840101120
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。