John McCarthy

John McCarthy
John McCarthy John McCarthy, em 2006
Conhecido(a) por	Lisp
Nascimento	4 de setembrode1927 Boston
Morte	23 de outubrode2011(84 anos)
Nacionalidade	Estadunidense
Alma mater	Universidade de Princeton,Instituto de Tecnologia da Califórnia
Prêmios	Prêmio Turing(1971),Prêmio Pioneiro da Computação(1985),Prêmio Kyoto(1988),Medalha Nacional de Ciências(1990),Medalha Benjamin Franklin(2003)
Orientador(es)(as)	Solomon Lefschetz
Orientado(a)(s)	Ruzena Bajcsy,Ramanathan Guha,Barbara Liskov,Raj Reddy
Instituições	Universidade Stanford,Instituto de Tecnologia de Massachusetts,Dartmouth College,Universidade de Princeton
Campo(s)	Ciência da computação

John McCarthy(Boston,4 de setembrode1927—Stanford,Califórnia,23 de outubrode2011) foi umcientista da computaçãoestadunidense.

Carreira

Ele foi coautor do documento que cunhou o termo "inteligência artificial"(IA), desenvolveu a família delinguagem de programaçãoLisp,influenciou significativamente o design da linguagem ALGOL, popularizou otime-sharinge inventou aColetor de lixo.

McCarthy passou a maior parte de sua carreira naUniversidade de Stanford.Conhecido pelos estudos no campo dainteligência artificiale por ser o criador dalinguagem de programaçãoLisp.Recebeu oPrêmio Turingde 1972 e aMedalha Nacional de CiênciasdosEstados Unidosde 1991.

Publicações selecionadas

• McCarthy, J. 1959.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.Recursive functions of symbolic expressions and their computation by machine.Communications of the ACM3(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 Intelligence4. Edinburgh: Edinburgh University Press. 463-502.
• McCarthy, J. 1977. Epistemological problems of artificial intelligence. InIJCAI,1038-1044.
• McCarthy, J. 1980. Circumscription: A form of non-monotonic reasoning.Artificial Intelligence13(1-2):23-79.
• McCarthy, J. 1986. Applications of circumscription to common sense reasoning.Artificial Intelligence28(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. InIJCAI,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. InWorking 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 Intelligence3(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.

Ligações externas

• Literatura de e sobre John McCarthy(em alemão) no catálogo daBiblioteca Nacional da Alemanha
• John McCarthy(em inglês) noMathematics Genealogy Project
• McCarthy's Stanford home pagenoWayback Machine(arquivado em outubro 11, 2013).
• Lista de publicaçõesdoDigital Bibliography & Library Project.

• John McCarthy(em inglês) noMathematics Genealogy Project
• John McCarthyat the AI Genealogy Project.
• Celebration of John McCarthy's Accomplishments at Stanford University.
• Entrevista com Guy Steelerealizada na OOPSLA 2008; Conjunto de entrevistas:
  • Oral history interview with John McCarthyno Instituto Charles Babbage,Universidade de Minnesota,Minneapolis. McCarthy discute seu papel no desenvolvimento do time-sharing no Instituto de Tecnologia de Massachusetts. Ele também descreve seu trabalho em inteligência artificial (IA) financiado pela Agência de Projetos de Pesquisa Avançada, incluindo IA baseada em lógica (Lisp) e robótica.
  • Oral history interview with Marvin Minskyno Instituto Charles Babbage, Universidade de Minnesota, Minneapolis. Minsky descreve a pesquisa de inteligência artificial (IA) no Instituto de Tecnologia de Massachusetts (MIT), incluindo o trabalho de John McCarthy.
  • Oral history interview with Jack B. Dennisno Instituto Charles Babbage, Universidade de Minnesota, Minneapolis. Dennis discute o trabalho de John McCarthy sobre compartilhamento de tempo e a influência do Escritório de Técnicas de Processamento de Informações da Darpa no desenvolvimento do compartilhamento de tempo.
  • Oral history interview with Fernando J. Corbatóno Instituto Charles Babbage, Universidade de Minnesota, Minneapolis. Corbató discute a pesquisa em ciência da computação, especialmente o compartilhamento de tempo, no Instituto de Tecnologia de Massachusetts (MIT), incluindo John McCarthy e a pesquisa sobre compartilhamento de tempo.
• National Academy of Sciences Biographical Memoir

Precedido por James Hardy Wilkinson

Prêmio Turing 1971

Sucedido por Edsger Dijkstra