의견.png

"존 매카시"의 두 판 사이의 차이

위키원
이동: 둘러보기, 검색
1번째 줄: 1번째 줄:
 +
'''존 매카시'''(John McCarthy)는 미국의 전산학자이자 인지과학자이다. [[인공지능]]이라는 용어를 처음으로 사용했다. 인공지능에 대한 연구로 1971년 [[튜링상]]을 수상했다. 인공지능을 위한 고급프로그래밍 언어 [[리스프]]를 직접 설계하고 구현했다.
  
 +
== 생애 ==
 +
* 1927년 9월 4일 : 출생
 +
* 1940년~1944년 : 벨몬트 고등학교(졸업)
 +
* 1944년~1948년 : 캘리포니아 공과대학교(학사)
 +
* 1948년~1951년 : 프린스턴 대학교(박사)
 +
* 1962년~2000년 : 미국 스탠포드대학교 교수
 +
* 1962년 : 미국 스탠포드대학교 인공지능연구실
  
 +
* 2011년 10월 24일 : 사망
  
== 개요 ==
+
== 업적 및 수상 ==
 
+
* 1971년 : 튜링상
== 업적 ==
+
* 1985년 : 컴퓨터 파이오니어 상, IJCAI 우수 연구 상
 +
* 1988년 : 교토상
 +
* 1990년 11월 23일 : 미국 과학 훈장<ref name="The President's National Medal of Science: Recipient Details"> 〈[https://www.nsf.gov/od/nms/recip_details.jsp?recip_id=233 The President's National Medal of Science: Recipient Details]〉, 《National Science Foundation》, 2015-02-15</ref>
 +
* 1999년 : 미국 컴퓨터 역사 박물관 회원
 +
* 2003년 : 벤자민 프랭클린 메달
 +
* 2011년 : IEEE 인텔리전트 시스템 인공지능 부문 명예의 전당<ref name="IEEE Computer Society Magazine Honors Artificial Intelligence Leaders"> 〈[http://www.digitaljournal.com/pr/399442 IEEE Computer Society Magazine Honors Artificial Intelligence Leaders]〉, 《DigitalJournal》, 2011-08-24
 +
</ref>
  
 +
== 저서 ==
 +
* 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.
  
 
{{각주}}
 
{{각주}}
  
 
== 참고자료 ==
 
== 참고자료 ==
 
+
* 존 매카시 (컴퓨터 과학자) 위키백과 - https://ko.wikipedia.org/wiki/%EC%A1%B4_%EB%A7%A4%EC%B9%B4%EC%8B%9C_(%EC%BB%B4%ED%93%A8%ED%84%B0_%EA%B3%BC%ED%95%99%EC%9E%90)
 +
* Los Alamitos,〈[http://www.digitaljournal.com/pr/399442 IEEE Computer Society Magazine Honors Artificial Intelligence Leaders]〉, 《DigitalJournal》, 2011-08-24
 +
* 〈[https://www.nsf.gov/od/nms/recip_details.jsp?recip_id=233 The President's National Medal of Science: Recipient Details]〉, 《NationalScienceFoundation》, 2015-02-15
  
 
== 같이 보기 ==
 
== 같이 보기 ==
 
* [[인공지능]]
 
* [[인공지능]]
 
+
* [[리스프]]
 
 
  
  
 
{{인공지능 인물|토막글}}
 
{{인공지능 인물|토막글}}
 
[[분류:인공지능]]
 
[[분류:인공지능]]

2020년 7월 10일 (금) 10:25 판

존 매카시(John McCarthy)는 미국의 전산학자이자 인지과학자이다. 인공지능이라는 용어를 처음으로 사용했다. 인공지능에 대한 연구로 1971년 튜링상을 수상했다. 인공지능을 위한 고급프로그래밍 언어 리스프를 직접 설계하고 구현했다.

생애

  • 1927년 9월 4일 : 출생
  • 1940년~1944년 : 벨몬트 고등학교(졸업)
  • 1944년~1948년 : 캘리포니아 공과대학교(학사)
  • 1948년~1951년 : 프린스턴 대학교(박사)
  • 1962년~2000년 : 미국 스탠포드대학교 교수
  • 1962년 : 미국 스탠포드대학교 인공지능연구실
  • 2011년 10월 24일 : 사망

업적 및 수상

  • 1971년 : 튜링상
  • 1985년 : 컴퓨터 파이오니어 상, IJCAI 우수 연구 상
  • 1988년 : 교토상
  • 1990년 11월 23일 : 미국 과학 훈장[1]
  • 1999년 : 미국 컴퓨터 역사 박물관 회원
  • 2003년 : 벤자민 프랭클린 메달
  • 2011년 : IEEE 인텔리전트 시스템 인공지능 부문 명예의 전당[2]

저서

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

참고자료

같이 보기


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