상징주의인공지능 분야에서 수학적 논리를 굳게 믿는 학파입니다.

수학적 논리는 19세기 말부터 급속히 발전했으며 1930년대에 지능적 행동을 설명하는 데 사용되기 시작했습니다. 컴퓨터가 등장한 후, 논리적 추론 시스템이 컴퓨터에 구현되었습니다.

대표적인 업적은 휴리스틱 프로그램, LT 논리 이론가들이며, 이들은 38개의 수학적 정리를 증명하여 컴퓨터가 인간의 사고를 연구하고 인간의 지능 활동을 시뮬레이션하는 데 사용될 수 있음을 보여주었습니다. 1956년 초에 "인공지능"이라는 용어를 처음 사용한 것도 바로 이 상징주의자들이었습니다.

이후, 휴리스틱 알고리즘 -> 전문가 시스템 -> 지식공학 이론과 기술이 개발되어 1980년대에 큰 진전을 이루었습니다.

상징주의는 오랫동안 지배적인 세력이었으며 인공지능의 발전에 중요한 공헌을 했습니다. 특히 전문가 시스템의 성공적인 개발과 적용에 큰 기여를 했습니다. 전문가 시스템은 인공지능의 공학적 응용과 이론과 실제의 연결을 실현하는 데 특별한 의미가 있습니다.

다른 인공지능 학파가 등장한 후에도 상징주의는 여전히 인공지능의 주류 학파로 남아 있다. 이 학파의 대표적인 인물로는 뉴웰, 사이먼, 닐슨 등이 있다.