日本第五代计算机项目
日本启动第五代计算机系统项目，投资巨额研发智能计算机，引发全球 AI 竞赛。
事件概述
1980年，日本通产省（MITI）宣布启动第五代计算机系统（FGCS）项目，计划在十年内投资约4亿美元开发能够理解自然语言、进行推理和学习的智能计算机。项目以逻辑编程为核心，采用 Prolog 作为主要语言，目标是构建并行处理的知识处理系统。这一项目引发了美国和欧洲的强烈反应：美国启动了微电子与计算机技术公司（MCC）等应对项目，英国则推出了 Alvey 计划。虽然第五代计算机项目最终未能实现其宏大目标，但它重新点燃了全球对 AI 的兴趣，推动了并行计算和逻辑编程技术的发展。
深度学习笔记
背景、原理、影响与要点，一次读懂这个事件
背景与脉络
1978 年，日本通产省（MITI）酝酿了一个雄心勃勃的计划：用十年时间研制「第五代计算机」，让机器具备理解自然语言、知识表示与推理、学习的能力。1981 年项目正式启动，由日本新一代计算机技术研究所（ICOT）牵头，总投资约 540 亿日元，以太重郎（Kazuhiro Fuchi）为所长。项目选定逻辑程序语言 Prolog 作为机器语言，研制 KL1 与并行推理机（PIM），试图用逻辑编程的统一框架同时支持演绎、知识库与并发。这一计划震动了欧美：美国组建了 MCC 联盟，英国推出 Alvey 计划，欧共体启动 ESPRIT，全球进入新一轮 AI 与信息技术竞赛。
核心要点
- 1日本通产省 1981 年启动、历时约十年的国家计算机研发计划，由 ICOT 实施。
- 2以逻辑编程（Prolog/KL1）统一表达知识、推理与并行，而非传统冯·诺依曼架构。
- 3研制了并行推理机 PIM 与操作系统、知识库管理等一整套软件栈。
- 4引发美国 MCC、英国 Alvey、欧共体 ESPRIT 等应对计划，重塑全球 AI 格局。
- 5最终未达成「通用智能机」目标，但留下了并行逻辑编程与知识处理的遗产。
原理与技术细节
第五代计划的技术核心是「用逻辑即程序」。Prolog 程序由事实与霍恩子句规则组成，执行即定理证明：求解目标时通过合一与回溯搜索证明路径。ICOT 在其基础上设计了 KL1，重写为面向并行执行的形式，并引入流合一（stream communication）与 guard 条件来控制并行性。硬件上研制了 PIM：多处理机通过网络连接，每个节点运行一个推理内核，通过共享内存或消息传递协同搜索证明树，期望用并行度抵消逻辑编程的低效。系统还包含 Delta 知识库机器与 SIM 解释执行引擎。问题在于：逻辑编程的表达力受限于霍恩子句，常识与不确定性难以刻画；并行推理的粒度开销大，实测加速远低于预期；而同期崛起的专家系统与统计方法走的是更务实的路线。
影响与后续
第五代计算机计划常被同时记为「壮丽的失败」与「重要的成功」。失败在于：逻辑编程未能兑现通用智能的承诺，项目 1992 年结束后没有产生预期的产业变革，「五代机」一词甚至带上了负面色彩。成功在于：它把知识处理、并行体系结构与自然语言研究推上了国家议程，锻炼了一代日本 AI 研究者，其并行 Prolog 实现（如 KL1 的后续影响）与知识库思想渗透到数据库与并发编程研究中。更深层的影响是地缘政治：它直接刺激了美国 MCC 与欧洲 ESPRIT 等国家级计划，让「AI 竞争力」第一次成为产业政策议题，这一逻辑延续至今。
学习要点
- 选定单一范式（逻辑编程）承载全部智能目标，是技术路线上的过度集中。
- 并行能加速搜索，但改变不了问题本身的表达力与搜索复杂度。
- 国家竞争可以快速催生产能与研究热度，但不保证技术判断正确。
- 评价一个失败的计划，也要看它培养的人与扩散的思想。
术语表
以逻辑子句描述问题、以定理证明方式求解的编程范式，Prolog 是其代表语言。
通过变量绑定使两个逻辑表达式相等的匹配过程，是 Prolog 推理的基本运算。
第五代计划研制的多处理机系统，用并行搜索加速逻辑程序的证明过程。