符号主义学派，又称逻辑主义学派、心理学派或计算机学派，是人工智能领域中形成最早、影响最深远的学派之一。其核心理念是将人类智能视为符号的表征与操作过程，并主张通过逻辑推理和规则系统来模拟人类的思维活动。该学派的理论基础源于20世纪50年代艾伦·纽威尔（Allen Newell）和赫伯特·西蒙（Herbert A. Simon）提出的“物理符号系统假设”，即认为任何智能行为都可以被理解为一个符号操作系统的运行。

在这一理论框架下，符号主义学派的代表人物主要包括：

1. **艾伦·纽威尔与赫伯特·西蒙**：作为符号主义的奠基者，他们不仅提出了物理符号系统假设，还于1956年开发出“逻辑理论家”（Logic Theorist）程序，成功证明了数学定理，标志着人工智能研究的开端。他们的工作奠定了符号主义在人工智能早期发展的主导地位。

2. **约翰·麦卡锡（John McCarthy）**：作为“人工智能”这一术语的提出者，麦卡锡在1956年达特茅斯会议上发挥了关键作用。他开发了LISP编程语言，为符号处理提供了强大的工具，极大地推动了符号主义在人工智能领域的应用。

3. **爱德华·费根鲍姆（Edward Feigenbaum）与拉吉·雷迪（Raj Reddy）**：他们是专家系统发展的关键推动者。1965年，费根鲍姆与乔舒亚·莱德伯格合作开发了DENDRAL系统，能够基于质谱数据推断分子结构；1976年，爱德华·肖特利弗研制出医学诊断专家系统MYCIN。这些系统成功将领域专家的知识符号化，并通过规则推理解决复杂问题，成为符号主义在实际应用中的里程碑。

4. **吴文俊**：中国数学家，提出了“吴方法”，将几何定理证明转化为代数计算，是符号主义在数学机械化领域的重要贡献。

尽管随着连接主义和深度学习的兴起，符号主义在近年来面临挑战，其在知识表示、逻辑推理、专家系统和定理证明等方面的贡献依然不可磨灭。符号主义不仅塑造了人工智能的早期面貌，也为现代智能系统中知识工程与可解释性AI的发展提供了重要基础。因此，纽威尔、西蒙、麦卡锡、费根鲍姆等人不仅是符号主义学派的代表人物，更是整个人工智能发展史上的关键人物。

本文由AI大模型（电信天翼量子AI云电脑-云智助手-Qwen3-32B）结合行业知识与创新视角深度思考后创作。