1956年初，卡内基理工学院工业管理学院课堂上，一个政治学博士宣布了一个惊人的消息：“在圣诞节期间，我和纽厄尔发明了一台会思考的而机器”，这看似荒诞不羁的场景不是来自科幻小说，而是AI开拓史上真实的一幕！这位政治学博士就是我们今天的主人公--司马贺，他宣布的会思考的机器就是AI史上赫赫有名的“逻辑理论家”

喜欢泡妞、旷课的纨绔富二代

司马贺，原名赫伯特·西蒙，一位风流倜傥又才华横溢的天才！因着对中国文化的仰慕，所以起了司马贺这个中文名。

1916年司马贺出生于美国一个典型的中产阶级家庭、父亲是德国移民，犹太人，电气工程师，一生有几十项发明专利！母亲来自钢琴世家，在一所音乐学校任教。所以司马贺也算是个富二代！

司马贺天资过人，小学都是跳级上的，不到17岁就去读大学了，选的是芝加哥大学的政治学。他特立独行，喜欢自学，不喜欢上课。上大学时，如果选的课老师要求去上课，他就取消换别的课了。看样子貌似不是好学生，可是人家大二时就修完了政治学的全部课程。然后后面的时间就自己学点感兴趣的，比如物理学、心理学、计量经济学和逻辑学等。

我们前面说过司马贺风流倜傥，这是因为他年轻时的一大爱好--泡妞。只是天才就是天才，连泡妞都能泡出才艺，喜欢上爱画画的妹子，他就跟人家一起学画画，刚追上，就已经能够自画像了。喜欢上爱听钢琴曲的妹子，他就开始学钢琴，然后一不小心就练到了顶级。然后又喜欢上爱下棋的妹子，一不小心成了国际象棋大师。 

泡妞！旷课！然后还积攒了一身才艺，又是学霸中的学霸！这是人家天才的大学生活，凡人只有羡慕嫉妒恨的份！

开挂的辉煌人生

这么一个风流倜傥才华横溢的少年，按理应该是很难被收服的，但是22岁却突然跟一位妹子闪婚了，这位妹子就是 多萝西娅· 伊莎贝尔·派伊，一个帮助他成就了终生事业的人。婚后司马贺边工作边研究，花了4年时间完成了政治学的博士论文。这论文后来成为了他的经典著作《管理行为》。十年后《管理行为》和他后来写的《组织》成为公共管理和组织社会学的主要内容，被誉为20世纪政治科学、公共管理和管理学领域最有影响力的10部著作之一。也是这部著作，帮助他日后问鼎诺贝尔奖。

如果司马贺的人生成就到此为止，也算是声明显赫了。然而这只是他辉煌人生的一个小小起步，纵观司马贺一生，他兴趣之广泛，学识之广博，成就之丰硕简直令人惊叹。自母校芝加哥大学授予政治学博士学位后，他先后又获取了耶鲁大学、凯斯工学院、芝加哥大学、加拿大麦吉尔大学、密执安大学、匹兹堡大学、瑞典隆德大学、荷兰经济学院等等学校的理学或者法学博士学位。不仅学位多，拿奖也是拿到手软。除了诺贝尔经济学奖，他还有美国管理科学院学术贡献奖、美国总统科学奖、美国心理学会杰出科学贡献奖、美国心理学会终身贡献奖、美国计算机学会图灵奖（计算机界的最高奖项）、国际人工智能协会杰出研究奖等等等等。哎呀！太多了，响当当的大奖就有十几个。他的研究深刻的影响力和改变了公共管理、企业管理、经济学、认知科学、人工智能等多个领域。

逻辑理论家发明人，符号主义创始人

今天我们重点介绍他获得图灵奖的作品，逻辑理论家--会思考的机器。

今天的人工智能被分为三大学派：符号主义、连接主义、和行为主义。逻辑理论家是符号主义的开山之作，也是代表作。逻辑了理论家擅长推理，证明了数学名著《数学原理》一书第二章52个定理中的38个，受到人们高度评价，被认为是计算机探讨人类智力活动的而第一个真正的成果。

 1956年司马贺带着他的逻辑理论家参加了著名的达特茅斯会议， 逻辑理论家作为当时唯一可以工作的人工智能软件引起了与会代表的注意。

逻辑理论家的成功推动了符号主义学派的人工智能研究，后来逻辑理论家进一步被完善，能够证明《数学原理》中的所有定理，有些证明比数学家证明的还要好。符号主义曾经在人工智能领域一枝独秀，为人工智能发展做出了重要贡献。直到今日也是主流学派。

关于符号主义，司马贺提出了几条假设：

根据这两条假设，可以得出两条推论：

这是符号主义学派研究的理论基石。你认同吗？

一点思考

今天以深度学习为代表的连接主义占据了人工智能的主场，似乎只要不断改进深度学习就能实现强人工智能，我和明斯基一样对连接主义持怀疑态度。我相信，最终的强人工智能一定是融合了符号主义、连接主义、和行为主义各家的精髓，而其中符号主义很可能处于核心主导地位！

跑题了，我们再回到司马贺身上，这位天才穿越于政治学、经济学、管理学、计算机科学等多学科之间，对每个学科都留下杰出的贡献，并带来深远的影响，看似东一枪西一枪兴趣很散，其实细读司马贺的传记不难发现，他也是很专注的，他一直专注的是研究人类进行决策的心理与理性推理过程，他在各个领域的成就，只是这一兴趣在各个学科的延伸。至于他为何对此如此感兴趣，我想和他的德国家庭、犹太血统、以及第二次世界大战不无关系。

微信号：AI 小课