×
西蒙娜·佩里;弗朗西斯科·里卡;马尔科·西里亚尼

ASP程序的并行实例化：技术和实验。 （英语） Zbl 1267.68083号

理论实践。日志。程序。 13，第2期，253-278（2013）.
摘要：答案集编程（ASP）是一种功能强大的基于逻辑的编程语言，它在科学界和（最近）工业界正受到越来越多的关注。回答程序的评估通常分两步进行。在第一步，输入程序（mathcal P\）经历了所谓的实例化（或接地）过程，该过程产生一个在语义上等价于（mathcall P\）的程序（mathcal P'），但不包含任何变量；反过来，在第二步中使用回溯搜索算法来计算\（\mathcal P'\）。众所周知，实例化对于整个评估的效率很重要，在常见情况下可能会成为瓶颈，在几个实际应用程序中至关重要，并且在必须处理大量输入数据时尤其重要。在撰写本文时，可用的实例化器模块无法令人满意地利用具有多核/多处理器对称多处理技术的最新硬件。本文介绍了一些并行实例化技术，包括负载平衡和粒度控制启发式，这些技术可以有效地利用现代对称多处理器提供的处理能力。本文报告的大量实验分析证实了这一点。

引用于4文件

MSC公司：

68N17号 逻辑编程

关键词：

答案集编程;实例化;平行度;启发式

软件：

图形库
PDF格式BibTeX公司 XML格式引用
\textit{S.Perri}等人，《理论与实践》。日志。程序。13，No.2，253--278（2013；Zbl 1267.68083）
全文： 内政部 arXiv公司

参考文献：

[1] 内政部：10.1007/BF03037169·doi:10.1007/BF03037169
[2] 逻辑编程、知识表示和非单调推理：纪念Michael Gelfondpp的论文1–（2011）
[3] 程序。第九届逻辑程序设计与非单调推理国际会议第266页–（2007）
[4] 程序。第九届逻辑程序设计与非单调推理国际会议第3页–（2007）
[5] 程序。第十届国际人工智能联合会议第386页–（2007）
[6] 程序。1990年国际数据管理会议第143页–（1990）
[7] 内政部：10.1109/69.368511·doi:10.1109/69.368511
[8] 程序。答案集编程研讨会，迈向高效和可扩展的知识表示和推理第72页-（2001）
[9] 程序。1988年国际数据管理会议第329页–（1988）
[10] 程序。第九届欧洲人工智能会议第200页–（2004）
[11] 程序。1990年国际数据管理会议第133页–（1990）
[12] 程序。第七届演绎数据库和逻辑编程国际研讨会第135页–（1999）
[13] 数据库和知识库系统原理（1989）
[14] 程序。第十届逻辑程序设计与非单调推理国际会议第490页–（2009）
[15] 内政部：10.1109/69.390244·电话：10.1109/69.390244
[16] 内政部：10.1145/261124.261126·doi:10.1145/261124.261126
[17] 操作系统：内部和设计原则（1998）
[18] 程序。1994年国际数据管理会议第277页–（1994）
[19] DOI:10.1016/S0004-3702（02）00187-X·Zbl 0995.68021号 ·doi:10.1016/S0004-3702（02）00187-X
[20] 程序。第十届逻辑程序设计和非单调推理国际会议第637页–（2009）
[21] 程序。答案集编程研讨会，走向高效和可扩展的知识表示和推理第174页–（2001）
[22] 程序。第十二届声明性语言实践方面国际研讨会第40页–（2010年）
[23] 程序。第五届ACM SIGPLAN多核编程声明性方面研讨会第73页–（2010年）
[24] 内政部：10.1145/502807.502810·doi:10.1145/502807.502810
[25] 程序。第四届逻辑程序设计和非单调推理国际会议第421页–（1997）
[26] 程序。1986年国际数据管理会议第108页–（1986）
[27] 认知、信息学和逻辑学算法杂志63页34–（2008）
[28] 逻辑编程范式——25年展望第375页–（1999）·doi:10.1007/978-3-642-60085-2_17
[29] 内政部：10.1145/195613.195637·Zbl 0830.68039号 ·数字对象标识代码：10.1145/195613.195637
[30] DOI:10.1016/j.artint.2004.04.004·Zbl 1085.68544号 ·doi:10.1016/j.artint.2004.04.004
[31] 程序。第六届逻辑程序设计与非单调推理国际会议第186页–（2001）
[32] 程序。第16届逻辑程序设计国际会议第23页–（1999）
[33] 知识表示、推理和陈述性问题解决（2003）·Zbl 1056.68139号
[34] 程序。第七届逻辑程序设计与非单调推理国际会议第346页–（2004）
[35] 内政部：10.1016/j.parco.2005.03.004·doi:10.1016/j.parco.2005.03.004
[36] 内政部：10.1145/1149114.1149117·Zbl 1367.68308号 ·数字对象标识代码：10.1145/1149114.1149117
[37] 程序。第六届逻辑程序设计和非单调推理国际会议第406页–（2001）
[38] 内政部：10.1145/383779.383785·Zbl 1365.68386号 ·电话：10.1145/383779.383785
[39] 程序。第六届逻辑程序设计与非单调推理国际会议第280页–（2001）
[40] 斯坦福图形库：组合计算平台（1994）·兹伯利0824.68040
[41] 内政部：10.1145/1119439.1119440·Zbl 1367.68035号 ·doi:10.1145/1119439.1119440
[42] 程序。第十届逻辑程序设计与非单调推理国际会议第368页–（2009）
[43] 程序。第八届逻辑程序设计与非单调推理国际会议第227页–（2005）
[44] DOI:10.1016/S0004-3702（02）00207-2·Zbl 0995.68022号 ·doi:10.1016/S0004-3702（02）00207-2
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。