不能不说的图灵测试
1945年,技术史上划时代的天才,阿兰·图灵提出了所谓的“仿真系统”,他写了一份详细的文件,想制造一种没有固定的指令系统的计算机。它能模拟各种不同指令系统的计算机的函数。
这份文件公布于1972年,此时大家才知道:图灵在二战结束时就开启了后来被称为“人工智能”领域的研究,而且他已经开始注意人的神经网络和计算机器可能的联系。
1950年,图灵来到曼彻斯特大学任教,并负责曼大的自动计算机项目。就在1950年10月,他发表了另一篇题为《机器能思考吗?》的论文,成为划时代之作。也正是这篇文章,为图灵赢得了“人工智能之父”的不朽名誉。
机器学习也突飞猛进;达特茅斯会议上,阿瑟·萨缪尔公开了一个跳棋程序,它具有自学习函数,可以不断总结经验提高水平。1959年,该跳棋程序打败了设计者萨缪尔本人,3年后,它已经可以击败美国一个州的跳棋冠军。
1956年,奥利弗·萨尔夫瑞德研制出首个字符识别程序,开辟了模式识别这一新的领域。1957年,纽厄尔和西蒙等开始研究一种不依赖于具体领域的“通用问题求解器”。1963年,詹姆斯·斯拉格发表了符号积分程序SAINT,输入一个函数的表达式,该程序就能自动输出这个函数的积分表达式。过了4年后,他们研制出了升级版SIN,已可表现出专家水准。
挫折后转向机器学习
一开始人工智能就显现出光明前景,学者们没有理由不乐观。1958年,纽厄尔和西蒙自信地说,不出10年,计算机将会成为世界象棋冠军,证明重要的数学定理,谱出优美的音乐。照这样的速度发展下去,2000年人工智能就能超过人类。
可事实没那么简单。1965年,机器定理证明遇到瓶颈:计算机推了数十万步也无法证明两个连续函数之和仍是连续函数。萨缪尔的跳棋程序也无法进一步战胜世界冠军。
1960年代计算机技术爆发时,大家估计人工智能不超过十年就能实现。但后来人工智能技术的发展之难,让很多科学家放弃了这个领域。后来学界也将人工智能分为两种:难以实现的强人工智能和可以尝试的弱人工智能。