John McCarthy (September 4, 1927 – October 24, 2011)[1] was an American computer scientist and cognitive scientist. McCarthy was one of the founders of the discipline of artificial intelligence.[2] He coined the term "artificial intelligence" (AI), developed the Lispprogramming language family, significantly influenced the design of the ALGOLprogramming language, popularized timesharing, and was very influential in the early development of AI.
McCarthy received many accolades and honors, such as the Turing Award for his contributions to the topic of AI, the United States National Medal of Science, and theKyoto Prize.
Contents [hide]
1 Personal life and education
2 Career in computer science
3 Awards and honors
4 Major publications
5 See also
6 References
7 Further reading
8 External links
Major publications[edit]
- McCarthy, J. 1959. "Programs with Common Sense" at the Wayback Machine (archived October 4, 2013). In Proceedings of the Teddington Conference on the Mechanization of Thought Processes, 756-91. London: Her Majesty's Stationery Office.
- McCarthy, J. 1960. "Recursive functions of symbolic expressions and their computation by machine" at the Wayback Machine(archived October 4, 2013). 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 at the Wayback Machine (archived August 25, 2013). 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.
Professor John McCarthy shows off computer chess in 1966. The computer science department celebrated its 50th anniversary this week.
Photo by Chuck Painter
沒有留言:
張貼留言