AI发展史-符号主义的黄金十年：从逻辑理论家到通用问题求解器.docxVIP

PAGE

PAGE1/NUMPAGES4

AI发展史·符号主义的黄金十年：从逻辑理论家到通用问题求解器

引言：当符号开始思考

1956年达特茅斯会议的落幕，并未让那个夏天的热情消散。相反，一场雄心勃勃的科学远征就此拉开序幕。纽厄尔与西蒙在会议上演示的“逻辑理论家”，犹如投掷在认知科学湖面上的第一块巨石，激起的涟漪迅速扩展为一个完整的研究纲领——符号主义。从1956年到1960年代中期，以符号操作为核心的人工智能研究迎来了第一个黄金时代。在这近十年间，研究者们相信智能的本质已被捕捉：无非是符号的存储、变换与搜索。这一信念支撑他们从定理证明走向了更宏大的目标——建造一个“通用问题求解器”，一个能解决任何可形式化问题的万用机器。本文将深度剖析这段波澜壮阔的思想历程，并审视其核心假说与历史局限。

一、逻辑理论家：让机器读懂《数学原理》

1.从人脑推理到机器程序

1955年末，纽厄尔和西蒙在兰德公司的研究有了质的突破。当时西蒙已是认知心理学和政治学的大家，纽厄尔则是冉冉升起的计算新星。两人共同思考一个根本问题：人类在解决数学问题时，脑子里究竟发生了什么？他们不满足于心理学教科书上的模糊描述，而是试图用精确到每一步的算法来模拟推理过程。

为此，他们发明了IPL（信息处理语言），这是世界上最早的列表处理语言之一，专门为处理符号而设计，而非为了数值计算。在此基础上，他