人工智能符号创始人,Herbert Simon和Allen Newell早在1958年就预言:十年内,计算机将有能力成为国际象棋冠军,发现和证明有意义的数学定理,谱写优美的乐曲,实现大多数的心理学理论。
后面我们也知道,有很多国际象棋比赛确实是人工智能赢了。1966年,西蒙、纽厄尔和贝洛尔(Baylor)合作,开发了最早的下棋程序之一MATER。由于下棋是人的智力活动中最复杂和高级的一种活动,西蒙对计算机下棋始终十分关切。1997年,IBM的“深蓝”(Deep Blue)计算机打败了白俄罗斯的国际特级大师卡斯帕罗夫以后,西蒙(时年81)还和在克利夫兰的俄亥俄州立大学当教授的日本知名AI专家T.Munakata一起,在《ACM通信》杂志的8月号上发表了“人工智能给我们的教训”(AI Lessons)一文,就此事进行了评论,发表了看法。
赫伯特·西蒙(Herbert Alexander Simon)和艾伦·纽厄尔(Allen Newell),两人曾是师生,后来成为极其亲密的合作者,共事长达42年,直至纽厄尔于1992年去世。这是图灵奖首次同时授予两位学者。
赫伯特·西蒙是一个令人敬佩而惊叹的学者,具有传奇般的经历。他多才多艺,兴趣广泛,会画画,会弹钢琴,既爱爬山、旅行,又爱学习各种外国语,能流利地说多种外语。作为科学家,他涉足的领域之多,成果之丰,影响之深远,令人叹为观止。
西蒙在他自己1991年出版的自传《我的生活的模型》中这样描写他自己:“我诚然是一个科学家,但是是许多学科的科学家。我曾经在许多科学迷宫中探索,这些迷宫并未连成一体。我的抱负未能扩大到如此程度,使我的一生有连贯性。我扮演了许多不同角色,角色之间有时难免互相借用。但我对我所扮演的每一种角色都是尽了力的,从而是有信誉的,这也就足够了”。
※图为赫伯特·西蒙
西蒙在人工智能方面的另一个贡献,是发展与完善了语义网络的概念和方法,把它作为知识表示(knowledge representation)的一种通用手段,并取得了很大成功。
纽厄尔生前的最后一个重大研究开发项目是和曾经是他的学生的莱尔德(J.Laird)和罗森勃洛姆(P.Rosenbloom)一起完成的更灵巧的AI软件SOAR(State,Operator,and Result)。SOAR是一个通用的问题求解程序,具有从经验中学习的功能,即能够记住自己是如何解决问题的,并把这种经验和知识用于以后的问题求解过程之中,所以和人类的智能更加接近。SOAR已被前述CMU的EDRC用于检索设计中的学习行为和灵活搜索行为。
纽厄尔也有许多著作问世。
※图为艾伦·纽厄尔
1、与西蒙合著的有:
(1)《逻辑理论机:复杂的信息处理系统》(The logic Theory Machine:A Complex Information Processing System,RAND,1956)
(2)《人怎样解题》(Human Problem Solving,Prentice—Hall,1972)
2、与恩斯特(C.W.Ernst)合著了《GPS:概念生成和问题求解的案例研究》(GPS:A Case Study in Generality and Problem Solving,Academic Pr.,1969)
3、与卡特(S.Card)等合著了《人类计算机的心理学》(The Psychology Of Human Computer,L.Erlbaum Assoc.,1983)
4、纽厄尔个人编写出版的主要专著有:
(1)《IPLV语言手册》(1nformationProcessingLanguageV Manual,Prentice—Hall,1961)
(2)《计算机结构》(Computer Structures,McGraw—Hill,1971)
(3)《计算机与数字系统设计》(Designing Computers and Digital Systems,1972)
(4)《认知的统一理论》(Unified Theories of Cognition,Harvard Uni.Pr.,1990)
(5)《SOAR:一般智能的体系结构》(SOAR:An Architecture for General Intelligence)
纽厄尔生前是美国科学院院士,又是美国工程院院土。他是美国人工智能学会AAAI的发起人之一。
让我们一起记住他们吧,人工智能符号主义学派的创始人,赫伯特·西蒙(Herbert Alexander Simon)和艾伦·纽厄尔(Allen Newell)。