존 매카시

존 매카시(John McCarthy)는 미국의 전산학자이자 인지과학자이다. 1927년 9월 4일에 출생하여 2011년 10월 24일에 사망했다. 인공지능이라는 용어를 처음으로 사용하고, 인공지능에 대한 연구로 1971년 튜링상을 수상했다. 또한, 인공지능을 위한 고급프로그래밍 언어 리스프를 직접 설계하고 구현하고, 체스 알고리즘과 시분할 시스템의 개념을 처음으로 고안했다.

생애

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

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

업적

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

인공지능

http://www.aitimes.com/news/articleView.html?idxno=119328

배경

• 연구

발표

• 다크머스 워크숍

1956년 다크머스 워크숍에서 존 매카시가 인공지능이라는 용어를 처음 사용했다.

저서

• 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,〈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

같이 보기

• 인공지능
• 리스프

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

인공지능 : 인공지능 기술, 인공지능 활용, 인공지능 로봇, 인공지능 개발업체, 인공지능 인물 □■⊕ 한국 곽인범 • 김대훈 • 김동환 • 배영우 • 서대호 • 신민영 • 신형섭 • 안익진 • 오준호 • 유태준 • 이경일 • 이정호 • 임재원 • 최진 • 하정우 중국 앤드류 응 • 양즈린 • 우위신 • 저우신위 • 천즈치 일본 쿠니히코 후쿠시마 동남아 마크 슈뮬레비치 미국 그레그 브로크만 • 라지쿠마 티루말라이남비 • 래리 서머스 • 마빈 민스키 • 마크 레이버트 • 미라 무라티 • 보이치에흐 자렘바 • 브렛 테일러 • 사친 나로드 • 샘 알트만 • 아담 디안젤로 • 에두아르도 에라조 • 에멧 시어 • 월터 피츠 • 일론 머스크 • 일리야 수츠케버 • 저스틴 해리스 • 제프 딘 • 제프리 힌튼 • 존 매카시 • 캐롤 라일리 • 타샤 매코리 • 토머스 왓슨 • 프랭크 로젠블랫 • 헬렌 토너 유럽 기욤 램플 • 데미스 하사비스 • 데이비드 클렘 • 아서 멘쉬 • 안젤로 달리 • 알베르토 바르가라 • 앨런 튜링 • 유르겐 슈미트후버 • 티모시 라크로아 기타 다니엘 흄 • 프레드 알메이다 위키 : 자동차, 교통, 지역, 지도, 산업, 기업, 단체, 업무, 생활, 쇼핑, 블록체인, 암호화폐, 인공지능, 개발, 인물, 행사, 일반