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

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

彼の代表的な業績は、ヒューリスティック プログラム LT Logic Theorist で、38 の数学定理を証明し、コンピューターを使用して人間の思考を研究し、人間の知的活動をシミュレートできることを実証しました。 1956 年にはすでに「人工知能」という用語を初めて採用したのは、これらの象徴主義者でした。

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

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

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