×
西蒙娜·佩里;弗朗西斯科·斯卡切罗;加泰拉诺、格尔索米纳;尼古拉·利昂

通过回跳技术增强DLV实例化器。 （英语） Zbl 1138.68019号

安。数学。Artif公司。智力。 51，第2-4号，195-228（2007）.
摘要：虚拟逻辑编程（DLP）是一种强大的知识表示和推理形式。DLP语言的高表达性，加上最近一些高效DLP系统的可用性，有利于DLP在知识管理和信息集成等新兴领域的应用。这些应用程序经常需要处理巨大的输入数据，并证明了提高DLP实例化器效率的必要性。程序实例化是DLP计算的第一阶段；在这个阶段，变量被常量替换，生成一个地面程序，然后在计算的第二阶段由命题算法进行评估。实例化过程的计算成本可能很高，事实上，它的效率被认为是使用析取逻辑编程解决实际问题的关键问题。给定一个程序（P），（P）的一个好的实例化是一个地面程序（P’），它具有与（P）完全相同的答案集，这样：（1）P’可以从（P）有效地计算，并且（2）P’不包含“无用”规则，（P’尽可能小）因此可以有效地进行计算。本文提出了一种基于结构的回跳算法，用于析取逻辑程序的实例化，满足了上述要求。
特别是，给定一个要根植的规则\（r），我们的算法利用有关\（r \）的语义和结构信息来有效地计算\（r ~）的基础实例，避免生成“无用”规则。也就是说，根据每个一般规则，我们只计算其地面实例的相关子集，避免生成“无用”实例，同时完全保留程序的语义。我们在中实现了此算法DLV公司–DLP的最先进实施–我们已经对大量基准问题进行了实验。实验结果非常积极：新技术显著提高了DLV公司许多程序类上的系统。

引用于6文件

MSC公司：

68N17号 逻辑编程
68T27型 人工智能中的逻辑

关键词：

人工智能;逻辑编程;非单调推理;析取逻辑编程;答案集编程;演绎数据库;稳定模型语义

软件：

诺莫尔++;Lparse（L解析）;亚萨特;图形库;C模型;斯莫德尔斯;DASWAM公司;格林戈;NoMoRe公司
PDF格式BibTeX公司 XML格式引用
\textit{S.Perri}等人，《数学年鉴》。Artif公司。智力。51，编号2--4，195-228（2007；Zbl 1138.68019）
全文： 内政部

参考文献：

[1] Anger，C.，Konczak，K.，Linke，T.：NoMoRe:非单调推理系统。收录于：Eiter，T.，Faber，W.，Truszczynski，M.（编辑）《第六届逻辑编程和非单调推理国际会议论文集》（LPNMR’01），奥地利维也纳。《计算机科学讲义》，第2173卷，第406–410页。施普林格·弗拉格，奥地利维也纳（2001年）·Zbl 1007.68718号
[2] Anger，C.，Gebser，M.，Linke，T.，Neumann，A.，Schaub，T.：答案集求解的诺谟++方法。摘自：Sutcliffe，G.，Voronkov，A.（编辑）《第十二届程序设计、人工智能和推理逻辑国际会议论文集》（LPAR’05）。计算机科学课堂讲稿，第3835卷，第95-109页。Springer Verlag（2005）·Zbl 1143.68584号
[3] Apt，K.R.，Blair，H.A.，Walker，A.：走向陈述性知识理论。摘自：Minker，J.（编辑）《演绎数据库和逻辑编程基础》，第89-148页。Morgan Kaufmann Publishers，Inc.，华盛顿特区（1988）
[4] Arieli，O.，Denecker，M.，Van Nuffelen，B.，Bruynooghe，M.：通过签名公式修复数据库。摘自：Seipel，D.，Turull Torres，J.M.（编辑）《信息和知识系统基础》，第三届国际研讨会（FoIKS 2004）。计算机科学课堂讲稿，第2942卷，第14-30页。斯普林格（2004）·兹比尔1202.68132
[5] Babovich，Y.：Cmodels主页。http://www.cs.utexas.edu/users/标签/模型.html（自2002年起）
[6] Bruynooghe，M.，Pereira，L.：通过智能回溯进行演绎修正。摘自：Horwood，E.（编辑）《Prolog的实现》，第194-215页（1984年）
[7] Cadoli，M.，Eiter，T.，Gottlob，G.：作为查询语言的默认逻辑。IEEE传输。知识。数据工程9（3），448–463（1997）·Zbl 05109252号 ·数字对象标识代码：10.1109/69.599933
[8] Chandra，A.K.，Merlin，P.M.：关系数据库中联合查询的最佳实现。摘自：第九届ACM计算机理论年会会议记录，第77-90页（1977年）
[9] Chen，X.，van Beek，P.：重新审视冲突导向的回跳。J.阿蒂夫。智力。第14号决议、第53–81号决议（2001年）·Zbl 0970.68192号
[10] Dechter，R.：约束处理的增强方案：回跳、学习和割集分解。Artif公司。智力。41(3), 273–312 (1990) ·doi:10.1016/0004-3702（90）90046-3
[11] Dix，J.、Eiter，T.、Fink，M.、Polleres，A.、Zhang，Y.：使用声明性计划监控代理。收录：Günter，A.，Kruse，R.，Neumann，B.（编辑）《第26届德国人工智能会议论文集》（KI'03）。计算机科学课堂讲稿，第2821号，第646–660页。斯普林格（2003）·Zbl 1274.68578号
[12] Downey，R.，Fellows，M.：参数化复杂性。斯普林格（1999）
[13] Eiter，T.，Leone，N.，Mateis，C.，Pfeifer，G.，Scarcello，F.：非单调推理的演绎系统。收录于：Dix，J.、Furbach，U.、Nerode，A.（编辑）《第四届逻辑编程和非单调推理国际会议论文集》（LPNMR’97）。AI（LNAI）课堂讲稿，第1265号，第363-374页。施普林格，达格斯图尔，德国（1997）
[14] Faber，W.，Leone，N.，Mateis，C.，Pfeifer，G.：使用数据库优化技术进行非单调推理。In:INAP组织委员会（编辑）第七届演绎数据库和逻辑编程国际研讨会（DDLP'99）会议记录。日本Prolog协会，第135–139页（1999年）
[15] Faber，W.，Leone，N.，Pfeifer，G.：析取逻辑程序中的递归聚合：语义和复杂性。摘自：Alferes，J.J.、Leite，J.（编辑）《第九届欧洲人工智能会议论文集》（JELIA 2004）。AI（LNAI）课堂讲稿，第3229号，第200-212页。Springer Verlag（2004）·Zbl 1111.68380号
[16] Gebser，M.、Kaufmann，B.、Neumann，A.、Schaub，T.：冲突驱动的答案集求解。摘自：Veloso，M.M.（编辑）《第20届国际人工智能联合会议论文集》（IJCAI’07），第386–392页。摩根考夫曼出版社（2007）·Zbl 1149.68332号
[17] Gebser，M.，Schaub，T.，Thiele，S.：Gringo：一个新的答案集编程基础。在：Baral，C.，Brewka，G.，Schlipf，J.S.（编辑）《第九届逻辑编程和非单调推理国际会议论文集》（LPNMR’07），第4483卷，第266–271页。美国亚利桑那州坦佩市（2007年）
[18] Gelfond，M.，Lifschitz，V.：逻辑程序和析取数据库中的经典否定。新一代。计算。9(3/4), 365–385 (1991) ·Zbl 0735.68012号 ·doi:10.1007/BF03037169
[19] Janhunen，T.、Niemelä，I.、Seipel，D.、Simons，P.、You，J.H.：展开稳定模型语义中的偏爱和析取。ACM事务处理。计算。日志。7(1), 1–37 (2006) ·doi:10.1145/1119439.1119440
[20] Knuth，D.E.：斯坦福图形库：组合计算平台。纽约ACM出版社（1994）·Zbl 0824.68040号
[21] Leone，N.，Perri，S.，Scarcello，F.：通过联合排序方法改进ASP实例化器。摘自：Eiter，T.、Faber，W.、Truszczynski，M.（编辑）《第六届逻辑编程和非单调推理国际会议论文集》（LPNMR’01）。AI（LNAI）课堂讲稿，第2173号，第280-294页。施普林格·弗拉格，奥地利维也纳（2001年）·Zbl 1007.68712号
[22] Leone，N.、Pfeifer，G.、Faber，W.、Eiter，T.、Gottlob，G.，Perri，S.、Scarcello，F.：用于知识表示和推理的DLV系统。ACM事务处理。计算。日志。7(3), 499–562 (2006) ·数字对象标识代码：10.1145/1149114.1149117
[23] Lierler，Y.：Cmodels–基于SAT的析取答案集求解器。收录于：Baral，C.、Greco，G.、Leone，N.、Terracina，G.（编辑）《第八届逻辑编程和非单调推理国际会议论文集》（LPNMR’05）。计算机科学课堂讲稿，第3662卷，第447-451页。斯普林格，迪亚曼特，意大利（2005）
[24] Lierler，Y.，Maratea，M.：Cmodels-2：基于SAT的答案集求解器增强到非轻型程序。收录：Lifschitz，V.，Niemelä，I.（编辑）《第七届逻辑程序设计和非单调推理国际会议论文集》（LPNMR’07）。计算机科学课堂讲稿，第346-350页。斯普林格（2004）·Zbl 1122.68377号
[25] Lin，F.，Zhao，Y.：ASSAT：SAT解析器计算逻辑程序的答案集。摘自：《第十八届全国人工智能会议论文集》（AAAI-2002），AAAI出版社，加拿大艾伯塔省埃德蒙顿（2002）·Zbl 1085.68544号
[26] Lin，F.，Zhao，Y.：ASSAT：SAT解析器计算逻辑程序的答案集。Artif公司。智力。157(1-2), 115–137 (2004) ·Zbl 1085.68544号 ·doi:10.1016/j.artint.2004.04.004
[27] Minker，J.：关于不确定数据库和封闭世界假设。摘自：Loveland，D.（编辑）《第六届自动扣除会议论文集》（CADE'82）。计算机科学课堂讲稿，第138卷，第292-308页。施普林格，美国纽约（1982年）·兹比尔048168087
[28] Minker，J.：析取逻辑编程概述。安。数学。Artif公司。智力。12(1–2), 1–24 (1994) ·Zbl 05474913号 ·doi:10.1007/BF01530759
[29] Niemelä，I.，Simons，P.：Smodels——正常逻辑程序的稳定模型和良好语义的实现。收录于：Dix，J.、Furbach，U.、Nerode，A.（编辑）《第四届逻辑编程和非单调推理国际会议论文集》（LPNMR’97）。AI（LNAI）课堂讲稿，第1265卷，第420-429页。施普林格·弗拉格（Springer Verlag），德国达格斯图尔（Dagstuhl）（1997年）
[30] Prosser，P.：约束满足问题的混合算法。计算。智力。9(3), 268–299 (1993) ·文件编号：10.1111/j.1467-8640.1993.tb00310.x
[31] Przymusinski，T.C.：析取程序的稳定语义。新一代。计算。9, 401–424 (1991) ·Zbl 0796.68053号 ·doi:10.1007/BF03037171
[32] Radziszowski，S.P.：小拉姆齐数。电子。J.库姆。第11次修订：2006年8月1日（1994年）
[33] Shen，K.：DASWAM概述：依赖与平行主义的利用。J.日志。程序。29(1–3), 245–293 (1996) ·Zbl 0877.68018号 ·doi:10.1016/S0743-1066（96）00079-9
[34] Simons，P.，Niemelä，I.，Soininen，T.：扩展和实现稳定模型语义。Artif公司。智力。138(1–2), 181–234 (2002) ·Zbl 0995.68021号 ·doi:10.1016/S0004-3702（02）00187-X
[35] Syrjänen，T.：Lparse 1.0用户手册。http://www.tcs.hut.fi/Software/smodels/lparse.ps.gz (2002)
[36] Tsang，E.：约束满足的基础。学术出版社（1993）
[37] Ullman，J.D.：数据库和知识库系统原理。计算机科学出版社（1989）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。