"존 매카시"의 두 판 사이의 차이
19번째 줄: | 19번째 줄: | ||
* 1999년 : 미국 컴퓨터 역사 박물관 회원 | * 1999년 : 미국 컴퓨터 역사 박물관 회원 | ||
* 2003년 : 벤자민 프랭클린 메달 | * 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 | + | * 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> |
− | </ref> | ||
* 2012년 : 스탠퍼드 엔지니어링 히어로즈의 한 명으로 등재 | * 2012년 : 스탠퍼드 엔지니어링 히어로즈의 한 명으로 등재 | ||
38번째 줄: | 37번째 줄: | ||
* Costello, T., and McCarthy, J. 1999. Useful counterfactuals. Electronic Transactions on Artificial Intelligence 3(A):51-76 | * 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. | * 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. | ||
− | * '''리스프의 역사''' : 존 매카시가 제작했다고 알려진 사이트<ref name="리스프의 역사"> 〈[ http://www-formal.stanford.edu/jmc/history/lisp/lisp.html 리스프의 역사]〉, 《스탠포드에듀》, 1996-07-26 | + | * '''리스프의 역사''' : 존 매카시가 제작했다고 알려진 사이트<ref name="리스프의 역사"> 〈[http://www-formal.stanford.edu/jmc/history/lisp/lisp.html 리스프의 역사]〉, 《스탠포드에듀》, 1996-07-26</ref> |
{{각주}} | {{각주}} |
2020년 7월 10일 (금) 10:58 판
존 매카시(John McCarthy)는 미국의 전산학자이자 인지과학자이다. 인공지능이라는 용어를 처음으로 사용했다. 인공지능에 대한 연구로 1971년 튜링상을 수상했다. 인공지능을 위한 고급프로그래밍 언어 리스프를 직접 설계하고 구현했다.
생애
- 1927년 9월 4일 : 미국 출생
- 1940년~1944년 : 벨몬트 고등학교(졸업)
- 1944년~1948년 : 캘리포니아 공과대학교(학사)
- 1948년~1951년 : 프린스턴 대학교(박사)
- 1962년~2000년 : 스탠퍼드 대학교(교수)
- 1962년 : 스탠퍼드 대학교 인공지능연구실
- 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]
각주
- ↑ 〈The President's National Medal of Science: Recipient Details〉, 《National Science Foundation》, 2015-02-15
- ↑ 〈IEEE Computer Society Magazine Honors Artificial Intelligence Leaders〉, 《DigitalJournal》, 2011-08-24
- ↑ 〈리스프의 역사〉, 《스탠포드에듀》, 1996-07-26
참고자료
- 존 매카시 (컴퓨터 과학자) 위키백과 - 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,〈IEEE Computer Society Magazine Honors Artificial Intelligence Leaders〉, 《DigitalJournal》, 2011-08-24
- 〈The President's National Medal of Science: Recipient Details〉, 《NationalScienceFoundation》, 2015-02-15
같이 보기
|