위키백과

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

미국의 컴퓨터 과학자

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

존 매카시
John McCarthy
존 매카시(2006)
존 매카시(2006)
출생 1927년 9월 4일(1927-09-04)
미국 미국 U.S.
사망 2011년 10월 24일(2011-10-24)(84세)
미국 미국 스탠퍼드
거주지 미국
국적 미국인
주요 업적 인공지능, 리스프, 한계 지정(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)

학력 편집

수상 및 명예 편집

주요 저서 편집

  • 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.

참조 편집

  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. 2011년 12월 16일에 원본 문서 (PDF)에서 보존된 문서. 2015년 5월 2일에 확인함. 
  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).

외부 링크 편집

 
위키미디어 공용에 관련된
미디어 분류가 있습니다.
원본 주소 "https://ko.wikipedia.org/w/index.php?title=존_매카시_(컴퓨터_과학자)&oldid=36566021"