符号人工智能 产品

逻辑理论家是 1956 年 Newell、Simon 与 Shaw 完成的程序，被视为第一个自动推理程序，证明了《数学原理》的数十条定理，并引入启发式与推理即搜索等概念。

LISP 是约翰·麦卡锡 1958 年在麻省理工学院开始设计的编程语言，程序本身即由列表构成。它成为早期人工智能研究常用的语言，并引入了自动垃圾回收。

DENDRAL 是斯坦福大学 1964 年启动的人工智能项目，用质谱数据和化学知识推断未知有机分子的结构，通常被称为第一个专家系统，后来的 MYCIN、PROSPECTOR 等都源于它。

MYCIN 是 20 世纪 70 年代在斯坦福大学开发的早期专家系统，用于判断造成严重感染的细菌并推荐抗生素治疗，以规则库与推理机分离、能解释自身推理而著称。

通用问题求解器是兰德公司为「通用求解机器」这一目标所做的程序，被认为是第一个把问题知识与通用求解策略分开的计算机程序。

Arthur Samuel 在 IBM 开发的跳棋程序，1949 年着手、1959 年发表，靠记忆已见局面、自我对弈和局面评分来学习，达到了相当不错的业余水平。

ELIZA 是20世纪60年代中期在 MIT 开发的早期对话程序。它的 DOCTOR 脚本模仿心理治疗师，用户容易误以为它真的听懂了，此即「ELIZA 效应」。

SHRDLU 是 Terry Winograd 于 1968—1970 年在 MIT 开发的早期自然语言理解程序，能就一个积木世界用英语对话、执行指令并回答问题，其演示影响深远。

R1（DEC 内部称 XCON，即「专家配置器」）是 1978 年用 OPS5 写成的基于规则的专家系统，能按客户需求为 VAX 计算机系统自动选配部件，1980 年起在 DEC 工厂投入使用。

Cyc 是由 Douglas Lenat 于 1984 年发起的手工构建的常识知识库，试图把关于世界如何运转的基本概念和规则完整地写成机器可读的形式。

CALO 是 SRI 于 2003 年启动的认知助手项目，属于 DARPA 一项为期五年、投入 1.5 亿美元的计划，目标是让助手通过观察和推理学习，而非按固定动作预先编程。它后来成为 Siri 的技术来源之一。

Chinook 是由 Jonathan Schaeffer 及其同事开发的西洋跳棋计算机程序 [^1]。它成为首个在任何游戏中赢得人类世界冠军的计算机程序，完成后的版本无法被击败 [^1]。