人工智能与智能进化.pdf

第22卷。第3期科学技术与辩证法Vo1．22NO．3
2005年6月Science。TechnologyandDialecticsjun．。2005

人工智能与智能进化

郝宁湘一，郭贵春
(1．山西大学科学技术哲学研究中心，山西太原030006；2．湛江师范学院政法系，广东湛江524048)

摘要：人工智能最大的意义在于对人类智能的深刻理解和积极影响，尤其是对未来人类智能进化方式的改
变。即人工智能的发展将促使人类智能的进化方式发生进化。
关键词：人工智能；智能进化
中图分类号：N03文献标识码：A文章编号：1003—5680(2005)03—0026—05

在谈到人工智能的重大意义时，人们往往会作这样一个西蒙，一位在现代管理科学和认知科学方面做出重要贡
类比：工业革命解放了人类的四肢，用机器替代了人们繁重献的美国学者。就是他，在拓展其“管理就是决策”的著名思
的体力劳动。极大地促进了人类的社会进步和经济发展。以想时，于50年代初就逐渐明确了决策的本质就是问题求解
计算机和人工智能为代表的智能革命解放的则是人类的大的过程，并认识到，作为问题求解过程的人类思维是一个“符
脑，人工智能在为实现整个人类脑力劳动的机械化、自动化，号操作系统”或“信息加工系统”；研究人类问题求解，也即研
进而也为社会生产力的进步奠定了坚实的技术基础。然而究人类思维这个信息系统，其最好途径便是用计算机去模拟
我们认为，人工智能的重大意义决不只是这一点——把人类它。使计算机模拟人类问题求解的过程，也就是使之具有人
从复杂的脑力劳动中解放出来；人工智能更大的意义在于对类的智能，这就是人工智能的研究。1955年12月5日，西蒙
人类智能的深刻理解和积极影响，尤其是对未来人类智能进给出了罗素和怀特海的《数学原理》中漏掉证明的定理2．15
化方式的改变，即人工智能的发展将促使人类智能的进化方的证明流程图。他把这一天看作是计算机人工智能的诞辰。
式发生进化。又经过半年的努力，西蒙等人用自己制定的信息加工语言把
上述流程图描述为计算机的程序，于1956年8月由计算机
一人工智能的产生及其重大意义
执行，成功地完成了这条定理的证明。同时还证明了其他38
制造和使用一种能够代替人脑从事复杂智力活动的机条定理，开创了利用计算机研究人类思维活动规律的工作。
器，是人类长期以来的愿望。由于20世纪数理逻辑等学科这一天正式标志着人工智能的诞生。
的迅速发展，终于在1945年研制成功了人类第一台电子计如今，人工智能有了蓬勃的发展，专家系统、智能决策、
算机。从而揭开了用机器替代人脑从事脑力劳动的历史序智能机器人、自然语言理解，以及机器学习、机器发现、机器
幕，尽管开始时计算机只能替人们做一些很肤浅的加减乘证明等方面的成就均显示了人工智能的巨大威力。这些都
除。然而，计算机在本质上就是要模拟人脑的行为和功能，是人们津津乐道的事。比如自动化推理及机器定理证明。
使计算机成为人脑的延伸。而对于人脑的行为和功能的模证明定理是人类特殊的智能行为，不仅需要根据假设进行逻
拟，主要就是模拟人的思维、认知过程。正是基于计算机科辑演绎，而且需要某些直觉技巧。机器定理证明就是把人证
学所追求的这个目标，它才在模拟人脑的思维、认知过程中，明定理的过程通过一套符号体系加以形式化，变成一系列能
无论从广度还是深度方面讲，都有了长足的发展。在计算机上自动实现的符号演算过程，也就是把具有智能特

【收稿日期】2004—06—15
【基金项目】教育部人文社会科学研究项目“机器证明的认识论意蕴”(项目编号：02JAZJD720024)资助
【作者简介】郝宁湘(1963一)，男，山西大学科学技术哲学研究中心博士生、湛江师范学院政法系教授，研究方向为数学哲
学、计算哲学；
郭贵春(1952一)，男，山西大学校长、教授、博士生导师，研究方向为科学哲学。

26

点的推理演绎过程机械化。中国科学院的吴文俊教授提出命是对大脑的替代，尽管这也是一次进步，甚至是更大意义
的平面几何及微分几何的判定法，就得到了国内外高度评上的进步，但任何进步都是要付出代价的，这次进步的代价
价。1983年，全美定理机器证明学术会议在美国的科罗拉多就是人类智能的退化。这是大脑被逐步替代的必然结果。

州举行，一位由中国大陆赴美求学的青年学者周咸青，在会一种器官一旦成为多余物，退化是它必然的结果。这是生物
议上作了题为《用吴方法证明几何定理》的报告。他用自己学告诉我们的道理。【J不过，我们目前对自己几年前的这一
所写的通用程序在计算机上自动地证明了512条不平凡的认识有了一个重大的修正，因为当时我们没有看到人工智能
几何定理，而且证明每条定理所用的机器时间一般只有几秒对人类智能进化可能存在的积极影响，而是只看到了它对人