---
name: skill-07
description: 基于知识图谱的逻辑推理与矛盾检测总览。当需要进行事实验证、矛盾发现、知识补全、洞见挖掘时使用。涵盖生卒年推断、姓氏推理、反常检测、史料溯源等推理任务。
---


# SKILL 07: 逻辑推理 — 矛盾检测与洞见挖掘

> 基于已构建的实体、事件、关系和本体，进行跨章节逻辑推理，发现矛盾事实和隐含知识。

---

## 一、子工序

| 编号 | 文件 | 内容 |
|------|------|------|
| 07a | [SKILL_07a_人物生卒年推断.md](SKILL_07a_人物生卒年推断.md) | 生卒年区间推断，置信度分级 |
| 07b | [SKILL_07b_姓氏推理.md](SKILL_07b_姓氏推理.md) | 先秦人物姓/氏区分，"同姓"语义澄清 |
| 07c | [SKILL_07c_反常推理.md](SKILL_07c_反常推理.md) | **异常检测器**：批量扫描识别违反常识/制度的单条事实，输出研究线索清单 |
| 07d | [SKILL_07d_溯源推理.md](SKILL_07d_溯源推理.md) | 史源溯源与传播链推理（太史公怎么知道的？） |
| 07e | [SKILL_07e_真实性推理.md](SKILL_07e_真实性推理.md) | **深度分析器**：运用七大推理方法（医学/法律/动机/逻辑/沉默证据等）进行可信度评估与真伪判断 |

**07c与07e的关系**：
```
SKILL_07c (反常推理) → 批量扫描全书 → 输出异常清单 → SKILL_07e (真实性推理) → 深度分析重大疑案 → 输出可信度评级
```

---

## 二、矛盾检测

### 2.1 矛盾类型

| 类型 | 定义 | 示例 |
|------|------|------|
| **DATE** | 同一事件记载不同时间 | 陈涉起义：七月 vs 秋（007/008） |
| **DETAIL** | 同一事件的数量/地点/参与者不一致 | 东城斩首：数十百人 vs 八万（007/008） |
| **ATTRIBUTION** | 责任/功劳归属不同 | 函谷关：关守卒 vs 沛公守关（007/008） |
| **SEQUENCE** | 事件顺序或因果链不一致 | 下宫之难：前583年 vs 前597年（039/043） |

### 2.2 检测流程

```
事件索引A + 事件索引B
    ↓ 事件对齐（公元纪年 + 实体共现 + 关键词匹配）
重叠事件对列表
    ↓ 逐维度对比（时间/地点/人物/数量/归因/顺序）
差异列表
    ↓ 分类（真矛盾 vs 视角差异 vs 详略不同）
矛盾报告
```

### 2.3 可自动化的检测规则

| 规则 | 方法 | 精度 |
|------|------|------|
| 日期矛盾 | 同一事件公元纪年不一致 | 高 |
| 数量矛盾 | 同一事件数字差异>10倍 | 高 |
| 人物矛盾 | 同一事件参与者集合不一致 | 中 |
| 地点矛盾 | 同一事件发生地不一致 | 中 |

### 2.4 需LLM判断的检测

- 归因矛盾：需理解叙事语境才能判断
- 视角 vs 矛盾：需判断详略不同是否构成事实矛盾
- 因果链矛盾：需追踪多个事件的前后关系

### 2.5 已完成实验

| 实验 | 章节对 | 重叠事件 | 矛盾数 | 核心发现 |
|------|--------|---------|--------|---------|
| [007 vs 008](../labs/contradiction_007_008.md) | 项羽本纪 vs 高祖本纪 | 15 | 4 | 东城斩首数（百 vs 八万）、函谷关归因 |
| [039 vs 043](../labs/contradiction_039_043.md) | 晋世家 vs 赵世家 | 10 | 1 | 下宫之难日期（前597 vs 前583，差14年） |
| [086 vs 006](../labs/contradiction_086_006.md) | 刺客列传 vs 秦始皇本纪 | 3 | 1 | 太子丹之死（前222 vs 前226，差4年） |

---

## 三、洞见挖掘

### 3.1 研究方法参考

李开元《秦崩》《楚亡》《汉兴》三部曲的研究方法可作为洞见挖掘的范式：

| 方法 | 说明 | 可机器化程度 |
|------|------|-------------|
| **交叉验证** | 将同一事件在不同章节的记载交叉比对，拼合完整图景 | 高（事件对齐已可自动化） |
| **沉默证据** | 关注《史记》没有记载的事情——为什么不记？谁被遗忘了？ | 中（需LLM推理） |
| **反常检测** | 寻找不合常理的记载——违反常识、逻辑矛盾、前后不一 | 中（规则+LLM） |
| **补白推理** | 从已知事实推断缺失的环节——A到C之间必然有B | 中（需领域知识） |
| **动机分析** | 分析人物行为背后的利益驱动——谁得利？谁受损？ | 低（需深度理解） |
| **制度推理** | 从制度规则推断具体事件——封侯规则、继承规则 | 高（规则明确） |

### 3.2 可挖掘的洞见类型

| 类型 | 示例 | 数据源 |
|------|------|--------|
| **时间线空白** | 某人物在某年段完全无记载，之前之后都有 | 事件索引+公元纪年 |
| **异常关系** | 应有父子/君臣关系但缺失 | 关系网络+本体 |
| **统计异常** | 某章节实体密度/事件密度异常高或低 | 文本统计 |
| **地理矛盾** | 同一时间出现在两个不可能同时到达的地点 | 事件+地名+时间 |
| **制度违反** | 行为违反当时已知的制度规则 | 制度本体+事件 |
| **传承断裂** | 世系/官职传承链中断 | 家谱+官职关系 |

### 3.3 沉默证据检测方法

**核心思路**：本体定义了"应有"的关系，知识图谱记录了"实有"的关系。两者之差就是"沉默证据"。

**自动检测方法**：
1. 从本体获取规则（如：君主应有配偶关系）
2. 从关系图谱获取实际记录的关系
3. 差集 = 应有但缺失的关系 = **候选洞见**
4. LLM评估候选洞见的研究价值

**缺失模式分类**：

| 缺失类型 | 检测规则 | 自动化 |
|---------|---------|--------|
| **配偶缺失** | 君主无王后记载 | 本体差集 |
| **死因缺失** | 重要人物无死亡记载 | 事件索引检查 |
| **动机缺失** | 重大决策无理由说明 | LLM判断 |
| **后续缺失** | 事件有开始无结果 | 事件链断裂检测 |
| **世系断裂** | 父子链突然中断 | 家谱完整性检查 |
| **地理跳跃** | 人物突然出现在远方 | 时间+地点一致性 |
| **年龄矛盾** | 生育年龄/兄弟年龄差异常 | 生卒年+亲属关系计算 |

具体案例见 [doc/analysis/推理案例集.md](../doc/analysis/推理案例集.md)（秦始皇无皇后、刘邦年龄矛盾等）。

### 3.4 自动化洞见发现流程

```
结构化数据（实体+事件+关系+本体）
    ↓ 规则检测（时间线空白/关系缺失/统计异常）
候选洞见列表
    ↓ LLM评估（是否有历史意义？是否可能有合理解释？）
有意义的洞见
    ↓ 生成研究问题（"为什么X在Y年之后再无记载？"）
研究线索报告
```

---

## 四、基础推理能力

### 4.1 本体推理

X是Y的子类 → X的实例也是Y的实例

### 4.2 时间推理

A在B之前 + B在C之前 → A在C之前；人物死亡后不可能参与后续事件

### 4.3 关系推理

A是B之父 + B是C之父 → A是C之祖父；生育年龄异常 → 亲属关系存疑

### 4.4 地理推理

同一人同日出现在相距千里的两地 → 记载有误或为不同人

---

## 五、与其他工序的关系

| 上游 | 本工序 | 下游 |
|------|--------|------|
| 04 事件构建（事件+纪年） | 矛盾检测（跨章事件对比） | 09 应用（矛盾可视化） |
| 05 关系构建（实体关系网络） | 洞见挖掘（缺失关系/异常模式） | 08 SKU（研究洞见→知识单元） |
| 06 本体构建（分类体系） | 本体推理+制度推理 | 学术研究（论文素材） |

---

## 六、研究模式挖掘方法论

### 6.1 从研究著作中提取推理模式

用 `pdf2skills` 工具链处理历史研究书籍，自动提取其中的研究模式和推理方法，反哺矛盾检测和洞见挖掘的规则库。

```
研究书籍（PDF/EPUB）
    ↓ pdf2skills 提取
研究模式清单（每个模式：前提→推理→结论）
    ↓ 归类
矛盾检测规则 / 洞见挖掘模板
    ↓ 编码为自动化规则或LLM提示词
SKILL_07 规则库扩展
```

### 6.2 候选书目

| 书名 | 作者 | 可提取的研究模式 |
|------|------|----------------|
| 《秦崩》 | 李开元 | 交叉验证、沉默证据、人物行踪重建 |
| 《楚亡》 | 李开元 | 动机分析、多源拼图、制度推理 |
| 《汉兴》 | 李开元 | 补白推理、反常检测、时间线重建 |
| 《秦谜》 | 李开元 | 缺失证据分析（秦始皇皇后、身世） |
| 《史记的读法》 | 杨照 | 叙事结构分析、互见法解读 |
| 《中国历史研究法》 | 梁启超 | 史料鉴别、考证方法论 |
| 《二十史朔闰表》 | 陈垣 | 历法换算、日期验证 |

### 6.3 提取目标

从每本书中提取：

1. **推理模式**：作者如何从已知事实推导出新结论
   - 前提条件（需要哪些数据）
   - 推理逻辑（什么规则）
   - 结论类型（发现了什么）

2. **检测规则**：可编码为自动化检测的规则（如人物年龄一致性检测）

具体案例见 [doc/analysis/推理案例集.md](../doc/analysis/推理案例集.md)

3. **提问模板**：将学者的研究问题抽象为可复用的模板
   - 例："为什么《史记》对X事件的记载在Y章和Z章中不一致？" → 模板化为跨章矛盾追问

---

## 七、下一步

- [ ] 编写自动化事件对齐脚本（基于公元纪年+实体共现）
- [ ] 扩展矛盾检测到更多章节对（如031吴太伯世家 vs 039晋世家）
- [ ] 实现时间线空白检测（人物消失期）
- [ ] 实现地理矛盾检测（同时出现在两地）
- [ ] 基于李开元方法论设计"沉默证据"发现提示词