×
华金·阿里亚斯;曼纽尔·卡罗;埃尔默·萨拉扎;凯尔·马普尔;戈帕尔·古普塔

无接地约束应答集编程。 （英语） Zbl 1451.68063号

理论与实践。日志。程序。 18，编号3-4，337-354（2018）.
摘要：使用约束扩展ASP（CASP）增强了其表达能力和性能。这种扩展并不简单，因为大多数ASP系统中存在的接地阶段会删除变量及其之间的链接，并且还会导致程序大小的组合爆炸。已经设计了几种解决此问题的方法：限制约束域（例如，离散而非密集），或可以返回的模型类型（或数量）。在本文中，我们建议将约束合并到s（ASP）中，这是一个目标导向的自顶向下的执行模型，它实现了ASP，同时保留了执行期间和答案集中的逻辑变量。结果模型（CASP）可以约束在执行期间和答案集中保留的变量，如CLP中的变量。s（CASP）继承和推广了s（ASP）的执行模型，是约束求解器的参数化。我们描述了这种新颖的执行模型，并通过几个示例展示了s（CASP）w.r.t.ASP、CLP和其他CASP系统的增强表达能力。我们还报告了在一些基准测试中，与其他非常成熟、高度优化的ASP系统相比，性能有所提高。

引用于18文件

MSC公司：

68N17号 逻辑编程
68立方英尺 知识表示

软件：

GASP公司;中国科学院科学院;DLV-EX公司;ezcsp公司;Clingcon公司;克林戈
PDF格式BibTeX公司 XML格式引用
\textit{J.Arias}等人，《理论与实践》。日志。程序。18、编号3--4、337--354（2018；Zbl 1451.68063）
全文： 内政部 arXiv公司

参考文献：

[1] 阿尔弗雷斯，J.J。；佩雷拉，L.M。；Swift，T.，通过表对偶程序在基础良好的语义和广义稳定模型中的外推，逻辑编程的理论与实践，4，4，383-428，（2004）·Zbl 1090.68014号 ·doi:10.1017/S1471068403001960
[2] 阿尔维亚诺，M。；Faber，W。；格雷科·G。；Leone，N.，《分离数据日志程序的魔法集》，人工智能，187156-192，（2012）·Zbl 1251.68051号
[3] 阿里亚斯·J（2016）
[4] 阿里亚斯，J。；Carro，M.（2016）
[5] Balduccini，M。；Lierler，Y.，约束答案集求解器EZCSP和为什么集成模式重要，逻辑编程的理论与实践，17，4，462-515，（2017）·Zbl 1379.68038号 ·doi:10.1017/S1471068417000102
[6] 班巴拉，M。；考夫曼，B。；奥斯特罗斯基，M。；Schaub，T.，Clingcon:下一代逻辑编程理论与实践，17，4，408-461，（2017）·Zbl 1379.68040号 ·文件编号：10.1017/S1471068417000138
[7] Baselice，S。；Bonatti，P.A.，《金融程序的一个可判定子类，逻辑程序设计的理论与实践》，10，4-6，481-496，（2010）·Zbl 1205.68114号 ·doi:10.1017/S1471068410000232
[8] Baselice，S。；博纳蒂，P.A。；Criscuolo，G.，《有限递归程序》，逻辑程序设计理论与实践，9，2，213-238，（2009）·Zbl 1166.68311号 ·文件编号：10.1017/S147106840900372X
[9] Brewka，G。；艾特，T。；Truszczynski，M.，《答案集编程概览》，《ACM通信》，第54、12、92-103页，（2011年）
[10] Calimeri，F。；科萨，S。；Ianni，G.，《逻辑编程中的知识和价值发明的外部来源》，《数学与人工智能年鉴》，50，3-4333-361，（2007）·Zbl 1125.68026号 ·doi:10.1007/s10472-007-9076-z
[11] 克拉克·K·L。；加莱尔，H。；Minker，J.，《逻辑和数据库，否定即失败》（1978），阻燃·doi:10.1007/978-1-4684-3384-5
[12] Dal Paló，A。；多维尔，A。；彭泰利，E。；Rossi，G.，GASP：《基于惰性基础的答案集编程》，《基础信息》，96，3，297-322，（2009）·Zbl 1207.68118号
[13] Dovier，A。；福米萨诺，A。；Pontelli，E.，逻辑程序设计国际会议，对CLP（FD）和ASP解决NP-完全问题的方法的比较，67-82，（2005），Springer·Zbl 1165.68486号
[14] 加布里埃利，M。；列维·G（1991）
[15] Gebser，M。；卡明斯基，R。；考夫曼，B。；奥斯特罗斯基，M。；Schaub，T。；Thiele，S.（2008）
[16] Gelfond，M。；Lifschitz，V.（1988）
[17] Gelfond，M。；Lifschitz，V.，逻辑程序和虚拟数据库中的经典否定，新一代计算，9，3，365-386，（1991）·Zbl 0735.68012号 ·doi:10.1007/BF03037169
[18] 古普塔，G。；Bansal，A。；最小相对湿度。；西蒙，L。；Mallya，A.（2007年）
[19] Hermenegildo，M.V。；布埃诺，F。；卡罗，M。；洛佩兹，P。；梅拉，E。；莫拉莱斯，J。；Puebla，G.，《Ciao及其设计哲学概述，逻辑编程理论与实践》，12，1，（2012）·Zbl 1244.68019号
[20] Hölldobler，S。；Schweizer，L.（2014）
[21] Holzbaur，C.（1995）
[22] Jaffar，J。；Maher，M.，《约束逻辑编程：综述》，《逻辑编程杂志》，19，20，503-581，（1994）
[23] Janhunen，T。；卡明斯基，R。；奥斯特罗斯基，M。；谢尔霍恩，S。；Wanko，P。；Schaub，T.，Clingo goes Linear Constraints over Reals and Integers，TPLP，17，5-6，872-888，（2017）·Zbl 1422.68024号
[24] 季军（Ji，J.）。；Wan，H。；王凯。；王，Z。；张，C。；徐杰（2016）
[25] 马普尔，K。；萨拉查，E。；陈，Z。；古普塔·G（2017）
[26] 马普尔，K。；萨拉查，E。；古普塔·G（2017）
[27] Revesz，P.Z.，具有整数（间隙）阶约束的数据日志查询的闭式评估，理论计算机科学，116，1，117-149，（1993）·Zbl 0785.68026号 ·doi:10.1016/0304-3975（93）90222-F
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。