의견.png

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

위키원
이동: 둘러보기, 검색
잔글
38번째 줄: 38번째 줄:
 
* 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>
 
* '''리스프의 역사''' : 존 매카시가 제작했다고 알려진 사이트<ref name="리스프의 역사"> 〈[http://www-formal.stanford.edu/jmc/history/lisp/lisp.html 리스프의 역사]〉, 《스탠포드에듀》, 1996-07-26</ref>
 +
 +
== 인공지능 ==
 +
 +
== 리스프 ==
  
 
{{각주}}
 
{{각주}}

2020년 7월 10일 (금) 11:00 판

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

생애

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

인공지능

리스프

각주

  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
  3. 리스프의 역사〉, 《스탠포드에듀》, 1996-07-26

참고자료

같이 보기


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