总体来讲，由于纽厄尔和司马贺在心理学、决策论方面有非常高深的造诣，所以由他们领导的卡内基梅隆大学一系的主要人工智能研究方向是从人类解决问题的思维活动出发，尝试将这种思维过程模型化后应用于计算机之上。他们经常基于心理学实验的结果来开发模拟人类解决问题方法的程序，这种研究方法一度成为人工智能和符号主义的主流，并在 20 世纪 80 年代发展到顶峰。在符号主义学派中，以纽厄尔和司马贺为代表的这一系又被称为“认知派”。
与“认知派”相对，符号主义学派中另外一位主要人物麦卡锡则认为机器不需要模拟人类的思想，而应尝试直接找出抽象推理和解决问题的本质，只要通过逻辑推理能展现出智能行为即可，大可不必去管人类是否使用同样的方式思考。所以，由他开创的斯坦福大学一系主要致力于寻找形式化描述客观世界的方法，通过逻辑推理去解决人工智能的问题，因此这一系在符号主义学派中又被称为“逻辑派”。
当然，在这两个派别之外还存在一些其他的细分研究方向，譬如明斯基从连接主义学派“叛变”到符号主义学派以后，曾经一度倾向于支持认知派以心理学去研究人工智能的方法，后来他对实现人工智能的主要观点又转变为智能是极度复杂的，人类大脑中存在着许多用于解决不同问题的各有差异的结构，因此不存在任何单一的可以描述智能的机制，而是需要有不同的智能体（Agent）对人类的各种机制、能力进行组织运用，人类的智能是综合了多种智能体的宏观结果<sup>○一</sup>，这种思路逐渐发展成今天基于“智能体”实现人工智能的研究方法。明斯基提出了其中重要的“框架理论”（Frame Theory），成为“智能体”这个研究方向的开创者。尽管由于当时的历史局限，明斯基不可能凭空给出具体的、可应用于实践的智能体构造方法，但是在 2022 年生成式语言大模型与算力瓶颈相继被突破后，智能体的概念很快就被人们重新拾起并广泛接受，成为许多智能助理应用共同的理论基础。
76
第二部分 学派争鸣
○一 框架理论在明斯基 1975 年出版的 A Framework of Representating Knowledge 中提出，智能体理论在其 1986 年出版的 The Society of Mind 中提出。