本章介绍基于命题逻辑的知识表示与推理，核心内容如下。

基础知识

• 命题逻辑语法、语义：真值表、逻辑等价
• 蕴涵：KB ⊨ α 当且仅当所有使 KB 为真的模型也使 α 为真

推理算法

• 归结法（Resolution）：反证法，将 KB ∧ ¬α 转化为 CNF，反复应用归结规则；若导出空子句则证明蕴涵成立
• 霍恩子句与确定子句：一种受限子句形式，可使用前向链接或反向链接在线性时间内推理
• DPLL 算法：基于回溯搜索的 SAT 求解器，使用单元传播、纯文字规则和启发式分支
• WalkSAT：不完备的随机局部搜索算法，通过翻转变量减少冲突子句，快速处理大规模 SAT 问题

基于命题逻辑的智能体

• 用命题符号表示 Wumpus 世界的感知和知识
• 知识库的动态更新（TELL）和查询（ASK）