科学网

 找回密码
  注册

tag 标签: 人工智能可能性

相关帖子

版块 作者 回复/查看 最后发表

没有相关内容

相关日志

电脑人心 之 计算机能思维吗?(一)图灵同志生平
热度 1 luocun 2010-9-14 11:33
回到咱们的电脑人心?专题。先来看看计算机能思维吗?这一问题的辩论。正方是阿兰图灵。反方共有10路纵队。咱们先从介绍正方选手的生平开始。 (1)图灵同志生平 在前面的历史简述里,我们已经提到了AI这娃的爸爸阿兰图灵同志。 阿兰图灵1912年6月23日出生于英国帕丁顿。他的父亲朱利叶斯图灵毕业于剑桥大学,是大英帝国在印度殖民地的文职官员,供职于印度东南孟加拉湾边上的马德拉斯(现在叫清奈)地区。母亲萨拉是移民爱尔兰的英国人的后代,家里多出工程师,她的父亲当时是马德拉斯铁路系统的总工。图灵祖辈曾经有人在印度发迹,并获得爵士称号。图灵的祖父早死,留下一大家子,儿子们继续为大英帝国的建设效力。图灵的大伯在印度从军,1899年在现在巴基斯坦的西北边疆省中埋伏被打死。图灵生于1914年爆发的第一次世界大战之前两年,死于1945年结束的第二次世界大战之后9年,而大英帝国正是通过两次大战而迅速走向衰落的。图灵可以说是日渐衰落的大英帝国的孩子。 图灵有个大他四岁的哥哥,出生在印度。图灵是在印度怀上的,不过朱利叶斯爸爸安排了全家回英国休假,所以图灵生在了英国。图灵9个月时,父亲就回印度去了,1岁3个月时,母亲也回去了。作为留守儿童,图灵由寄养家庭的爷爷奶奶带大,10岁前,大概一半多的时间父母都不在身边。他从小很招人喜欢,很淘气,也很聪明,自己用了三个星期,照着一本《不哭鼻子也能读书》教会了自己阅读。不过,9岁的时候,母亲从印度回来,发现开朗活泼,乐于社交的小图灵变得木讷、不合群了。 小学毕业之后,图灵上的是雪伯恩公立中学(Sherborne public school)。在英国当时的教育系统里面,公立中学大致是培养中规中矩的有文化、有纪律、有道德的帝国建设者,管教是相当严格的,不过还是有一定的空间,尤其是图灵上的雪伯恩公立中学,在数学和科学的学习上还是有一定的条件的。图灵上学期间,用很多时间学习数学和科学,不是很合群但也不添麻烦吧。他虽然手不是很巧,但是喜欢做各种东西,喜欢地图,喜欢远足,擅长长跑,有着在沙漠荒岛如何生存的最简主义思维方式。用他自己13岁时候在一封信里的话来讲,我似乎总是想以最节能的方式,用自然界里最平常的东西来造各种东西。 删繁就简,可以说是他一贯的思维特点。 图灵从小就对心灵问题感兴趣。高中的时候结识了同校一位叫做克里斯托弗莫科姆。莫科姆比图灵高一个年级,家境宽裕,有自己的天文观察台和化学实验室,在他的影响下,图灵对天文和化学发生了浓厚兴趣。1929年底图灵和克里斯托弗一起参加了剑桥大学三一学院的奖学金考试,克里斯托弗被录取。可是,两个月之后,莫科姆就因为结核病发作而死。莫科姆可以说是图灵同志的初恋吧,他的去世给图灵很大打击,促使他思考灵魂的问题,追问永恒的可能性。 1931年,图灵进入剑桥大学国王学院。当时的国王学院,有思想开明的凯恩斯任校长,有著名数学家哈代同志任教,思想活跃,气氛宽松,这很适合于在社交上很笨拙的图灵,也使得他逐渐觉醒的同性恋意识没有受到额外的压制。在剑桥期间,图灵专攻数学,成绩优异。1935年,图灵听了数学家纽曼(M.H.A. Newman)的数学基础(Foundations of Mathematics)讲座,接触了希尔伯特的判定问题。图灵听到之后,就开始攻这个问题。在一年左右的时间里,就搞通了,并完成了它的经典论文《论可计算数及其在判定问题上的一个应用》。在论文中,图灵提出了后来叫做图灵机的一种机器模型,用于模拟一切算术操作。虽然,图灵不是第一个阐明判定问题不可解的数学家──他当时并不知道阿伦佐丘奇比他早一年以另一种等价的方式解决了这个问题,但是图灵机的直观性,其明确的机械性,使得大家对他的构造很认同。图灵机及其各种变形,今天仍然在理论计算机科学里广泛使用。 从剑桥毕业之后,图灵赴美国普林斯顿留学,并于1938年在丘奇指导下取得博士学位。当时,普林斯顿想挽留他继续在学术界发展,但是图灵选择了回国,并在二战前返回了英国。在二战爆发后,图灵加入了政府密码学校(GCCS, Government Code and Cipher School),从事破译谜团密码的工作。谜团系统是整个二战期间德军使用的密码系统。在波兰人的先驱工作的基础上,图灵为破译谜团密码做了奠基性的工作,后来又负责GCCS的大西洋室的工作。当时,英国沦为孤岛,后勤接济全靠海运,尤其是经由北大西洋来自美国的海运。然而,德国潜艇肆虐其间,击沉大量商船,曾经数度击沉船舶吨位的速度超过英美制造的速度。谜团密码之后破译,使得英国能够非常有效地定位并攻击德国潜艇,同时引导船队避开。可以说,图灵自己和同事们的工作对扭转大西洋战场的战局,起了非常关键的作用。 在GCCS工作期间,图灵曾与同事琼克拉克短暂订婚,后来面对自己是同性恋这一事实,图灵取消了婚约。 战后,图灵在1945年到1948年期间,在国家物理实验室工作,负责王牌机(ACE──自动计算引擎)的基本设计,明确要把它做成通用机,提出了很多崭新的思想:存储程序、子程序、高级程序设计语言等等。不过,随着战争的离去,科研机构回归官僚化,图灵的思想和主张难以得到支持和采纳,ACE计算机也拖到1952年才建成,而图灵也早已于1948年离开国家物理实验室,前往曼彻斯特加入大学,从事计算机程序设计工作。 与此同时,基于战时学习的电子技术和战后计算机设计与编程的经验,图灵回到了他一直感兴趣的人的心灵问题,提出可以通过编程让机器思维。通过一系列的采访、辩论、报告和文章,尤其是1950年发表在英国哲学杂志《心》上的《计算机械与智能》一文,图灵明确提出了后来被叫做人工智能的思想。如果说1936年的《可计算数》是理论计算机科学的奠基性文章,那么这篇文章可以说是人工智能的奠基性文章。 在曼彻斯特大学工作期间,从小就对生物形态感兴趣,以着迷于野菊花而闻名的图灵,开始从事形态发生学(morphogenesis)的研究。他以简单的微分方程表达化学成分的分布,来解释斑点的形成等等,并利用计算机来进行微分方程的计算,做出了开创性的工作。 在战后的年头,图灵对自己身为同性恋更为自觉和自信。1952年,他在曼彻斯特的家被窃,窃贼是他的同性恋对象的朋友──他当时正试图与这位朋友发展长期关系。在警方调查中,他直述自己的同性恋关系和行为,于是被起诉,被判大大有伤风化,处以化学阉割,就是注射雌性激素来治疗他的同性恋。 虽然,此时的图灵对于自己的同性恋身份和行为早已没有任何负罪感,然而,这些对待无疑给图灵带来巨大的压力,使他不可能有任何空间与任何人建立起他所期望的稳定关系。很快,随着冷战的加深,麦卡锡时代来临,在大西洋的另一边,奥本海默正被审查。同性恋者被视为对敌斗争中的薄弱环节,英美两国都加紧了对接触国家机密的同性恋者的审查和控制。按照图灵传记作者霍奇司的说法,因为图灵接触绝密,而且仍然为英国情报部门做顾问,图灵自然会受到更大压力。 1954年6月7日,图灵吃蘸过氰化钾的苹果自杀。55年以后的2009年,英国首相就图灵的遭遇发表声明公开道歉。 从1966年起,计算机械学会(Association of Computing Machinery)设立了图灵奖,相当于计算机界的诺贝尔奖吧。除了理论计算机科学和人工智能上的奠基性工作,图灵在形态发生学方面的工作,也得到广泛认可。虽然他计算机系统结构的工作,由于ACE计算机问世太晚,其原创性没有充分肯定;不过,近年来,人们又进一步发现图灵在神经网络方面的开创性工作。如果图灵多活些年头,他究竟还会做出什么科学贡献,真的是难以蠡测的。 纵观图灵的一生,基本上是对最深刻的理论问题有良好直觉的应用数学家,具有超凡的删繁就简的洞察:图灵机,谜团密码的破解,形态发生学里的图灵方程式,还有后面将会讲到的图灵测试都体现了这一特点。这个特点,也是他待人处事的特点。然而,这在社会上恐怕是难以行得同的。所以,尽管在中学时期,他可以有足够的空间与资源,专心于学习;在剑桥大学期间,可以在国王学院宽松的环境里自由探索和发展;在战时,可以在特殊情况下,取得发挥很大作用的空间,甚至可以直接写信给丘吉尔,绕过官僚体系来推动事情;随着二战结束,一方面是冷战来临,社会政治走向保守,而另一方面,是图灵那简单真诚到几乎幼稚的自我肯定,撞车就难免了。这样,当日渐衰落的大英帝国的儿子,秘密战线上的二战英雄图灵,简单而真诚地去面对在传统惯性和时代压力下挣扎的帝国时,他很快就为复杂的黑暗给吞噬了。
个人分类: 电脑人心|7285 次阅读|1 个评论
电脑人心 之 引言(九)原则争论
luocun 2010-7-29 11:26
上回给了AI一个及格上下的成绩。其实,在AI这60年的身世里面,有过不少远亲近邻自任裁判员、评论员、解说员、批评家的叽叽喳喳。他们要是给分的话,很多人给的分将会高的多,甚至接近满分,因为他们大体上认为电脑人心的基本方面已经有谱了;也有很多人给的分都要低得多,甚至接近于0分。俺也在这里也凑了凑热闹,嗡嗡了一把。 分数差别巨大不是意外,因为六十年来,关于电脑人心可能性可以说一直是众说纷纭,辩论一直就没有停止过。 有说电脑可以做很多很多的事情的,比如将能够跟人进行流畅的对话。图灵同志爸爸就是持这种观点。 还有人认为电脑无所不能,乃至说,世界的本质是计算、是信息处理,电脑人心就更不在话下了。Stephen Wolfram大致持这种观点。 有说电脑不能做很多事情的。比如德雷福斯(Hubert Dreyfus)就觉得电脑不能对付(cope)事情,尤其是打酱油之类的事情。 有说电脑其实根本就不可能理解中文的。比如塞尔(John Searle)就设想即使有台电脑,能够允许我们随意地跟它用中文对话,也不会对中文有任何理解,因为作为电脑,它将只能模拟,而不会有事实上的参与。 有说人能做电脑不能做的事情的。比如卢卡斯(John Lukas)就认为哥德尔不完全性定理的结论意味着存在人可以理解而机器却不可能理解的东西,比如哥德尔句子为真这样的事实。 更有甚者(比如van Gelder)声称,电脑在原则上还不如蒸汽机的,因为蒸汽机和它做事的领域是紧密相连的,而电脑那离散化的符号表示和操纵却把认知的实质给漏掉了。 还有的人论证说,即使电脑能做一切事情人能做的事情,那它也不过是个空壳子,只是行为相似,没人心住在里面,没有感知,不会觉到红是红、绿是绿的感受质(qualia)。 再有就是那些技术奇点论者,认为电脑单靠速度、容量和复杂性,终有一天、甚至几十年之内很快就要超越人类了。 如此等等,不一而足。 那么,货真价实的电脑人心究竟可不可能?今天的小学生会不会有一天要与之共处?即使今天电脑人心的可能性看起来还不是太大,这种可能性会不会随着技术进步而增加呢?还是说从原则上讲就不可能呢? 我写这个系列,就是想要针对这些问题,提供一个论坛,一个讨论场所,以关于人工智能可能性的经典辩论为基础,争取覆盖其间的主要问题。让正方、反方、怀疑方、观望方都能各抒己见,现身说法;力求原汁原味,以便见智见仁。由此争取梳理一些比较关键的东西来,为思考人工智能和认知科学里面的一些基本问题提供一点材料、若干视角。 在开始之前,先有必要说明我的一个偏见。这事关对电脑的态度。 要真正判断电脑人心是否可能,必须充分理解电脑和人心这两个方面。理解人心──这是哲学和心理学的传统地盘。在这里我们大体可以倚仗几千年来东西方的思想积淀,不管是其间的洞察也好,还是迷糊也好,至少通过这些积淀,大家都知道人心的复杂性是很了不得的。所以,我们对于人心的认识,是不太容易被过分简单化的。 然而,对于电脑,简单化的趋向则很容易发生。人们往往会觉得:什么是电脑?什么才算电脑?电脑如何工作?能做什么?带来了什么样的可能性?它不能做什么?有什么样的局限性?电脑在人类历史上究竟正在扮演着什么样的角色?这些问题的答案如果不是已经很清楚,不是不言自明的,也不难寻找。 我的偏见就是:不能假设我们理解电脑了。理解电脑其实涉及很多新问题和老问题的新形态。而在上面这些问题上,我们其实还只是小学生,甚至是学前班的娃娃们。 请注意:千万不要以为既然电脑是人造出来的,我们就一定很理解它们。儿女也是父母造出来的,那父母就因此一定了解儿女吗?因此,为了严防先入之见,以便对得起电脑们的真材实料,俺将会当仁不让,自任为电脑们的代表,冷眼旁观每场讨论。我将会特别注意讨论各方是如何理解、是否真正理解电脑这东东的。 这样说来比较抽象。让我们来考虑在讨论电脑人心的可能性的时候,经常会遇到一种论证模式吧: 人是A 计算机不是A ──────────────── 因此人工智能不可能 具体一点,假如A在这里是连续性,这个论证就是: 人是连续的 计算机是离散的,而非连续的 ───────────────────── 因此人工智能不可能 再比如,假设A是创造性,这个论证就是: 人有创造性 计算机做的一切不过是遵照程序指令而已,没有创造性 ───────────────────────────────────── 因此人工智能不可能 这样的论证虽然表面上简单明了,但实际上是问题多多。首先,这样的论证没有说明A这种属性对于人心是必要的,没有说明为什么如果没有A的话,要想有人心是没门儿的事。所以,A不应该是:有头发。那么,如果A是连续性?这就有个问题要回答:为什么连续性对于人心是必要的呢?类似地,为什么创造性对于人心是必要的呢? 当然,如前面所说,关于人心特点的争议可能相对会少一些。比较成问题的是计算机确实是非A这一论断。不管有多显然,这样的论断其实是非常需要论证的。 比如,计算机是离散的吗?这一点真的是那么显然的吗?恐怕不一定吧。(俺很快会发个博文专门讨论这一点。)而且,即使计算机确实是离散的,离散和连续真的是互相排斥的吗?是离散,就不可能也是连续的吗?还是说离散和连续其实是互相依存的[link]呢。 再比如创造性。为什么遵照程序指令就不会有创造性呢?卡斯帕洛夫不是也说他觉得深蓝有创造性。这又是为什么呢?这里面有没有层次上的区别呢?人难道不遵照指令吗?人至少按规矩行事吧。由此就说明人没有创造性吗?如果在离散与连续的问题上,我们经常把层次混淆。那么在创造性的问题上我们就不会吗? 在这里指出这些问题,是为了表明情况或许比我们有时候想象的要复杂很多,也就要好玩很多。
个人分类: 电脑人心|3616 次阅读|0 个评论

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2024-6-16 01:55

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部