John Alan Robinson
(미국 철학자, 수학자, 컴퓨터과학자, 1928~)
논리프로그래밍 (Logic Programming) 의 대부. 도출법 (Resolution) 발명.
로빈슨(J.A. Robinson)은 1984년부터 뉴욕 주의 캐나다 몬타리오 호수 근처의 자연경관이 뛰어난 곳에 위치한 사립 명문 대학인 Syracus University 의 University Professor 로 재직했는데, 그 이전인 1967년부터 1984년 까지는 Logic과 컴퓨터 사이언스 학과의 교수였다. 천체 물리학으로 유명한 시라큐스 대학에 오기 전에는 텍사스에 있는 라이스 (Rice) 대학에서 1964년부터 1967년까지 교수로 재직했다.
로빈슨은 영국 출신으로, 1949년부터 1952년까지 케임브리지 대학에서 고전 (Classic) 을 공부하고 우등으로 졸업했으며, 1957년 케임브리지 대학의 석사학위를 취득했지만, 그 중간인 1952년부터 1956년까지 오리건 대학에서 철학 석사학위를 취득하기도 했다. 또한 1953년부터 1956년까지 프린스턴 대학에서 수학하고, 1955년에 철학 석사학위를, 1956년에 철학 박사학위를 취득했다. 학위논문은 "Causality, Probability and Testimony (인과율, 확률과 증거)" 이고, 논문 지도교수는 퍼트넘(H. Putnam)이였다. 퍼트넘은 철학 (Philosophy), 특히 수리논리학 (Mathematical Logic) 으로 잘 알려진 학자이다.
어떻든 대단한 공부벌레였던 것은 틀림없는 것 같다. 프린스턴 대학을 수료한 후 로빈스는 데라우에에 있는 듀폰 사에 경영과학 (Operation Research) 기술자로서 4년간 근무하였다. OR 과 논리프로그래밍 (Logic Programming) 와의 관계는 제약논리 프로그래밍으로서 연구가 진행되고 있다.
1961년부터 1964년까지 라이스 대학에 소속되어 아르곤 (Argon) 국립연구소의 응용수학부분의 연구원으로 재직하면서, 유명한 논문 "Theorem-Proving on the Computer" 를 ACM 저널에 발표했다. 이론의 실증은 대형 컴퓨터 (CDC 3600) 로 테스트를 하였으며 그 논문은 크게 관심을 모았다.
이 밖에도 1960년대에 "Resolution Principle (도출원리)" 을 발견하였으나, 실제로 이 이론이 빛을 보게 된 것은 Kowalski 의 Horn 절 (Horn clause) 에 기초를 둔 Logic Programming 때문이다. 도출원리 (Resolution) 는 다음과 같은 절 집합이 모순이라는 것을 유도해가는 이론이다.
예를 들면, A->B, B->C 및 A 라는 전제로부터 C 를 증명할 경우, A->B=~AVB 및 B->C=BVC에서 B 와 ~B 가 소거되어 새로운 절 ~AVC 가 도출된다. 이 절을 Resolvent 라고 하고, 이것을 본래의 절 {~AVB, ~BVC, A, ~C} 를 더하면, ~AVC 애서 A 가 소거되어 C 가 남는다. 이 C 와 ~C 는 공절 (Emptry Clause) 이 되고, 처음에 더한 C 의 부정인 ~C 가 모순이다. 이와 같은 도출원리인 증명과정은 바로 PROLOG 의 실행 프로세스가 되었다.
로빈슨은 학력에서도 알 수 있듯이 대단한 공부벌레였지만, 또한 풍부한 취미생활도 즐겼다. 특히 피아노 연주 솜씨는 자랑할만한 수준급으로 이따금 마음에 맞는 친지들과 연주회를 벌이고, 피아노 연주를 담당하기도 한다.
이렇게 다양한 재능을 가진 그는 이상하게도 이렇다할 저서가 별로 없고, 단독저서로 꼽을 수 있는 것은 에딘버러 대학출판의 "Logic: form and function" (1979년) 정도이다.
인공지능 (Artificial Intelligence) 의 전성기를 맞고 있는 측면에서 보면, 논리 (Logic) 이나 논리프로그래밍 (Logic Programming) 는 약간 비현실적이라는 평을 받지만, PROLOG 의 실용화와 최근의 제약논리형 언어 (Constraint Logic Programing) 의 기술력에 의해 앞으로 크게 각광을 받을 것으로 보인다. 그러한 의미에서 그 출발점이라고 할 수 있는 도출원리의 발견자로서의 그의 업적은 인정받을만 하다고 본다. ... (인공지능이란 무엇인가 : 김현숙, 크라운출판사, 1997, Page 304~305)
site :
Wikipedia : John Alan Robinson