×
塞尔吉奥·格雷科;克里斯蒂安·莫里纳罗;伊琳娜·特鲁比西纳;埃斯特·赞帕诺

\（mathcal{NPD}）atalog：一种逻辑语言，用于表示搜索和优化问题。 （英语） Zbl 1191.68150号

理论与实践。日志。程序。 10，第2期，125-166（2010）.
摘要：本文提出了一种用于表示（mathcal{NP}）搜索和优化问题的逻辑语言。具体来说，首先介绍了一种通过使用直观有效的结构（即分层否定、约束和排他析取）扩展（正）DATALOG而获得的语言。接下来，研究了一种仅使用受限形式的析取来定义（非确定性）关系子集（或分区）的进一步受限语言。这种语言称为（mathcal{NPD}）atalog，它利用DATALOG（^{neg}）表达搜索和优化问题的能力。提出了一个实现（mathcal{NPD}）atalog的系统原型。系统将atalog查询转换为优化编程语言（OPL）程序，这些程序由ILOG OPL开发工作室执行。我们的建议将通过声明性逻辑语言表达的问题的简单表述与ILOG系统的效率结合起来。多个实验表明了该方法的有效性。

引用于2文件

MSC公司：

68N17号 逻辑编程
68问题55 计算理论中的语义学

关键词：

优化编程语言

软件：

NP数据日志;CPLEX公司
PDF格式BibTeX公司 XML格式引用
\textit{S.Greco}等人，《理论与实践》。日志。程序。10，编号2，125--166（2010；Zbl 1191.68150）
全文： 内政部

参考文献：

[1] 乌尔曼，《数据和知识库系统原理》（1988）
[2] 费金，计算复杂性第43页–（1974）
[3] DOI:10.1016/S0004-3702（02）00187-X·Zbl 0995.68021号 ·doi:10.1016/S0004-3702（02）00187-X
[4] 内政部：10.1109/32.58788·数字对象标识代码：10.1109/32.58788
[5] 内政部：10.1006/jcss.1995.1053·Zbl 0831.68012号 ·doi:10.1006/jcss.1995.1053
[6] 内政部：10.1006/jcss.1997.1446·Zbl 0882.68088号 ·doi:10.1006/jcss.1997.1446
[7] 内政部：10.1145/1119439.1119441·Zbl 1367.68264号 ·数字对象标识代码：10.1145/1119439.1119441
[8] Rao，程序。逻辑程序设计和非单调推理国际会议第431页–（1997）
[9] 东部，Proc。全国人工智能会议第163页–（2000）
[10] Denecker，程序。计算逻辑国际会议第703页–（2000）
[11] Papadimitriou，计算复杂性（1994）
[12] Cholewinski，程序。知识表示和推理原则国际会议第518页–（1996）
[13] DOI:10.1016/0022-0000（91）90023-X·Zbl 0765.68036号 ·doi:10.1016/0022-0000（91）90023-X
[14] DOI:10.1016/j.artint.2004.01.006·Zbl 1132.68693号 ·doi:10.1016/j.artint.2004.01.006
[15] Papadimitriou，组合优化-算法和复杂性（1982）·Zbl 0503.90060号
[16] DOI:10.1016/S0096-0551（01）00010-8·Zbl 0995.68025号 ·doi:10.1016/S0096-0551（01）00010-8
[17] 尼梅拉，Proc。逻辑程序设计和非单调推理国际会议第317页–（1999）·文件编号：10.1007/3-540-46767-X23
[18] 巴拉尔，《知识表示推理和声明性问题解决》（2003）·doi:10.1017/CBO9780511543357
[19] Marriott，《带约束的编程：导论》（1998年）·Zbl 0935.68098号
[20] Marien，《人工智能中的逻辑》第108页–（2004）·doi:10.1007/978-3-540-30227-812
[21] Abiteboul，数据库基础（1995）
[22] 内政部：10.1145/116825.116836·Zbl 0799.68176号 ·数字对象标识代码：10.1145/116825.116836
[23] DOI:10.1016/j.artint.2004.04.004·Zbl 1085.68544号 ·doi:10.1016/j.artint.2004.04.004
[24] 内政部：10.1007/11546207_44·doi:10.1007/11546207_44文件
[25] 内政部：10.1145/1149114.1149117·Zbl 1367.68308号 ·数字对象标识代码：10.1145/1149114.1149117
[26] 内政部：10.1006/jcss.1995.1031·Zbl 0837.68028号 ·doi:10.1006/jcss.1995.1031
[27] 内政部：10.1016/0022-0000（91）90033-2·Zbl 0753.68028号 ·doi:10.1016/0022-0000（91）90033-2
[28] 内政部：10.1016/S0167-6423（96）00021-4·doi:10.1016/S0167-6423（96）00021-4
[29] 约翰逊，《理论计算机科学手册》第67页–（1990）
[30] 内政部：10.1145/129393.129398·数字对象标识代码：10.1145/129393.129398
[31] DOI:10.1017/S147106840101090·兹比尔1066.68572 ·doi:10.1017/S147106840101090
[32] 格雷科，Proc。数据库理论国际会议第574页–（1995）
[33] Greco，逻辑编程研讨会，第181页–（1997年）
[34] 内政部：10.1145/967900.968045·doi:10.1145/967900.968045
[35] 内政部：10.1007/3-540-45632-5_3·doi:10.1007/3-540-45632-53
[36] 周，智能信息处理第249页–（2002）·数字对象标识代码：10.1007/978-0-387-35602-0_22
[37] 内政部：10.1109/69.761663·数字对象标识代码：10.1109/69.761663
[38] 华莱士，Proc。声明性语言实际方面国际研讨会第365页–（1999年）
[39] 内政部：10.1007/3-540-45632-5_16·doi:10.1007/3-540-45632-5_16
[40] 范罗伊，Proc。逻辑程序设计国际会议第38页–（1999）
[41] Gelfond，程序。逻辑程序设计国际会议第1070页–（1988）
[42] Van Hentenryck，程序。声明性编程原则与实践国际会议第98页–（1999）·doi:10.1007/10704567_6
[43] Van Hentenryck，OPL优化编程语言（1988）
[44] DOI:10.1002/spe.623·doi:10.1002/spe.623
[45] 内政部：10.1145/116825.116838·Zbl 0799.68045号 ·数字对象标识代码：10.1145/116825.116838
[46] 艾特，Proc。逻辑程序设计和非单调推理国际会议第363页–（1997）·doi:10.1007/3-540-63255-7_27
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。