シンボリズムは人工知能分野において数理論理を篤信する一派である。

数理論理は19世紀末から急速に発展し、20世紀30年代には知的行動を記述するために用いられ始めた。コンピュータが登場した後、コンピュータ上で論理演繹システムが実現された。

その代表的な成果はヒューリスティックプログラムLT（論理理論家）であり、38本の数学定理を証明し、コンピュータを用いて人間の思考過程を研究し、人間の知的活動を模倣することができることを示した。正にこれらのシンボリズム者たちが、早くも1956年に「人工知能」という用語を初めて採用した。

その後、ヒューリスティックアルゴリズム->エキスパートシステム->知識工学の理論と技術が発展し、20世紀80年代に大きな進展を遂げた。

シンボリズムは長期間一統天下を築き、人工知能の発展に重要な貢献をした。特にエキスパートシステムの成功した開発と応用は、人工知能が工学的な応用に向かい、理論と実践を結びつけることにおいて、特に重要な意義を持つ。

人工知能の他の学派が登場した後も、シンボリズムは依然として人工知能の主流派である。この学派の代表人物には、ニューエル（Newell）、シモン（Simon）、ニルソン（Nilsson）などがいる。