推理算法 · 文学知识图谱推演

模块 0 · 符号表征

把思考写成符号

命题逻辑、一阶逻辑与产生式规则 — 为演绎推导准备语言。

模块 1 · 演绎推导

让规则动起来

苏格拉底三段论：同一套规则，两种优化策略。

模块 2 · 知识图谱

连接万物的网络

三元组表示事实；以下用鲁迅作品与报刊关系作为贯穿示例。

模块 3 · 图谱推理

不完整地图上的搜索

多跳查询与路径证据排序 — 与第5章搜索相呼应。

模块 4 · 对比

四种推理策略一张表