让机器实现人的智能，一直是人工智能学者不断追求的目标，不 同学科背景或应用领域的学者，从不同角度，用不同的方法，沿着不同的途径对智能进行了探索。其中，符号主义、连接主义和行为主义是人工智能发展历史上的三大技术流派。 符号主义又称为逻辑主义，在人工智能早期一直占据主导地位。该学派认为人工智能源于数学逻辑，其实质是模拟人的抽象逻辑思维， 用符号描述人类的认知过程。早期的研究思路是通过基本的推断步骤 寻求完全解，出现了逻辑理论家和几何定理证明器等。上世纪70 年代出现了大量的专家系统，结合了领域知识和逻辑推断，使得人工智 能进入了工程应用。PC 机的出现以及专家系统高昂的成本，使符号学派在人工智能领域的主导地位逐渐被连接主义取代。
