×
亚历山大·范登布鲁克;马西耶·皮罗格;德索特，贝诺特;汤姆·施里杰弗斯

包含声音答案的表格。 （英语） Zbl 1379.68084号

理论与实践。日志。程序。 16，编号5-6，933-949（2016）.
摘要：Tabling是逻辑程序的一种强大的解析机制，它比普通Prolog更忠实地捕获其最不动点语义。在许多表格应用程序中，我们对目标的所有答案集不感兴趣，而只需要这些答案的聚合。一些工作研究了有效的技术，如基于格的答案包含和模式定向表，以实现各种形式的聚合。
虽然人们非常关注不同方法的表达能力和有效实现，但并没有考虑其稳健性。本文表明，不同的实现确实无法为某些程序生成最小不动点。作为一种补救措施，我们提供了一个正式的框架来概括现有的方法，并且我们建立了一个健全性标准来解释该方法对哪些程序是健全的。

MSC公司：

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

关键词：

制表;答案包容;晶格;部分订单;模式定向制表;指称语义学;序言

软件：

XSB公司;YAP-序言;B-序言
PDF格式BibTeX公司 XML格式引用
\textit{A.Vandenbroucke}等人，《理论与实践》。日志。程序。16、编号5--6933--949（2016；Zbl 1379.68084）
全文： 内政部 arXiv公司

参考文献：

[1] 艾布拉姆斯基S。和HankinC.1987。声明性语言的抽象解释。第1卷。埃利斯·霍伍德（Ellis Horwood），《抽象解释导论》，第63-102章。
[2] 英国公寓。R.、BlairH.A.和WalkerA.1988。走向陈述性知识理论。摩根·考夫曼。
[3] 后台R。约2000年。伽罗瓦连接和不动点演算。2000年4月10日至14日，英国牛津国际暑期学校和讲习班，《程序构造数学中的代数和余代数方法》，《修订讲座》，R.C.Backhouse、R.L.Crole和J.Gibbons主编，LNCS，第2297卷。施普林格，89-148·Zbl 1065.68030号
[4] Chico de GuzmánP公司。，卡罗姆。，赫尔梅内吉尔多。V.、SilvaC。和RochaR.2008。一种改进的基于延续调用的tabling实现。第十届国际声明语言实践研讨会。LNCS，第4902卷。施普林格，197-213。
[5] 库索普。和CousotR.1992。逻辑程序的抽象解释和应用。逻辑编程杂志13，2-3，103-179.10016/0743-1066（92）90030-7·Zbl 0776.68024号 ·doi:10.1016/0743-1066（92）90030-7
[6] 国合-F.和GuptaG.2004。通过表格简化动态编程。在声明语言的实际方面。LNCS，第3057卷。斯普林格，163-177。
[7] 国合-F.和GuptaG.2008。通过模式定向表简化动态编程。软件：实践与经验38，1，75-94。
[8] KorteB公司。，洛瓦兹。和SchraderR.1991。贪婪，算法和组合学，第4卷·Zbl 0733.05023号
[9] 劳埃德J。W.1984年。逻辑编程基础。Springer Verlag，纽约·Zbl 0547.68005号
[10] 麦克尼尔。M.1937年。部分有序集。美国数学学会学报，416-460·Zbl 0017.33904号
[11] 奥克斯利J。1992年8月。拟阵理论。牛津大学出版社·Zbl 0784.05002号
[12] 罗摩克里希纳。美国，拉马克里希南克。R.、Ramakrishnai。V.、斯莫尔卡。A.、SwiftT。和沃伦D。S.1997年。计算机辅助验证：第九届国际会议，1997年6月22日至25日，以色列海法。斯普林格，143-154。
[13] 桑托斯J。和RochaR.2013。关于模式定向表的有效实现。在声明语言的实际方面。LNCS，第7752卷。斯普林格，141-156。
[14] 桑托斯·科斯塔。，罗查尔。和DamasL.2012。YAP Prolog系统。逻辑编程的理论与实践12，1-2，5-34.10.1017/S1471068411000512·Zbl 1244.68017号 ·doi:10.1017/S1471068411000512
[15] SwiftT.1999。非单调编程表格。数学与人工智能年鉴25,3-4201-240.10.1023/A:1018990308362·Zbl 0940.68025号 ·doi:10.1023/A：1018993008362
[16] 瑞士电信。和WarrenD.2010。包含答案的表格：实现、应用程序性能。300-312. ·Zbl 1306.68012号
[17] 斯威夫特。和沃伦D。2012年上半年。XSB：用表逻辑编程扩展Prolog。逻辑程序设计理论与实践12，1-2（1月），157-187.10.1017/S1471068411000500·Zbl 1244.68021号 ·doi:10.1017/S1471068411000500
[18] Van HentenryckP。，DegimbeO公司。，查理B。L.和MichelleL.1993。基于OLDT分辨率的Prolog抽象解释。技术代表，美国罗得岛州普罗维登斯。
[19] 范登布鲁克。，施里杰弗斯。和PiessensF.2016。修正非决定论。2015年第27届函数式语言实现与应用研讨会论文集。
[20] 周恩-F.2012年。B-Prolog的语言特性和体系结构。逻辑程序设计的理论与实践12，1-2189-218.10.1017/S1471068411000445·Zbl 1244.68024号 ·doi:10.1017/S1471068411000445
[21] 周恩。F.和DovierA.2011。用于求解sokoban的表格Prolog程序。2011年IEEE第23届人工智能工具国际会议。896-897.
[22] 周恩-F.、KameyaY。和SatoT.2010。用于动态编程、机器学习和约束求解的模式导向表。在2010年第22届人工智能工具国际会议上。第2卷。213-218.
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。