“逻辑理论家”可以模拟人的大脑,甚至可以证明《数学原理》一书中的全部定理,这就是说,这台机器比大部分人都要“聪明”。
在西蒙和纽厄尔之前,著名的计算机工程师图灵就曾经预言——机器可以拥有智能。但这只不过是一种推论罢了,是西蒙和纽厄尔证明了这种推论的正确性。
1956年夏天,数十名数学、心理学、神经学、计算机科学等领域的专家学者,齐聚美国新罕布什尔州汉诺威市的达特茅斯学院,讨论如何用机器模拟人类的思维。西蒙和纽厄尔也参加了这次会议。
在会议上,两人向在座的科学家们展示了自己研发的“逻辑理论家”软件,引起了极大的重视。会议结束之后,西蒙和纽厄尔有了新的头衔——“人工智能之父”。
为了更好地开发人工智能,西蒙开始更加积极地研究心理学。1960年,他和他的妻子通过一系列心理学实验,证明人类解决问题的过程,其实是一个“搜索”的过程。也就是说,有时候不是机器像人,而是人像机器。