BriefGPT - AI 论文速递
·
基于归纳学习的 ASP 领域特定启发式策略生成
💡
原文中文，约300字，阅读约需1分钟。
📝
内容提要
本研究提出了一种新的语法和语义，用于在ASP中实现领域特定的启发式方法。实验结果表明，组合懒惰打地基ASP求解和启发式方法对解决工业规模问题至关重要。
🎯
关键要点
- 本研究提出了一种新的语法和语义，用于在ASP中实现领域特定的启发式方法。
- 这些启发式方法直接依赖于维护的部分分配。
- 实现了懒惰打地基ASP的第一个系统支持领域特定的声明性启发式。
- 方法在两个实际示例领域上应用，并用于实现A*搜索。
- 实验结果表明，组合懒惰打地基ASP求解和启发式方法对解决工业规模问题至关重要。
➡️
