**约翰·麦卡锡：人工智能、逻辑与常识的形式化**

_Artificial Intelligence, Logic and Formalizing Common Sense (John McCarthy)_

> 斯坦福大学约翰·麦卡锡于1990年发表的经典论文，探讨人工智能中非单调推理的形式化方法、常识的表示难题，以及知识、信念与语境处理的三种路径，对AI逻辑基础具有深远影响。

**来源信息**
- **来源**：Hacker News：AI 热帖
- **分类**：论文
- **发布时间**：2026-08-07 21:05（北京时间）
- **原文**：[打开原文](https://www-formal.stanford.edu/jmc/ailogic/ailogic.html)