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

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색
Picto infobox character.png
존 매카시
John McCarthy
존 매카시(2006)
존 매카시(2006)
출생 1927년 9월 4일(1927-09-04)
미국 미국 U.S.
사망 2011년 10월 24일 (84세)
미국 미국 스탠퍼드
거주지 미국
국적 미국인
분야 컴퓨터 과학
소속 스탠퍼드 대학교, 매사추세츠 공과대학교, 다트머스 대학교, 프린스턴 대학교
출신 대학 프린스턴 대학교, 캘리포니아 공과대학교
지도 교수 솔로몬 렙셰츠
지도 학생 루제나 바이츠시(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)
주요 업적 인공지능, 리스프, 한계 지정(Circumscription), 상황 계산(Situation calculus)
수상 튜링상 (1971)
컴퓨터 파이오니어 상 (1985)
IJCAI 우수 연구 상 (1985)
교토상 (1988)
미국 과학 훈장 (1990)
벤자민 프랭클린 메달 (2003)

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

수상 및 명예[편집]

주요 저서[편집]

  • McCarthy, J. 1959. Programs with Common Sense. In Proceedings of the Teddington Conference on the Mechanization of Thought Processes, 756-91. London: Her Majesty's Stationery Office.
  • 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.

참조[편집]

  1. “President's National Medal of Science: Recipient Details 1990”. National Science Foundation. 2006년 2월 14일. 2012년 9월 27일에 확인함. 
  2. “AI's Hall of Fame” (PDF). 《IEEE Intelligent Systems》 (IEEE Computer Society) 26 (4): 5–15. 2011. doi:10.1109/MIS.2011.64. 
  3. “IEEE Computer Society Magazine Honors Artificial Intelligence Leaders”. 《DigitalJournal.com》. 2011년 8월 24일 (2011-08-24). 2011년 9월 18일 (2011-09-18)에 확인함.  Press release source: PRWeb (Vocus).

바깥 고리[편집]