ASP求解中的约束、惰性约束或传播器：实证分析
人工智能
2018-02-01 v1
摘要
答案集编程（ASP）是一种成熟的声明式范式。ASP的成功之处之一在于高效系统的可用性。最先进的系统基于基化+求解（ground+solve）方法。在某些应用中，该方法不可行，因为对一个或少数约束的基化代价高昂。本文系统地比较了基于求解器自定义扩展的、用于避免有问题约束实例化的替代策略。在真实与合成基准上的结果凸显了不同策略的一些优势与劣势。（正被TPLP、ICLP 2017特刊考虑接受。）
引用
@article{arxiv.1707.04027,
title = {Constraints, Lazy Constraints, or Propagators in ASP Solving: An Empirical Analysis},
author = {Bernardo Cuteri and Carmine Dodaro and Francesco Ricca and Peter Schüller},
journal= {arXiv preprint arXiv:1707.04027},
year = {2018}
}
备注
Paper presented at the 33nd International Conference on Logic Programming (ICLP 2017), Melbourne, Australia, August 28 to September 1, 2017. 16 pages