John McCarthy

 

(1927~2011   미국 컴퓨터과학자, Artificial Intelligence 용어 최초사용)  

 

AI 공부를 위해서는 수학, 특히 수리 논리학 에 대한 깊이있는 지식이 필요하고, 생물학적 접근을 위해 심리학 과 신경계통의 생리학 이 공부되어야 한다.  최소한 C,  Lisp, Prolog  와  기본적인 기계어를 배워야 하며, 최근에는 C++, Java 를 포함시켜야 할 것이다. ...... (What is AI ? : John McCarthy)

AI 연구자들 중에서 "원조"라고 하면, 단연 스탠포드 대학의 매카시를 들 수 있다. 매카시는 최초로 " Artificial Intelligence" 이라는 말을 만들어내고, 이것을 1956년에 개최된 다트머스 회의의 회의명으로 지정했다. "아버지"같은 인상을 풍기는 멋진 백발과 수염, 그리고 근엄한 얼굴 표정이 자못 위엄이 있어 보이는 매카시는 메사추세츠 주의 보스턴에서 1927년 9월에 태어났다. 아직도 여전히 정력적으로 논문을 쓰고 있다. AI 의 초창기 연구자들 중에서 가장 정력적으로 활동을 하고 있는 사람들은 역시 매카시를 비롯해서 Marvin MinskyAllen Newell 을 꼽을 수 있다. .... (김현숙)

1927 년 보스톤에서 출생하여 LA 의 고등학교 (1943),  California Institute of Technology 에서 수학전공으로 학사 (1948), Princeton 대학에서 수학박사 (1951) 학위를 땄다. 현재는 Stanford 대학의 컴퓨터과학과 (Stanford Computer Science) 명예교수이다. .......1948 년부터 AI 에 관심을 가졌고, 1955 년에 인공지능 (Artificial Intelligence) 라는 말을 만들어냈다. 그의 주요한 AI 연구 분야는 상식 (Commonsense Knowledge) 의 형식화 (formalization) 와 추론 (Reasoning) 이다. 1958 년에 프로그램언어 Lisp 을 발명했고, 50 연대말에서 60 년대 초기에 시분할 (time-sharing) 개념을 개발했다.  60 연대초 이후 컴퓨터 프로그램이 전문성을 가지는 (meet their specifications) 것을 증명하는 작업을 해왔다. 1978 년에는 비단조 추론 (Nonmonotonic Reasoning)제한화 (Circumscription) 방법을 발명했다. .........  1971 년에 A.M. Turing Award 상을 수상하고 1983~84 년에 AAAI 의 회장을 지냈으며 현재 Fellow 로 있다. 1985 년에 International Joint Conference on Artificial Intelligence에서 최초의 Research Excellence Award 를 수상하고 .... (Wikipedia)

... 그의 목표는 그때나 지금이나 변함없이 '인간과 같은 지능을 갖춘 기계를 만드는 것' 이다. ..... 그는 1959 년에 발표한 '상식을 지닌 프로그램들 (Programs with Common Sense)' 이라는 제목의 논문을 통해 그 목표를 갈고 다듬었다. 그 논문은 매커시가 일생동안 추구해 온 것, 즉 상식이라고 부르는 모호한 형식의 추론에 수학의 정밀성을 적용시키려고 하였던 노력의 출발점이었다.

매커시는 자신의 목표를 구체적으로 표현하기 위해 상식을 지닌 프로그램이라는 것을 다음과 같이 정의하였다. 그것은 '명령받은 어떤 것과 이미 알고 있는 것의 즉각적인 결과들을 충분히 넓은 범위에서 자체적으로 연역(Deduction)' 할 수 있는 프로그램이라는 내용이었다 ..... 1959 년의 논문에서 자신의 목표는 '정신 박약이 아니라면 누구나 수행할 수 있을 만큼 단순한 어떤 초보적 언어 추론 과정을 수행' 할 수 있는 기계를 만드는 것이라는 데 주목하였다. 그 표현대로라면 이 과업은 상당히 실현 가능성이 있는 것처럼 들린다. 하지만 그 목표는 여전히 요원한 상태로 남아 있다. .....

그러나 미래의 모습은 아주 다른 것이 될 수 있다. 수천만 가지 사실과 규칙들을 부호화한 Douglas LenatCyc 처럼 깊이가 있고 그 폭도 광범위한 프로젝트라면 결코 달갑지 않은 많은 어려움들에 직면하게 된다. 그처럼 논리 (Logic) 를 사용하는 프로젝트는 어떤 것이든 매커시의 연구를 토대로 작성될 것이다. .... (Dennis Shasha)

term :

John McCarthy    인공지능 (Artificial Intelligence)   LISP   제한화 (Circumscription)   상식 (Commonsense Knowledge)

site :

John McCarthy : Stanford Computer Science  

Wikipedia : John McCarthy

1971 Turing Award : John McCarthy ... Lecture

paper :

인공지능이란 무엇인가 ? (What is AI ?) : John McCarthy

존 매카시 : 인공지능이란 무엇인가? : 김현숙

존 매커시 : 컴퓨터를 만든 15 인의 과학자 : Dennis Shasha. Cathy Lazere

video :

Artificial Intelligence (complete) - Jeffrey Mishlove : Thinking Allowed : John McCarthy, 2011/11/03

The Origins and Nature of Computation / Formalizing Common Sense Knowledge in Mathematical Logic : John McCarthy, 2011/08/07

 

John McCarthy, on Philosophy of AI (Philosophy of Information Workshop) : Pieter Adriaans : 2005