위키원
존 매카시
존 매카시(John McCarthy)는 미국의 전산학자이자 인지과학자이다. 1927년 9월 4일에 출생하여 2011년 10월 24일에 사망했다. 캘리포니아 공과대학에서 수학과 학사학위를 받았으며, 프린스턴 대학에서 '뷰티풀마인드'의 실제 주인공 존 내시와 함께 박사과정을 전공했다. 인공지능이라는 용어를 처음으로 사용했고, 인공지능에 대한 연구로 1971년 튜링상을 수상했다. 또한, 인공지능을 위한 고급프로그래밍 언어 리스프(LISP)를 직접 설계하고 구현했으며, 체스 알고리즘과 시분할 시스템의 개념을 처음으로 개발했다.
생애
- 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.
- 리스프의 역사 : 존 매카시가 제작했다고 알려진 사이트[4]
각주
- ↑ 〈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
- ↑ 윤광제, 〈AI 역사의 시작〉, 《인공지능타임스》, 2019-09-19
- ↑ 〈리스프의 역사〉, 《스탠포드에듀》, 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
- 윤광제, 〈AI 역사의 시작〉, 《인공지능타임스》, 2019-09-19
같이 보기
| ||||||||||||||||||||||||||||||||||
