大家好,我是执念斩长河。今天要讲述的是1975年图灵奖两位获得者–赫伯特·西蒙和艾伦·纽厄尔。前者也曾获得诺贝尔经济学奖。读完本文大家可以收获的是:
- 西蒙得完诺贝尔再得图灵
- 纽厄尔开创启发式程序逻辑理论
- 两个人的主要著作
我们先谈西蒙然后再谈纽厄尔。最后谈两人如何成功获得图灵奖的。西蒙1916年6月15日生于美国威斯康星州密歇根湖畔的密尔沃基。西蒙从小就很聪明好学,上学不断跳级。在芝加哥大学入学时不过17岁。前面说他得过经济学奖,因为他对管理人如何决策非常感兴趣,也成为日后科研的课题。1939年,他转至加州大学伯克利分校,开始负责科研项目,内容就是:关于组织机构是如何进行决策的。并成功取得博士学位。
纽厄尔1927年3月19日生于美国旧金山。第二次世界大战期间,纽厄尔在海军服役两年,两年之后他进入斯坦福大学学习物理,之后在普林斯顿大学研究生攻读硕士。在这一年后,他辍学遇到了西蒙开始了奋斗图灵生涯。
他和纽厄尔以及另一位学者一起开发了世界上最早的启发式程序逻辑理论,并开创了机器证明科学领域。之后他们三个人开发了IPL语言,一种AI程序设计语言,其中的基本数据类型分为两种一种是数据,另一种是指针。西蒙和纽厄尔两个人一起提出语义网络模型去描述人工智能,让人工智能的实现得到极大的拓展。
他的主要著作有:
- 《逻辑理论机:复杂的信息处理系统》
- 《人怎样解题》
- 《IPL V语言手册》
- 《计算机结构》
- 《计算机与数字系统设计》
第一张图纽厄尔,第二张图西蒙。