尤利亚·利勒 相关约束答案集编程语言和算法。 （英语） Zbl 1334.68041号 Artif公司。智力。 207，1-22（2014）. 摘要：最近，提出了一种逻辑编程语言ACV.S.Mellarkod公司等[Ann.Math.Artif.Intell.53，No.1-4，251-287（2008；Zbl 1165.68504号)]集成答案集编程和约束逻辑编程。随后，引入了一种集成答案集编程和有限域约束的紧贴式语言，以及一种集成回答集编程和约束逻辑编程的ezcsp语言。这些语言和系统的发展构成了一个新的人工智能分区，称为约束答案集编程。所有这些语言都有一些共同点。特别是，他们旨在开发新的高效推理算法，将传统的答案集编程过程和约束编程中的其他方法相结合。然而，约束-答案集编程语言和底层系统之间的确切关系还没有很好地理解。在本文中，我们通过正式声明几个约束答案集编程语言（AC、CLINGCON、EZCSP）与底层系统之间的精确关系来解决这个问题。 引用于13文件 MSC公司： 68N17号 逻辑编程 关键词：（约束）答案集编程；约束满足处理；可满足性模理论 引文：Zbl 1165.68504号 软件：斯莫德尔斯；Clingcon公司；国内流离失所者 PDF格式BibTeX公司 XML格式引用 \textit｛Y.Lierler｝，工件。智力。207，1--22（2014；Zbl 1334.68041） 全文： 内政部 参考文献： [1] Mellarkod，V.S。；Gelfond，M。；张毅，《答案集编程与约束逻辑编程的集成》，《数学年鉴》。Artif公司。智力。，53, 251-287 (2008) ·Zbl 1165.68504号 [2] Gebser，M。；奥斯特罗斯基，M。；Schaub，T.，约束答案集求解，（第25届逻辑编程国际会议（ICLP）论文集（2009），Springer），235-249·Zbl 1251.68061号 [3] 奥斯特罗斯基，M。；Schaub，T.，Asp模csp：执着系统，逻辑编程理论与实践，理论与实践。日志。程序。，12, 485-503 (2012) ·Zbl 1260.68066号 [4] Balduccini，M.，在答案集编程中表示约束满足问题，（答案集编程和其他计算范式ICLP研讨会论文集（2009））·Zbl 1219.68083号 [5] Wittocx，J。；马里恩，M。；Denecker，M.，Theidp公司系统：经典逻辑扩展的模型扩展系统，（逻辑与搜索研讨会论文集，声明性描述的结构计算（LaSh）（2008）），153-165，（电子版），在线阅读 [6] 伊利诺伊州埃尔卡巴尼。；彭泰利，E。；Son，T.C.，Smodels with clp and its applications:A simple and effective approach to aggregates in asp，（Demoen，B.；Lifschitz，V.，ICLP.ICLP，Lect.Notes Compute.Sci.，vol.3132（2004），Springer），73-89·Zbl 1104.68375号 [7] Baselice，S。；博纳蒂，P.A。；Gelfond，M.，《走向答案集和约束求解的集成》，（Gabbrielli，M；Gupta，G.，ICLP.ICLP，Lect.Notes Compute.Sci.，第3668卷（2005），Springer），52-66·Zbl 1165.68481号 [8] 德雷舍尔，C。；Walsh，T.，基于翻译的约束答案集求解，（第22届国际人工智能联合会议（IJCAI）论文集（2011），AAAI出版社），2596-2601 [9] Drescher，C。；Walsh，T.，约束答案集求解的转换方法，逻辑编程理论与实践，理论与实践。日志。程序。，10, 465-480 (2011) ·Zbl 1209.68511号 [10] 刘，G。；Janhunen，T。；Niemelä，I.，《通过混合整数规划进行答案集编程》，（《知识表示和推理原理：第十三届国际会议论文集》（2012），AAAI出版社），32-42 [11] 尼美拉，I。；Simons，P.，用基数和权重约束扩展Smodels系统，（Minker，J.，Logic-Based Artificial Intelligence（2000），Kluwer），491-521·Zbl 0979.68015号 [12] Gebser先生。；考夫曼，B。；Neumann，A。；Schaub，T.，冲突驱动的答案集求解，（第20届国际人工智能联合会议论文集（IJCAI’07）（2007），麻省理工学院出版社），386-392 [13] 舒尔特，C。；Stuckey，P.J.，《高效约束传播引擎》，Trans。程序。语言系统。(2008) [14] Davis，M.博士。；洛格曼，G。；Loveland，D.，定理证明的机器程序，Commun。美国医学会，5，7，394-397（1962）·Zbl 0217.54002号 [15] Nieuwenhuis，R。；奥利维拉斯，A。；Tinelli，C.，《求解SAT和SAT模理论：从抽象的Davis-Putnam-Logemann-Loveland过程到DPLL（T）》，J.ACM，53，6，937-977（2006）·Zbl 1326.68164号 [16] 艾特，T。；Brewka，G。；道特兰，M。；芬克，M。；伊安尼，G。；Krennwallner，T.，《将非单调知识库与外部资源相结合》，（Ghilardi，S.；Sebastiani，R.，第七届联合系统前沿国际研讨会（FroCos，2009）。第七届组合系统前沿国际研讨会（FroCos 2009），《人工智能讲稿》，第5749卷（2009），施普林格出版社，18-42·Zbl 1193.68242号 [17] 艾特，T。；伊安尼，G。；辛德劳，R。；Tompits，H.，答案集编程中高阶推理和外部评估的统一集成，（国际人工智能联合会议（IJCAI）（2005），专业图书中心），90-96 [18] Brewka，G。；Eiter，T.，异质非单调多上下文系统的平衡，（美国人工智能（AAAI）全国会议论文集（2007），AAAI出版社），385-390 [19] Lierler，Y.，抽象答案集求解器，（逻辑编程国际会议论文集（ICLP）（2008），Springer），377-391·Zbl 1185.68165号 [20] Lierler，Y.，《带回跳和学习的抽象答案集求解器》，理论与实践。日志。程序。，11, 135-169 (2011) ·Zbl 1220.68038号 [21] Lierler，Y。；Zhang，Y.，AC语言算法的转换系统，（ICLP答案集编程和其他计算范式研讨会论文集（ASPOCP）（2011）） [22] Lierler，Y.，《关于约束答案集编程语言和算法的关系》（《AAAI人工智能会议论文集》（2012），麻省理工学院出版社） [23] 卡卡斯，A。；科瓦尔斯基，R。；Toni，F.，诱拐逻辑编程，J.Log。计算。，2, 719-770 (1992) ·Zbl 0778.68081号 [24] Lifschitz，V。；Tang，L.R。；特纳，H.，《逻辑程序中的嵌套表达式》，《数学年鉴》。Artif公司。智力。，25, 369-389 (1999) ·Zbl 0940.68075号 [25] 费拉里斯，P。；Lifschitz，V.，作为嵌套表达式的权重约束，理论与实践。日志。程序。，5, 45-74 (2005) ·Zbl 1093.68017号 [26] 费拉里斯，P。；Lee，J。；Lifschitz，V。；Palla，R.，稳定模型一般理论中的对称分裂，（国际人工智能联合会议（IJCAI）论文集（2009年），国际人工智能出版社），797-803 [27] Simons，P.，用更具表现力的规则扩展稳定模型语义，（逻辑编程和非单调推理：第五届国际会议论文集。逻辑编程和非线性推理：第五届国际会议文献集，人工智能讲义，第1730卷（1999），Springer），305-316·Zbl 0952.68028号 [28] Van Gelder，A。；Ross，K。；Schlipf，J.，《通用逻辑程序的良好语义》，J.ACM，38，620-650（1991）·兹比尔0799.68045 [29] Lee，J.，回路公式的模型理论对应物，（国际人工智能联合会议（IJCAI）会议记录（2005），专业图书中心），503-508 [30] 费拉里斯，P。；Lee，J。；Lifschitz，V.，稳定模型和边界，Artif。智力。，175, 236-263 (2011) ·Zbl 1227.68103号 [31] Clark，K.，《否定是失败》（Gallaire，H.；Minker，J.，《逻辑和数据库》（1978），阻燃出版社：纽约阻燃出版社），293-322 [32] Lierler，Y。；Truszczynski，M.，《模型生成器的转换系统——统一方法》，第27届国际会议。逻辑程序设计会议（ICLP’11）。第27国际。逻辑程序设计会议（ICLP’11），理论与实践。日志。程序。特刊，11，629-646（2011）·Zbl 1222.68063号 [33] Balduccini，M。；Lierler，Y。；Schueller，P.，《Prolog和ASP同一屋檐下的推理》（第十二届逻辑编程和非单调推理国际会议论文集（2013），Springer），148-160·Zbl 1405.68043号 [34] 马里恩，M。；Wittocx，J。；Denecker，M。；Bruynooghe，M.，SAT（ID）：用归纳定义扩展的命题逻辑的可满足性，（可满足性测试的理论和应用。可满足性测试的理论和应用，第11届国际会议（SAT）（2008），施普林格），211-224·Zbl 1138.68547号 [35] 埃尔多安，S.T。；Lifschitz，V.，《答案集编程中的定义》（Lifschit，V.；Niemelä，I.，《逻辑编程和非单调推理国际会议论文集》（LPNMR）（2004），斯普林格出版社），114-126·Zbl 1121.68330号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。