第 III 部分 · 知识、推理与规划
第 10 章 知识表示
Chapter 10 · Knowledge Representation
本章导读
逻辑给了语法，本体论决定「用什么样的概念谈论世界」：类别与对象、事件与时间、空间与心理状态，以及大规模本体工程的方法论。
学习要点
- 表示的五个基本原则；本体论工程与认识论工程的分野。
- 类别与对象：子集 / 成员关系、继承、组合（部分—整体）层次与度量。
- 事件与时间：流（fluents）与情景演算 / 事件演算的取舍，时序知识的表示。
- 更高阶的表示：空间、心理对象（信念与知识）、信念修正（AGM 思想概览）。
- 知识工程方法论：确定领域 → 建立本体 → 编写公理 → 验证与迭代，与第 9 章推理引擎配套使用。
核心概念
| 术语 | English | 一句话解释 |
|---|---|---|
| 本体论 | Ontology | 关于世界由哪类事物组成的理论 |
| 类别 | Category | 用谓词或对象化集合表达的物种类别 |
| 组合层次 | Mereology | 部分与整体构成的结构层次 |
| 流 | Fluent | 随时间变化的世界属性 |
| 情景演算 | Situation Calculus | 把世界变化编码为情景序列的逻辑框架 |
| 事件演算 | Event Calculus | 以事件为主角、带时间区间的表示框架 |
| 信念修正 | Belief Revision | 新信息与旧信念冲突时的理性更新 |
| 心理对象 | Mental Objects | 对信念、欲望、意图的表示（模态性） |
| 本体工程 | Ontological Engineering | 大规模领域概念建模的实践 |
配套代码（aima-python）
aima-python 是官方维护的开源算法库（MIT 协议），建议每学完一章就跑一遍对应模块的示例。