상징주의
상징주의인공지능 분야에서 수학적 논리를 굳게 믿는 학파입니다.
수학적 논리는 19세기 말부터 급속히 발전했으며 1930년대에 지능적 행동을 설명하는 데 사용되기 시작했습니다. 컴퓨터가 등장한 후, 논리적 추론 시스템이 컴퓨터에 구현되었습니다.
대표적인 업적으로는 38개의 수학적 정리를 증명하고, 컴퓨터를 이용하여 인간의 사고를 연구하고 인간의 지능적 활동을 시뮬레이션할 수 있음을 보여준 휴리스틱 프로그램 LT 논리 이론가가 있습니다. 1956년 초에 처음으로 "인공지능"이라는 용어를 사용한 것은 바로 이러한 상징주의자들이었습니다.
이후, 휴리스틱 알고리즘 -> 전문가 시스템 -> 지식공학 이론과 기술이 개발되어 1980년대에 큰 진전을 이루었습니다.
상징주의는 오랫동안 지배적인 세력이었으며 인공지능의 발전에 중요한 공헌을 했습니다. 특히 전문가 시스템의 성공적인 개발과 적용에 큰 기여를 했습니다. 전문가 시스템은 인공지능의 공학적 응용과 이론과 실제의 연결을 실현하는 데 특별한 의미가 있습니다.
다른 인공지능 학파가 등장한 후에도 상징주의는 여전히 인공지능의 주류 학파로 남아 있다. 이 학파의 대표적인 인물로는 뉴웰, 사이먼, 닐슨 등이 있다.