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

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

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

수상 및 명예 
 튜링상 (1971년)
 교토상 (1988년)
 미국 과학 훈장 (1990년)
 컴퓨터 역사 박물관의 회원으로 입회 (1999년)
 벤자민 프랭클린 메달 (2003년)
 IEEE 인텔리전트 시스템의 AI의 명예의 전당 (2011년) - AI와 지능 체계 분야에 중대한 기여를 함
 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.

참조

외부 링크 

 
 

1927년 출생
2011년 사망
튜링상 수상자
미국의 컴퓨터 과학자
미국 과학 아카데미의 회원
프로그래밍 언어 설계자
프린스턴 대학교 동문
캘리포니아 공과대학교 동문
스탠퍼드 대학교 교수
매사추세츠 공과대학교 교수
다트머스 대학교
프린스턴 대학교 교수
다트머스 대학교 교수
유대계 미국인
아일랜드계 미국인
보스턴 출신
리투아니아계 미국인
미국의 무신론자
ACM 석학회원