존 매카시 (컴퓨터 과학자): 두 판 사이의 차이
내용 삭제됨 내용 추가됨
편집 요약 없음 |
|||
2번째 줄:
'''존 매카시'''(John McCarthy, [[1927년]] 9월 4일 - [[2011년]] 10월 24일)는 미국의 전산학자이자 인지과학자이다. [[인공지능]]에 대한 연구 업적을 인정받아 [[1971년]] [[튜링상]]을 수상했다. [[리스프]] 프로그래밍 언어를 발명했으며, 1956년에 [[다트머스 학회]]에서 처음으로 '''[[인공지능]]'''(Artificial Intelligence)이라는 용어를 창안했다.
== 수상 및 명예 ==
* [[튜링상]] (1971년)
* [[교토상]] (1988년)
* [[국립 과학상 훈장]] (미국, 1990년)<ref>{{웹 인용|url=http://www.nsf.gov/od/nms/recip_details.cfm?recip_id=233|accessdate=2012-09-27|제목=President's National Medal of Science: Recipient Details 1990|date=February 14, 2006|publisher=National Science Foundation}}</ref>
* [[컴퓨터 역사 박물관]]의 회원으로 입회 (1999년)
* [[벤자민 프랭클린 메달]] (2003년)
* [[IEEE 인텔리전트 시스템]]의 AI의 명예의 전당 (2011년) - AI와 지능 체계 분야에 중대한 기여를 함<ref>{{Doi 인용|10.1109.2FMIS.2011.64}}</ref><ref>{{cite news |url=http://www.digitaljournal.com/pr/399442 |제목=IEEE Computer Society Magazine Honors Artificial Intelligence Leaders |newspaper=[[DigitalJournal.com]] |date={{Start date|2011|8|24}} |accessdate={{Start date|2011|9|18}} }} Press release source: ''[[PRWeb]]'' ([[Vocus]]).</ref>
* 2012 [[스탠퍼드 대학교|스탠퍼드]] 엔지니어링 히어로즈의 한 명으로 이름을 올림
== 주요 저서 ==
* McCarthy, J. 1959. [http://www-formal.stanford.edu/jmc/mcc59.html Programs with Common Sense]. In ''Proceedings of the Teddington Conference on the Mechanization of Thought Processes'', 756-91. London: Her Majesty's Stationery Office.
* McCarthy, J. 1960. [http://www-formal.stanford.edu/jmc/recursive.html 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. [http://www-formal.stanford.edu/jmc/mcchay69.pdf 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.
== 참조 ==
<references />
== 바깥 고리 ==
| |||