존 매카시 (컴퓨터 과학자)

	존 매카시; John McCarthy
	; 존 매카시(2006)
출생	1927년 9월 4일; 미국 U.S.
사망	2011년 10월 24일(84세); 미국 스탠퍼드
거주지	미국
국적	미국인
출신 학교	벨몬트 고등학교 (졸업, 1944); 캘리포니아 공과대학교 (학사, 1948); 프린스턴 대학교(박사, 1951)
주요 업적	인공지능, 리스프, 한계 지정(Circumscription), 상황 계산(Situation calculus)
수상	튜링상 (1971); 컴퓨터 파이오니어 상 (1985); IJCAI 우수 연구 상 (1985); 교토상 (1988); 미국 과학 훈장 (1990); 벤자민 프랭클린 메달 (2003)
분야	컴퓨터 과학
소속	스탠퍼드 대학교, 매사추세츠 공과대학교, 다트머스 대학교, 프린스턴 대학교
박사 지도교수	솔로몬 렙셰츠
박사 지도학생	루제나 바이츠시(Ruzena Bajcsy) ; 랜들 데이비스(Randall Davis); 코델 그린(Cordell Green); 라마나단 V. 구하(Ramanathan V. Guha); 바버라 리스코프(Barbara Liskov); 로버트 무어(Robert Moore); 프랜시스 모리스(Francis Morris) ; 라지 레디(Raj Reddy); 도널드 카플란(Donald Kaplan) ; 이얄 아미르(Eyal Amir) ; 아라티 파머 마티노(Aarati Parmar Martino) ; 한스 모라백(Hans Moravec)

존 매카시(John McCarthy, 1927년 9월 4일 - 2011년 10월 24일) 박사는 미국의 컴퓨터과학자이자 인지과학자이다. 인공지능에 대한 연구 업적을 인정받아 1971년 컴퓨터과학계의 노벨상으로 일컫는 튜링상을 수상했다. 리스프 프로그래밍 언어를 설계 및 구현하였으며, 1956년에 다트머스 학회에서 처음으로 인공지능(Artificial Intelligence)이라는 용어를 창안했다.

학력

1940년~1944년: 벨몬트 고등학교 (졸업)
1944년~1948년: 캘리포니아 공과대학교 (학사)
1948년~1951년: 프린스턴 대학교 (박사)

수상 및 명예

튜링상 (1971년)
교토상 (1988년)
미국 과학 훈장 (1990년)^[1]
컴퓨터 역사 박물관의 회원으로 입회 (1999년)
벤자민 프랭클린 메달 (2003년)
IEEE 인텔리전트 시스템의 AI의 명예의 전당 (2011년) - AI와 지능 체계 분야에 중대한 기여를 함^[2]^[3]
2012 스탠퍼드 엔지니어링 히어로즈의 한 명으로 이름을 올림

주요 저서

McCarthy, J. 1959. Programs with Common Sense. In Proceedings of the Teddington Conference on the Mechanization of Thought Processes, 756-91. London: Her Majfice.
McCarthy, J. 1960. Recursive functions of symbolic expressions and their computation by machine. Communications of the ACM 3(4):184-195.
McCarthy, J. 1963a A basis for a mathematical theory of computation. In Computer Programming and formal systems. North-Holland.
McCarthy, J. 1963b. Situations, actions, and causal laws. Technical report, Stanford University.
McCarthy, J., and Hayes, P. J. 1969. Some philosophical problems from the standpoint of artificial intelligence. In Meltzer, B., and Michie, D., eds., Machine Intelligence 4. Edinburgh: Edinburgh University Press. 463-502.
McCarthy, J. 1977. Epistemological problems of artificial intelligence. In IJCAI, 1038-1044.
McCarthy, J. 1980. Circumscription: A form of non-monotonic reasoning. Artificial Intelligence 13(1-2):23-79.
McCarthy, J. 1986. Applications of circumscription to common sense reasoning. Artificial Intelligence 28(1):89-116.
McCarthy, J. 1990. Generality in artificial intelligence. In Lifschitz, V., ed., Formalizing Common Sense. Ablex. 226-236.
McCarthy, J. 1993. Notes on formalizing context. In IJCAI, 555-562.
McCarthy, J., and Buvac, S. 1997. Formalizing context: Expanded notes. In Aliseda, A.; van Glabbeek, R.; and Westerstahl, D., eds., Computing Natural Language. Stanford University. Also available as Stanford Technical Note STAN-CS-TN-94-13.
McCarthy, J. 1998. Elaboration tolerance. In Working Papers of the Fourth International Symposium on Logical formalizations of Commonsense Reasoning, Commonsense-1998.
Costello, T., and McCarthy, J. 1999. Useful counterfactuals. Electronic Transactions on Artificial Intelligence 3(A):51-76
McCarthy, J. 2002. Actions and other events in situation calculus. In Fensel, D.; Giunchiglia, F.; McGuinness, D.; and Williams, M., eds., Proceedings of KR-2002, 615-628.