象徴主義数理論理学を強く信じている人工知能分野の学校です。

数理論理学は 19 世紀末から急速に発展し、1930 年代には知的行動を記述するために使用され始めました。コンピュータの出現後、論理推論システムがコンピュータに実装されました。

その代表的な成果は、ヒューリスティックプログラムとLT論理理論家によるもので、彼らは38の数学的定理を証明し、コンピュータを用いて人間の思考を研究し、人間の知的活動をシミュレートできることを示しました。これらの記号学者は、1956年という早い時期に「人工知能」という用語を初めて使用しました。

その後、ヒューリスティックアルゴリズム→エキスパートシステム→知識工学の理論と技術が開発され、1980年代には大きな発展を遂げました。

シンボリズムは長い間傑出しており、人工知能の発展、特にエキスパート システムの開発と応用の成功に重要な貢献をしてきました。人工知能にとって、工学的応用に向けて動き、理論と実践を結びつけることは特別に重要です。

人工知能の他の学派が出現した後も、象徴主義が人工知能の主流の学派であり続けています。この学校の代表者には、ニューウェル、サイモン、ニルソンが含まれます。