×
马丁·格布瑟;马克斯·奥斯特罗斯基;托尔斯滕·绍布

约束答案集求解。 （英语） Zbl 1251.68061号

Hill，Patricia M.（编辑）等人，《逻辑编程》。第25届国际会议，ICLP 2009，美国加利福尼亚州帕萨迪纳，2009年7月14日至17日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02845-8/pbk）。《计算机科学讲义》5649、235-249（2009）。
摘要：我们提出了一种将约束处理（CP）技术集成到答案集编程（ASP）中的新方法。基于替代语义方法，我们为冲突驱动的ASP求解开发了一个算法框架，该框架利用了CP求解能力。一个重要的技术问题涉及不同求解器类型的冲突信息的组合。我们实现了我们的方法，将ASP解算器clipeo与通用CP解算器gecode相结合，并实证研究了其计算影响。
关于整个系列，请参见[Zbl 1167.68003号].

引用于18文件

理学硕士：

68N17号 逻辑编程

软件：

Clingcon公司;格林戈;扣环;iClingo公司;克林戈;Potassco公司;DLV-EX公司
PDF格式BibTeX公司 XML格式引用
\textit{M.Gebser}等人，Lect。注释计算。科学。56492235-249（2009年；兹比尔1251.68061）
全文： 内政部

参考文献：

[1] Baral，C.：知识表示、推理和陈述式问题解决。剑桥大学出版社，剑桥（2003）·Zbl 1056.68139号 ·doi:10.1017/CBO9780511543357
[2] Nogueira，M，Balduccini，M，Gelfond，M，Watson，R，Barry，M：航天飞机的A-prolog决策支持系统。收录：Ramakrishnan，I.V.（编辑）PADL 2001。LNCS，第1990卷，第169-183页。斯普林格，海德堡（2001）·doi:10.1007/3-540-45241-9_12
[3] Balduccini，M.、Gelfond，M.和Nogueira，M.：基于答案集的知识系统设计。《数学与人工智能年鉴》47（1-2），183-219（2006）·Zbl 1105.68105号 ·doi:10.1007/s10472-006-9026-1
[4] Baral，C.、Chanceller，K.、Tran，N.、Tran、N.、Joy，A.、Berens，M.：一种基于知识的方法，用于表示和推理信令网络。摘自：第十二届分子生物学智能系统国际会议/第三届欧洲计算生物学会议记录（ISMB 2004/ECCB 2004），第15-22页（2004）·doi:10.1093/bioinformatics/bth918
[5] Dworschak，S.、Grote，T.、König，A.、Schaub，T.和Veber，P.：用动作语言表示和推理生物模型的工具。摘自：Pagnucco，M.，Thielscher，M.（编辑）第十二届非单调推理国际研讨会论文集（NMR 2008）。新南威尔士大学，技术报告系列，第94-102页（2008年）
[6] Gebser，M.、Schaub，T.、Thiele，S.、Usadel，B.、Veber，P.：使用答案集编程检测大型生物网络中的不一致性。作者：Garcia de la Banda，M.，Pontelli，E.（编辑）ICLP 2008。LNCS，第5366卷，第130-144页。斯普林格，海德堡（2008）·兹比尔1185.92052 ·doi:10.1007/978-3-540-89982-2_19
[7] Mitchell，D.：SAT解决方案入门。《欧洲理论计算机科学协会公报》85，112–133（2005）
[8] Biere，A.，Heule，M.，van Maaren，H.，Walsh，T.（编辑）：可满足性手册。IOS出版社，阿姆斯特丹（2009）
[9] Nieuwenhuis，R.，Oliveras，A.，Tinelli，C.：求解SAT和SAT模理论：从抽象的Davis-Putnam-Logemann-Loveland过程到DPLL（T）。美国医学会杂志53（6），937–977（2006）·Zbl 1326.68164号 ·数字对象标识代码：10.1145/1217856.1217859
[10] Dechter，R.：约束处理。Morgan Kaufmann Publishers，旧金山（2003）·Zbl 1057.68114号
[11] Rossi，F.，van Beek，P.，Walsh，T.（编辑）：约束编程手册。Elsevier，阿姆斯特丹（2006）·Zbl 1175.90011号
[12] Baselice，S.，Bonatti，P.，Gelfond，M.：走向答案集和约束求解的集成。收录：Gabbrielli，M.，Gupta，G.（编辑）ICLP 2005。LNCS，第3668卷，第52-66页。斯普林格，海德堡（2005）·Zbl 1165.68481号 ·doi:10.1007/11562931_7
[13] Mellarkod，V.，Gelfond，M.：将答案集推理与约束求解技术相结合。收录：Garrigue，J.，Hermenegildo，M.（编辑）FLOPS 2008。LNCS，第4989卷，第15-31页。斯普林格，海德堡（2008）·Zbl 1137.68599号 ·doi:10.1007/978-3-540-78969-74
[14] Mellarkod，V.，Gelfond，M.，Zhang，Y.：集成答案集编程和约束逻辑编程。数学和人工智能年鉴（2008年出版）·Zbl 1165.68504号 ·doi:10.1007/s10472-009-9116-y
[15] Simons，P.，Niemelä，I.，Soininen，T.：扩展和实现稳定模型语义。人工智能138（1-2），181-234（2002）·Zbl 0995.68021号 ·doi:10.1016/S0004-3702（02）00187-X
[16] http://www.cs.uni-potsdam.de/cleancon网站
[17] 网址：http://potassco.sourceforge.net
[18] http://www.gecode.org
[19] Gebser，M.、Kaufmann，B.、Neumann，A.、Schaub，T.：冲突驱动的答案集求解。载于：Veloso，M.（编辑）《第二十届国际人工智能联合会议论文集》（IJCAI 2007），第386–392页。AAAI出版社/麻省理工学院出版社，门洛帕克（2007）·Zbl 1149.68332号
[20] Gebser，M.、Kaminski，R.、Kaufmann，B.、Ostrowski，M.、Schaub，T.、Thiele，S.：外国佬、搭扣、粘人和iclingo的用户指南。输入：[17]
[21] Marques-Silva，J.，Sakallah，K.：GRASP：命题可满足性的搜索算法。IEEE计算机汇刊48（5），506–521（1999）·数字对象标识代码：10.1109/12.769433
[22] Zhang，L.，Madigan，C.，Moskewicz，M.，Malik，S.：布尔可满足性求解器中的有效冲突驱动学习。摘自：《计算机辅助设计国际会议论文集》（ICCAD 2001），第279-285页（2001）
[23] Fages，F.：克拉克完备性与稳定模型存在性的一致性。计算机科学逻辑方法杂志1，51-60（1994）
[24] Calimeri，F.、Cozza，S.、Ianni，G.：逻辑编程中知识和价值发明的外部来源。数学与人工智能年鉴50（3-4），333–361（2007）·Zbl 1125.68026号 ·doi:10.1007/s10472-007-9076-z
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不声称其完整性或完全匹配。