那些青史留名的AI和AI学家

  次阅读 作者:智能小宝 来源:互联网 2016-03-17 09:22 我要评论(0)

文·本报记者 高 博 综合报道

由于4∶1大胜人类围棋冠军,一个名叫“阿尔法狗”的AI(人工智能)红了。在阿尔法狗之前,它的许多前辈也曾红极一时,深蓝、尤金……每一次AI的进步都会同时引发一轮热潮,我们应该记住它们和它们的缔造者——

随着阿尔法狗(AlphaGo)战胜李世石,人工智能的发展又引起了全世界的兴趣。其实,人们自古就幻想着智慧的机器。中国古籍记载,周穆王去西边的昆仑山旅游,碰到一个工匠叫偃师的,能造出跟人一模一样的假人,能跳舞唱歌,还对周穆王的爱妃暗送秋波。惹得穆王大怒,要处死偃师。偃师急忙扯掉假人的头,原来里面是机器。

如今大家对人工智能的印象,跟周穆王差不多:有时几乎被它蒙骗,但下一个时刻它又现出原形。即使许多最聪明的头脑投入这项事业,人工智能的“奇点”仍未到来。

不能不说的图灵测试

1945年,技术史上划时代的天才,阿兰·图灵提出了所谓的“仿真系统”,他写了一份详细的文件,想制造一种没有固定的指令系统的计算机。它能模拟各种不同指令系统的计算机的函数。

这份文件公布于1972年,此时大家才知道:图灵在二战结束时就开启了后来被称为“人工智能”领域的研究,而且他已经开始注意人的神经网络和计算机器可能的联系。

1950年,图灵来到曼彻斯特大学任教,并负责曼大的自动计算机项目。就在1950年10月,他发表了另一篇题为《机器能思考吗?》 的论文,成为划时代之作。也正是这篇文章,为图灵赢得了“人工智能之父”的不朽名誉。

这篇论文里,图灵第一次提出了“机器思维”。他有条理地反驳机器不能思维的看法。他还把对机器智能的判断变成一个行为主义范畴的问题。

图灵给出了后来人工智能领域的金标准——一个人如果不是面对面地交流,而是隔着一道帷幕,和对方进行问答,而且在相当长时间内,无法根据这些问题判断对方是人还是计算机,那么就可以认为这个计算机具有同人相当的智力。这就是著名的“图灵测试”(Turing Testing)。图灵说,只要有30%的人类测试者在5分钟内无法分辨出被测试对象,就可以认为机器通过了图灵测试。

虽然计算机当时刚刚发明,还远达不到能跟人对话的程度,但图灵预言,20世纪末会有电脑通过“图灵测试”。他的预言在IBM的深蓝身上部分实现。不过,卡斯帕罗夫和深蓝是通过棋局切磋,而不是言语交流。能够跟人长时间无限制地交流而不被辨认出来的电脑,仍然未有,这一点上图灵太乐观了。

2014年6月12日,一个名为“尤金·古斯特曼”的聊天程序成功地在5分钟内蒙骗了30%的人类测试者,被认为通过了图灵测试。但也有人反驳说,这个聊天机器人自称只有13岁,并使用第二语言来回答问题,因此它模仿的不应该是图灵所想的那种正常智人。

群星辈出的短暂黄金期

1956年8月,在美国汉诺斯小镇的达特茅斯学院,约翰·麦卡锡、马文·闵斯基、克劳德·香农、艾伦·纽厄尔、赫伯特·西蒙等人发起了第一次用机器模拟人的智力的大讨论。这些名字后来在学界都是响当当的。

会议开了两个月,没有共识,但会议讨论的内容有了一个名字:人工智能。所以也有人把1956年看作是人工智能元年。之后,随着大批智者扑向这一新领域,人工智能像喷气式飞机一样骤然升空。

一开始,有人用计算机程序代替人类进行自动推理来证明了数学定理。在达特茅斯会议上,纽厄尔和西蒙展示了他们的程序:“逻辑理论家”可以独立证明出《数学原理》第二章的38条定理;1963年,它已证明该章的全部52条定理。

1958年,美籍华人王浩在IBM704计算机上,5分钟之内就证明了《数学原理》中有关命题演算部分的全部220条定理。IBM公司还研制出了平面几何的定理证明程序。

1976年,凯尼斯·阿佩尔和沃夫冈·哈肯等人利用人工和计算机混合的方式证明了一个著名的数学猜想:四色定理——“任意一张区域划分的地图,仅用四种颜色就可以染色该地图,使任意两个相邻的国家不会撞色;这个定理之前被经验肯定,但人们不知如何从公理上证明。两位研究者把这个定理化作几千种不同的特例,然后用计算机的穷举能力,一个一个证明了。但这种借助计算机蛮力的办法,至今被许多数学家认为不算是真正的证明。

机器学习也突飞猛进;达特茅斯会议上,阿瑟·萨缪尔公开了一个跳棋程序,它具有自学习函数,可以不断总结经验提高水平。1959年,该跳棋程序打败了设计者萨缪尔本人,3年后,它已经可以击败美国一个州的跳棋冠军。

1956年,奥利弗·萨尔夫瑞德研制出首个字符识别程序,开辟了模式识别这一新的领域。1957年,纽厄尔和西蒙等开始研究一种不依赖于具体领域的“通用问题求解器”。1963年,詹姆斯·斯拉格发表了符号积分程序SAINT,输入一个函数的表达式,该程序就能自动输出这个函数的积分表达式。过了4年后,他们研制出了升级版SIN,已可表现出专家水准。

挫折后转向机器学习

一开始人工智能就显现出光明前景,学者们没有理由不乐观。1958年,纽厄尔和西蒙自信地说,不出10年,计算机将会成为世界象棋冠军,证明重要的数学定理,谱出优美的音乐。照这样的速度发展下去,2000年人工智能就能超过人类。

可事实没那么简单。1965年,机器定理证明遇到瓶颈:计算机推了数十万步也无法证明两个连续函数之和仍是连续函数。萨缪尔的跳棋程序也无法进一步战胜世界冠军。

本站文章信息来源于网络以及网友投稿,本站只负责对文章进行整理、排版、编辑,是出于传递更多信息之目的,并不意味着赞同其观点或证实其内容的真实性。如果您有什么意见或建议,请联系QQ28-1688-302!

人工智能实验室
相关文章相关文章
  • Pokemon Go之后 AR的下一个爆款何时到来?

    Pokemon Go之后 AR的下一个爆款何时到来?

  • 哈佛大学用六种“油墨”3D打印出心脏芯片

    哈佛大学用六种“油墨”3D打印出心脏芯片

  • 在美扩张受阻?Line的未来是AI和聊天机器人

    在美扩张受阻?Line的未来是AI和聊天机器人

  • 仅20人的Baobab是如何打造VR影视故事的?

    仅20人的Baobab是如何打造VR影视故事的?

网友点评网友点评
阅读推荐阅读推荐

据国外媒体报道,在过去两年内,聊天机器人(chatbot)、人工智能以及机器学习的研发和采用取得了巨大进展。许多初创公司正利用人工智能和...

霍金 视觉中国 图 英国著名物理学家霍金(Stephen Hawking)再次就人工智能(AI)发声,他认为:对于人类来说,强大AI的出现可能是最美妙的...

文|郑娟娟 今年,人工智能(AI) 60岁了。在AI60岁的时候,笔者想要介绍一下AI100,一个刚刚2岁的研究项目,但它的预设寿命是100年,甚至更长...

AlphaGo与李世石的人机大战,为大众迅速普及了人工智能的概念。 但对谷歌而言,除了下围棋,现在的人工智能进展到哪一步了?未来,人工智能...