自动切换接地策略，让ASP求解更快更稳。
Automated Hybrid Grounding Using Structural and Data-Driven Heuristics
- 根据规则结构和数据特征自动选择接地方法
- 复杂场景下求解速度提升，难解实例逼近顶尖水平
- 适合需要高效处理复杂逻辑问题的工业用户
答案集编程（ASP）在工业应用中面临接地瓶颈。混合接地通过结合传统自底向上接地与规则体解耦技术缓解此问题，但何时采用哪种方法仍不明确。本文提出自动化混合接地：基于规则结构与实例数据估计的启发式分裂算法，自动判断应使用体解耦还是标准接地。原型系统实验表明，在难以接地的场景中性能显著提升，而在难以求解的实例上接近当前最优水平。
原文摘要 · Abstract (English)
The grounding bottleneck poses one of the key challenges that hinders the widespread adoption of Answer Set Programming in industry. Hybrid Grounding is a step in alleviating the bottleneck by combining the strength of standard bottom-up grounding with recently proposed techniques where rule bodies are decoupled during grounding. However, it has remained unclear when hybrid grounding shall use body-decoupled grounding and when to use standard bottom-up grounding. In this paper, we address this issue by developing automated hybrid grounding: we introduce a splitting algorithm based on data-structural heuristics that detects when to use body-decoupled grounding and when standard grounding is beneficial. We base our heuristics on the structure of rules and an estimation procedure that incorporates the data of the instance. The experiments conducted on our prototypical implementation demonstrate promising results, which show an improvement on hard-to-ground scenarios, whereas on hard-to-solve instances we approach state-of-the-art performance.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。