×
De Cat，Broes公司;莫里斯·布吕诺格

检测和利用模型生成的功能依赖性。 （英语） Zbl 1286.68042号

理论与实践。日志。程序。 13，No.4-5，471-485（2013）.
摘要：答案集编程最近的工作整合了约束编程的思想。这导致了一个新的领域，称为ASP模块CSP（CASP），其中ASP语言丰富了表示约束满足问题的约束原子。这些约束具有更紧密的基础，并由新一代搜索算法处理。然而，建模者有责任在其声明性问题规范中利用这些新的构造。在这里，我们探索如何通过自动生成约束原子来消除这种负担。我们在FO（（{\cdot}）^{\mathrm{IDP}}）的上下文中这样做，这是一种知识表示语言，它扩展了一阶逻辑，其中包括归纳定义、算术和聚合。我们用定理证明器揭示了声明性问题规范中的函数依赖性，并通过引入函数的转换来利用它们。实验评估表明，我们获得了更紧凑的接地和更好的搜索性能。

引用于2文件

MSC公司：

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

软件：

Clingcon公司;z3（零3）
PDF格式BibTeX公司 XML格式引用
\textit{B.De Cat}和\textit{M.Bruynooghe}，理论与实践。日志。程序。13、编号4--5、471--485（2013；Zbl 1286.68042）
全文： 内政部

参考文献：

[1] 施密特，CADE第140页–（2009）
[2] DOI:10.1016/j.jsc.2011.12.031·Zbl 1258.03020号 ·doi:10.1016/j.jsc.2011.12.031
[3] Hill，ICLP第235页–（2009）
[4] 逻辑编程与非单调推理，第十届国际会议，LPNMR 2009（2009）
[5] ACM计算逻辑学报（TOCL）9 pp 1–（2008）
[6] 知识表示与推理原理：第十三届国际会议论文集（2012）
[7] 罗摩克里希南，TACAS第337页–（2008）
[8] 使用约束编程在存在功能符号的情况下进行模型扩展（2013年）
[9] 逻辑编程协会通讯26（2013）
[10] 知识表示、推理和陈述性问题解决（2003）·Zbl 1056.68139号
[11] TPLP 11第203页–（2011年）
[12] 内政部：10.1007/978-3642-30743-0·Zbl 1241.68016号 ·doi:10.1007/978-3642-30743-0
[13] Delgrande，LPNMR第284页–（2011）
[14] 约束编程原理（2003）·Zbl 1187.68132号
[15] Cervesato，LPAR第274页–（2008年）
[16] Gabbrielli，ICLP第221页–（2005）
[17] TPLP 12第485页–（2012年）
[18] 佩伦，CPAIOR第158页–（2008）
[19] 内政部：10.1007/s10601-008-9041-4·Zbl 1146.68352号 ·doi:10.1007/s10601-008-9041-4
[20] KR布鲁卡第454页–（2008年）
[21] AAAI霍夫曼（2012）
[22] 内政部：10.1016/0022-0000（93）90024-Q·Zbl 0793.68039号 ·doi:10.1016/0022-0000（93）90024-Q
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。