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

존 매카시(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와 지능 체계 분야에 중대한 기여를 함 Press release source: PRWeb (Vocus).
 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 석학회원
분류:국가 과학 메달 수상자