摘要

答案集编程(ASP)是在非单调推理和逻辑编程领域发展起来的一种著名的陈述性问题解决范式。ASP的通常目标是解决组合搜索问题,尽管如此,ASP的语言还是用弱约束进行了扩展,以简化优化问题的建模。对于具有弱约束的ASP程序,ASP解算器的主要计算任务是最优稳定模型搜索在本文中,我们提出并比较了几种用于最优稳定模型搜索的算法。我们考虑了ASP求解器传统上采用的解决方案,并介绍了通过移植到ASP设置中获得的新的求解策略,其中一些算法是为最大可满足性求解引入的。本文还报告了这些算法在ASP求解器中的实现黄蜂。实证分析强调了计算最佳稳定模型的不同策略的利弊。

本文根据牛津大学出版社标准期刊出版模式的条款出版和发行(https://academic.oup.com/journals/pages/open_access/funder_policies/chorus/standard_publication_model)
您当前没有访问此文章的权限。