10.10 总结 (Summary)

我们介绍了逻辑的概念，基于知识的智能体可以使用它来推理世界并做出决策。我们介绍了逻辑语言、其语法和标准逻辑等价式。命题逻辑是一种基于命题符号和逻辑连接词的简单语言。一阶逻辑是一种比命题逻辑更强大的表示语言。一阶逻辑的语法建立在命题逻辑之上，使用项来表示对象，并使用全称和存在量词来做出断言。

我们进一步描述了用于检查命题逻辑中可满足性（SAT 问题）的 DPLL 算法。它是对可能模型的深度优先枚举，使用提前终止、纯符号启发式和单位子句启发式来提高性能。当我们的知识库仅由命题逻辑中的文字和蕴涵组成时，可以使用前向链接算法进行推理。

一阶逻辑中的推理可以通过使用像广义假言推理这样的规则直接完成，或者通过命题化来完成，命题化将问题转化为命题逻辑并使用 SAT 求解器得出结论。