张钹等: 迈向第三代人工智能 解决范围广泛的现实问题. 由于通用方法是一种弱方法, 实际上只能解决 "玩具世界" 中的简单问题, 如机器人摆放积木, 下简单的井字棋 (tic-tac-toe) 等, 与解决复杂现实问题相差很远. 寻求通用 AI 的 努力遭到了失败, 符号 AI 于 20 世纪 70 年代初跌入低谷. 幸运的是, 斯坦福大学教授费根堡姆 (E. A. Feigenbaum) 等及时改变了思路, 认为知识, 特别是特定领域的知识才是人类智能的基础, 提出知识工 程 (knowledge engineering) 与专家系统 (expert systems) 等一系列强 AI 方法, 给符号 AI 带来了希望. 他们开发了专家系统 DENDRAL (有机化学结构分析系统, 1965∼1975) [6] , 随后其他学者相继开发了 MYCIN (血液传染病诊断和抗菌素处方, 1971∼1977) [7] , XCON (计算机硬件组合系统) 等. 不过早期 的专家系统规模都较小, 难以实用. 直到 1997 年 5 月 IBM 的深蓝 (deep blue) 国际象棋程序打败世 界冠军卡斯帕诺夫 (Kasparov), 符号 AI 才真正解决大规模复杂系统的开发问题. 费根堡姆和雷蒂 (R. Raddy) 作为设计与构造大型人工智能系统的先驱, 共同获得 1994 年 ACM 图灵奖. 符号 AI 同样可以应用于机器学习, 把 "机器学习" 看成是基于知识的 (归纳) 推理. 下面以归纳 逻辑编程 (inductive logic programming, ILP) [8] 为例说明符号 AI 的学习机制. 在 ILP 中正负样本 (具 体示例)、背景知识和学习结果 (假设) 都以一阶逻辑子句 (程序)