符号主义是人工智能领域中坚信数理逻辑的一个流派。

数理逻辑从 19 世纪末起得以迅速发展，到 20 世纪 30 年代开始用于描述智能行为。计算机出现后，又在计算机上实现了逻辑演绎系统。

其有代表性的成果为启发式程序 LT 逻辑理论家，证明了 38 条数学定理，表了可以应用计算机研究人的思维多成，模拟人类智能活动。正是这些符号主义者，早在 1956 年首先采用 “人工智能” 这个术语。

后来又发展了启发式算法->专家系统->知识工程理论与技术，并在 20 世纪 80 年代取得很大发展。

符号主义曾长期一枝独秀，为人工智能的发展作出重要贡献，尤其是专家系统的成功开发与应用，为人工智能走向工程应用和实现理论联系实际具有特别重要的意义。

在人工智能的其他学派出现之后，符号主义仍然是人工智能的主流派别。这个学派的代表任务有纽厄尔 ( Newell )、西蒙 ( Simon ) 和尼尔逊 ( Nilsson ) 等。