존 매카시

존 매카시(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일 : 미국 과학 훈장
• 1999년 : 미국 컴퓨터 역사 박물관 회원
• 2003년 : 벤자민 프랭클린 메달
• 2011년 : IEEE 인텔리전트 시스템 인공지능 부문 명예의 전당
• 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.
• 리스프의 역사 : 존 매카시가 제작했다고 알려진 사이트

참고자료

• 존 매카시 (컴퓨터 과학자) 위키백과 - 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

같이 보기

• 인공지능
• 리스프

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

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