《知识表示、推理和智能代理设计：答案集编程方法（Knowledge Representation, Reasoning, and the Design of Intelligent Agents）》

知识表示和推理是人工智能、声明式编程和能够执行智能任务的知识密集型软件系统设计的基础。本书使用基于答案集编程（ASP，answer set programming）和动作语言的逻辑和概率形式，展示了如何为知识密集型系统提供有关世界的知识，以及如何使用它来解决非平凡的计算问题。作者在智能代理的数学分析和实际设计之间保持平衡。所有概念，如回答查询、计划、诊断和概率推理，都由 ASP 的程序说明。该文本可用于与人工智能相关的本科和研究生课程，以及希望了解有关ASP和知识表示的更多信息的研究人员。

对于学生和专家来说，这是一篇优秀的书籍，用于答案集编程和知识表示。答案集编程是一种基于人工智能的新编程方法，并且已经发现了许多重要的应用。