减小: 降低 ASP 程序基体化规模的研究
人工智能
2025-08-13 v1 计算机科学中的逻辑
摘要
答案集编程 (ASP) 常因基体化瓶颈受限：大型 Herbrand 宇宙生成的基体程序规模过大，导致求解困难。许多方法采用非正式的启发式方法来提高基体化性能，这促使需要更正式且可泛化的策略。我们引入减小 (diminution) 的概念，即用于生成缩小后基体程序的 Herbrand 宇宙的特定子集。在基体化求解之前。我们对减小提供正式定义，分析其关键属性，研究识别其复杂度。我们采用特定编码，使现成的 ASP 求解器能够评估候选子集。我们的ethods无缝集成到现有基体化器中，通过域谓词实现。在对五个基准进行大量实验中，通过我们的策略所选取的减小显著提升了性能，平均降低基体化时间最高可达 70%，基体化文件规模降低最高可达 85%。这些结果表明，利用减小构成了缓解 ASP 基体化瓶颈的稳健且通用的方法。
关键词
引用
@article{arxiv.2508.08633,
title = {Diminution: On Reducing the Size of Grounding ASP Programs},
author = {HuanYu Yang and Fengming Zhu and YangFan Wu and Jianmin Ji},
journal= {arXiv preprint arXiv:2508.08633},
year = {2025}
}