Please use the form below to provide your feedback. Because your feedback is valuable to us, the information you submit in this form is recorded in our issue tracking system (JIRA), which is publicly available. You can track the status of your feedback using the ticket number displayed in the dialog once you submit the form.

第 9 章 一阶逻辑中的推断 (Inference in First-Order Logic)

      +
      本章主旨

      本章是 AIMA 4e 的"一阶逻辑中的推断"——合一 / 前向链接 / 归结。理解后才能掌握 AI 各子领域。

      一、核心概念

      本章围绕 3 个核心概念展开：

      概念 定义 + 重要性 实现提示

      前向链接

      definite 子句

      §9.3

      反向链接

      目标归结

      §9.4

      归结

      FOL 归结

      §9.5

      二、本章要点

      • 只要 C1 未在知识库的其他地方出现。简单来说，存在语句表明存在满足某个条件的对象，运

      • 好的例子：假设我们发现有一个数字比 2.718 28 稍大，并满足等式 中的 x。我们

      • 根据全称量词实例化为真。特别地，它对于满足一般化肯定前件规则条件的 θ 为真。因此，我

      学习建议

      • AIMA 4e 是 AI 标准教材——每章配套习题巩固理解。

      • 实现关键算法（搜索 / CSP / 逻辑 / 概率 / 学习）才能真正掌握。

      • 与机器学习 / 深度学习课程结合；现代 LLM / Diffusion 改变 AI 格局。

      三、关键图表

      视觉图表

      图 {ch_num}-1
      Figure 1. 图 {ch_num}-1：{zh}总览

      四、思维导图

      mindmap
  root((第 {ch_num} 章 {zh}))
    前向链接
    反向链接
    归结

      五、重点与易错点

      • 合一 / 前向链接 / 归结。

      • 配套习题：原书第 {ch_num} 章末尾。

      • 实现建议：用 Python / AIMA 代码库 (aima.cs.berkeley.edu) 实践关键算法。

      • 跨章衔接：第 8 章上下文；AI 各子领域互为基础。