《答案集编程（Answer Set Programming）》

答案集编程（ASP，Answer Set Programming）是一种面向组合搜索问题的编程方法。在这样的问题中，目标是在大量但有限的可能性中找到解决方案。ASP的想法来自对人工智能和计算逻辑的研究。ASP 是声明式编程的一种形式：ASP 程序描述什么算作问题的解决方案，但不指定解决问题的算法。搜索由称为答案集求解器的复杂软件系统执行。

组合搜索问题经常出现在科学和技术中，ASP已经在不同的领域找到了应用——历史语言学、生物信息学、机器人技术、太空探索、石油和天然气工业等等。人工智能促进协会在 2016 年认识到了这种编程方法的重要性，当时 AI 杂志发表了一期关于答案集编程的特刊。

本书向读者介绍了ASP的理论和实践。它描述了答案集求解器 CLINGO 的输入语言，该求解器由德国波茨坦大学设计，如今已被许多国家的 ASP 程序员使用。它包括许多ASP程序的示例，并提出了ASP所基于的数学理论。有许多具有完整解答的练习。