1.2.1　符号主义流派

符号主义流派，也被称为逻辑主义流派、心理流派或计算机流派。符号主义流派的拥护者认为人和计算机各是一个物理符号系统，因此，可以用计算机模拟人的智能行为，即用计算机的符号、语言、操作来模拟人的认知过程，从而实现人工智能。20世纪80年代之前，符号主义流派作为人工智能主流流派而一枝独秀，在发展过程中取得了丰硕的成果。其中，代表成果是艾伦·纽厄尔（Allen Newell）和赫伯特·西蒙（Herbert Simon）等人于20世纪50年代开发的“Logic Theorist”程序，该程序成功证明了《数学原理》第二章中的第38条定理，并随后于1963年证明了第二章中的全部定理。

“Logic Theorist”程序成功证明数学定理，说明计算机可以用于研究人的思维过程、模拟人的智能活动。但符号主义流派的思想存在一定的局限性：其基于还原论的理性主义方法无法有效处理复杂系统的问题。此外，符号主义流派对问题一般采用形式化的处理方式，对常识问题采取回避态度，但是到了20世纪70年代，人们发现对于人工智能而言，常识问题是无法回避的。于是，20世纪80年代以后，符号主义流派逐渐衰落，连接主义流派与行为主义流派逐渐兴起。