의견.png

존 매카시

위키원
7095sj (토론 | 기여)님의 2020년 7월 10일 (금) 11:25 판
이동: 둘러보기, 검색

존 매카시(John McCarthy)는 미국의 전산학자이자 인지과학자이다. 1927년 9월 4일에 출생하여 2011년 10월 24일에 사망했다. 캘리포니아 공과대학에서 수학과 학사학위를 받았으며, 프린스턴 대학에서 '뷰티풀마인드'의 실제 주인공 존 내시와 함께 박사과정을 전공했다. 인공지능이라는 용어를 처음으로 사용했고, 인공지능에 대한 연구로 1971년 튜링상을 수상했다. 또한, 인공지능을 위한 고급프로그래밍 언어 리스프(LISP)를 직접 설계하고 구현했으며, 체스 알고리즘과 시분할 시스템의 개념을 처음으로 개발했다.

생애

  • 2011년 10월 24일 : 사망(84세)

업적

수상

  • 1971년 : 튜링상
  • 1985년 : 컴퓨터 파이오니어 상, IJCAI 우수 연구 상
  • 1988년 : 교토상
  • 1990년 11월 23일 : 미국 과학 훈장[1]
  • 1999년 : 미국 컴퓨터 역사 박물관 회원
  • 2003년 : 벤자민 프랭클린 메달
  • 2011년 : IEEE 인텔리전트 시스템 인공지능 부문 명예의 전당[2]
  • 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.
  • 리스프의 역사 : 존 매카시가 제작했다고 알려진 사이트[3]

각주

  1. The President's National Medal of Science: Recipient Details〉, 《National Science Foundation》, 2015-02-15
  2. IEEE Computer Society Magazine Honors Artificial Intelligence Leaders〉, 《DigitalJournal》, 2011-08-24
  3. 리스프의 역사〉, 《스탠포드에듀》, 1996-07-26

참고자료

같이 보기


  의견.png 이 존 매카시 문서는 인공지능 인물에 관한 토막글입니다. 위키 문서는 누구든지 자유롭게 편집할 수 있습니다. [편집]을 눌러 이 문서의 내용을 채워주세요.