논리 이론가(Logic Theorist)는 1956년 앨런 뉴얼(Allen Newell), 허버트 사이먼(Herbert A. Simon), 클리프 쇼(Cliff Shaw)에 의해 개발된 컴퓨터 프로그램이다. 이 프로그램은 자동화된 추론(automated reasoning)을 수행하도록 의도적으로 설계된 최초의 프로그램으로 평가되며, "최초의 인공지능 프로그램"으로 널리 인용된다.
개발 배경
1950년대 초반, 허버트 사이먼은 RAND 코퍼레이션에서 프린터가 일반 문자와 구두점을 기호로 사용하여 지도를 출력하는 모습을 보고, 기호를 조작할 수 있는 기계가 인간의 의사 결정 과정을 시뮬레이션할 수 있을 것이라고 생각하게 되었다. 이는 논리 이론가 개발의 초기 영감이 되었다. 앨런 뉴얼은 1954년 올리버 셀프리지(Oliver Selfridge)의 패턴 매칭 연구 발표를 듣고 단순한 프로그래밍 가능한 단위들의 상호작용이 복잡한 지적 행동을 구현할 수 있음을 깨닫게 되었다. 이후 뉴얼과 사이먼은 협력하여 기계가 논리적 사고를 할 수 있도록 하는 첫 번째 프로젝트로 논리 이론가를 구상하였다.
초기 버전은 컴퓨터가 아닌 수작업으로 시뮬레이션되었다. 연구진은 프로그램을 3×5 카드에 작성한 후, 사이먼의 가족과 대학원생들에게 각 카드를 나누어 주어 인간이 컴퓨터 프로그램의 구성 요소 역할을 하도록 하여 정리 증명이 가능함을 확인하였다. 이후 쇼가 RAND의 산타모니카 시설에 있는 컴퓨터에서 프로그램을 실제로 실행하는 데 성공하였다.
1956년 다트머스 회의
1956년 여름, 존 매카시(John McCarthy), 마빈 민스키(Marvin Minsky), 클로드 섀넌(Claude Shannon), 네이선 로체스터(Nathan Rochester)는 "인공지능(artificial intelligence)"이라는 신조어를 내걸고 다트머스 회의(Dartmouth Conference)를 개최하였다. 뉴얼과 사이먼은 이 회의에서 논리 이론가를 발표하였으나, 당시 참석자들로부터는 큰 주목을 받지 못했다.
주요 성과
논리 이론가는 앨프리드 노스 화이트헤드(Alfred North Whitehead)와 버트런드 러셀(Bertrand Russell)의 저서 《수학 원리》(Principia Mathematica) 제2장에 수록된 처음 52개의 정리 중 38개를 증명하는 데 성공하였다. 특히 정리 2.85(Theorem 2.85)에 대해서는 기존의 증명보다 더 짧고 우아한 새로운 증명을 발견하였다. 사이먼은 이 새로운 증명을 러셀本人에게 직접 보여주었고, 러셀은 "기쁨으로 반응했다"고 전해진다. 연구진은 이 증명을 《기호 논리학 저널》(The Journal of Symbolic Logic)에 투고하였으나, "초등적인 수학 정리에 대한 새로운 증명은 주목할 만한 것이 아니다"라는 이유로 거절되었다. 이는 저자 중 하나가 컴퓨터 프로그램이었다는 사실이 간과된 결과였다.
아키텍처
논리 이론가는 논리 표현식(logical expression)에 대해 논리적 과정을 수행하는 프로그램이다.
-
표현식(Expression): 요소(element)들로 구성되며, 작업 기억(working memory)과 저장 기억(storage memory)의 두 가지 기억 체계를 사용한다. 각 작업 기억은 단일 요소를 저장하며, 저장 기억은 모든 공리와 증명된 정리를 포함하는 리스트이다. 표현식은 추상 구문 트리(abstract syntax tree) 형태로 표현된다.
-
방법(Method): 네 가지 주요 방법을 사용한다.
- 치환(substitution): 주어진 표현식을 기존 정리나 공리로 변환할 수 있는지 확인
- 분리(detachment): 조건문 A → B 형태에서 B를 증명하기 위해 A를 부분 문제로 설정
- 전향 연쇄(chaining forward): A → C에서 A → B 형태의 기존 정리를 찾아 B → C를 증명
- 후향 연쇄(chaining backward): A → C에서 B → C 형태의 기존 정리를 찾아 A → B를 증명
인공지능 연구에 미친 영향
논리 이론가는 이후 인공지능 연구의 핵심 개념 여러 가지를 도입하였다.
- 탐색으로서의 추론(Reasoning as search): 초기 가설을 루트로 하는 탐색 트리에서 각 분기는 논리 규칙에 기반한 추론이며, 목표는 증명하려는 명제에 도달하는 경로를 찾는 과정으로 개념화되었다.
- 휴리스틱(Heuristics): 뉴얼과 사이먼은 탐색 트리가 기하급수적으로 확장되는 문제(조합적 폭발)를 인식하고, 경험적 규칙을 사용해 불필요한 가지를 제거하는 휴리스틱 기법을 도입하였다. 이 용어는 조지 폴리아(George Pólya)의 저서 《어떻게 문제를 풀 것인가》(How to Solve It)에서 차용한 것이다.
- 리스트 처리(List processing): 논리 이론가를 구현하기 위해 연구진은 IPL(Information Processing Language)이라는 프로그래밍 언어를 개발하였다. 이는 이후 존 매카시가 개발한 Lisp 언어의 기초가 된 기호 리스트 처리 방식을 사용한 최초의 언어 중 하나이다.
철학적 함의
팸라 매코덕(Pamela McCorduck)은 논리 이론가가 "기계가 지금까지 지적이고 창의적이며 인간만의 고유한 것으로 여겨졌던 작업을 수행할 수 있다는 결정적인 증거"였다고 평가하였다. 사이먼은 1956년 1월 대학원 강의에서 "크리스마스 기간 동안 앨 뉴얼과 나는 생각하는 기계를 발명했다"고 말하였으며, 이는 이후 철학자 존 설(John Searle)에 의해 "강한 인공지능(Strong AI)"으로 명명된 논쟁의 시발점이 되었다.
뉴얼과 사이먼은 이후 카네기 공과대학(Carnegie Institute of Technology)에 최초의 인공지능 연구소 중 하나를 설립하고, 일반 문제 해결기(General Problem Solver), Soar, 통합 인지 이론(Unified Theory of Cognition) 등 일련의 영향력 있는 인공지능 프로그램과 이론을 개발하였다.
