...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Theory and Practice of Logic Programming >Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and More
【24h】

Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and More

机译：推进懒惰接地的ASP解决技术 - 重启，相位节省，启发式等等

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Answer-Set Programming (ASP) is a powerful and expressive knowledge representation paradigm with a significant number of applications in logic-based AI. The traditional ground-and-solve approach, however, requires ASP programs to be grounded upfront and thus suffers from the so-called grounding bottleneck (i.e., ASP programs easily exhaust all available memory and thus become unsolvable). As a remedy, lazy-grounding ASP solvers have been developed, but many state-of-the-art techniques for grounded ASP solving have not been available to them yet. In this work we present, for the first time, adaptions to the lazy-grounding setting for many important techniques, like restarts, phase saving, domain-independent heuristics, and learned-clause deletion. Furthermore, we investigate their effects and in general observe a large improvement in solving capabilities and also uncover negative effects in certain cases, indicating the need for portfolio solving as known from other solvers.
机译：答案设置编程（ASP）是一种强大而富有表现力的知识表示范例，具有大量应用程序在基于逻辑的AI中。然而，传统的地面和求解方法需要将ASP程序接地前期，因此遭受所谓的接地瓶颈（即，ASP程序容易排出所有可用内存并因此变得无法解决）。作为一种补救措施，已经开发出懒惰接地的ASP求解器，但是对于接地的ASP求解的许多最先进的技术尚未可用。在这项工作中，我们首次出现的适应懒惰接地设置，因为许多重要的技术，如重启，相位保存，域 - 独立的启发式和学习 - 条款删除。此外，我们调查它们的效果，并且一般而视在求解能力的大量改善，并且在某些情况下揭示负面影响，表明需要其他溶剂中已知的组合溶解。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号