第 8 章从命题逻辑扩展到一阶逻辑，核心是表达对象、关系和量词的能力。重点包括：

一阶逻辑语言

• 常量、变量、谓词、函数、量词（∀, ∃）
• 语法：项、原子、复合公式
• 语义：解释、模型、真值赋值

知识表示示例

• 家族关系、数字系统、集合论
• Wumpus 世界的一阶描述

推理

• 命题化（避免过度）：将包含量词的公式转换为命题逻辑实例（如具象化）
• 合一：寻找变量替换使两个表达式相同，是推理的基础
• 前向链接：从事实出发，用规则（∀ 蕴含）生成新事实，需合一匹配
• 反向链接：目标驱动，递归证明子目标
• 归结：一阶逻辑的归结需合一，比命题归结复杂

归纳

• 归纳原理（自然数归纳、结构归纳）

类别与对象

• 用谓词表示类别（如 Dog(x)）、属性（Color(x, Brown)）、关系（HasParent(x, y)）
• 本体论：描述世界中对象类型及其关系