1940 년대와 1950년대에 디지털 컴퓨터가 처음 개발될 무렵, 여러 연구자가 기초적 추론 작업을 수행할 수 있는 프로그램을 작성하였다. 이들 중 주목할 만한 것으로는 체스 [Shannon 1950, Newell, Shaw, & Simon 1958] 나 체커 [Samuel 1959, Samuel 1967] 게임을 하거나 평면 기하학의 정리들을 증명 [Gelernter 1959] 할 수 있는 컴퓨터 프로그램을 기술한 논문들이 있다. 1956 년에는 McCarthy, Shannon이 함께 오토마타 연구라는 제목의 책을 편찬했다 [Shannon & McCarthy 1956]. 이 책에 실린 논문들이 대개 오토마타의 수학적 이론을 다루고 있는 것에 실망한 McCarthy는 1956년 Dartmouth 학술대회..