# 本体论 × AI：关键人物与思想流派

## 形式本体论

| 人物 | 贡献 | 关注理由 |
|------|------|---------|
| **Nicola Guarino** | DOLCE 顶层本体、形式本体论奠基 | 定义了"本体论在信息系统中的角色" |
| **Barry Smith** | BFO（Basic Formal Ontology）、OBO Foundry | 最广泛使用的顶层本体，生物医学标准 |
| **Giancarlo Guizzardi** | UFO（Unified Foundational Ontology）、OntoUML | 将本体论与 UML 建模结合 |
| **Tom Gruber** | "本体是概念化的显式规范"经典定义 | 后来加入 Apple 做 Siri |

## 企业本体论

| 人物 | 贡献 | 关注理由 |
|------|------|---------|
| **Jan Dietz** | DEMO 方法论（企业本体论） | 用交易模式揭示企业本质结构 |
| **Mike Uschold** | 本体工程方法论、企业本体应用 | 实践派，注重方法论落地 |
| **TOGAF / ArchiMate 社区** | 企业架构标准 | 与本体论天然对接 |

## Neuro-Symbolic AI

| 人物 | 贡献 | 关注理由 |
|------|------|---------|
| **Gary Marcus** | *Rebooting AI*、Neuro-Symbolic 倡导者 | 最坚定的"纯 LLM 不够"立场 |
| **Yoshua Bengio** | System 2 Deep Learning | 从纯连接主义转向结构化推理，影响力巨大 |
| **Ian Horrocks** | OWL/Description Logic | 本体推理的形式化基础 |
| **Jian Tang** | KG + LLM 融合 | Mila 实验室，知识图谱与 LLM 结合 |

## LLM + Knowledge 方向

| 人物 | 贡献 | 关注理由 |
|------|------|---------|
| **Jure Leskovec** | 图神经网络、知识图谱推理 | Stanford，图结构 + AI |
| **Michael Witbrock** | Cycorp (Cyc 知识库) | 30 年常识推理积累，LLM 时代重新被关注 |
| **Fabio Petroni** | LAMA probe、知识神经元 | 研究 LLM 内部如何存储知识 |

## 思想流派对比

| 流派 | 核心主张 | 代表 | 对我们的启示 |
|------|---------|------|------------|
| **纯连接主义** | 给足数据和算力，LLM 能解决一切 | 早期 Scaling Law 信徒 | 已被实践证伪（幻觉、不一致） |
| **纯符号主义** | 只有形式化知识才能保证正确性 | 传统 AI、Cyc | 过于僵化，无法处理自然语言 |
| **Neuro-Symbolic** | LLM + 形式推理 = 最佳组合 | Marcus, Bengio | ← 我们认同的方向 |
| **Ontology-First** | 先定义领域结构，再让 AI 在结构内工作 | Guarino, Dietz | ← 我们的立场：骨架先于大脑 |

---
*初始版本: 2026-04-06*
