Movatterモバイル変換


[0]ホーム

URL:


Ir para o conteúdo
Wikipédia
Busca

John McCarthy

Origem: Wikipédia, a enciclopédia livre.
John McCarthy
John McCarthy, em 2006
Conhecido(a) porLisp
Nascimento
Morte
23 de outubro de2011 (84 anos)
NacionalidadeEstados UnidosEstadunidense
Alma materUniversidade de Princeton,Instituto de Tecnologia da Califórnia
PrêmiosPrêmio Turing (1971),Prêmio Pioneiro da Computação (1985),Prêmio Kyoto (1988),Medalha Nacional de Ciências (1990),Medalha Benjamin Franklin (2003)
Carreira científica
Orientador(es)(as)Solomon Lefschetz[1]
Orientado(a)(s)Ruzena Bajcsy,Ramanathan Guha,Barbara Liskov,Raj Reddy
InstituiçõesUniversidade Stanford,Instituto de Tecnologia de Massachusetts,Dartmouth College,Universidade de Princeton
Campo(s)Ciência da computação

John McCarthy (Boston,4 de setembro de1927Stanford,Califórnia,23 de outubro de2011[2]) foi umcientista da computaçãoestadunidense.

Carreira

[editar |editar código]

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-sharing e inventou aColetor de lixo.

McCarthy passou a maior parte de sua carreira naUniversidade de Stanford. Conhecido pelos estudos no campo dainteligência artificial e por ser o criador dalinguagem de programaçãoLisp. Recebeu oPrêmio Turing de 1972 e aMedalha Nacional de Ciências dosEstados Unidos de 1991.[3]

Publicações selecionadas

[editar |editar código]
  • 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 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. InIJCAI, 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. 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 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.

Referências

  1. John McCarthy (em inglês) noMathematics Genealogy Project
  2. Morre John McCarthy, pioneiro da Inteligência Artificial e pai do Lisp
  3. «Morre John McCarthy, criador do termo 'inteligência artificial'». Folha.com. 24 de outubro de 2011. Consultado em 25 de outubro de 2011 

Ligações externas

[editar |editar código]



Precedido por
James Hardy Wilkinson
Prêmio Turing
1971
Sucedido por
Edsger Dijkstra


1966:Alan Perlis ·1967:Maurice Vincent Wilkes ·1968:Richard Hamming ·1969:Marvin Minsky ·1970:James Hardy Wilkinson ·1971:John McCarthy ·1972:Edsger Dijkstra ·1973:Charles Bachman ·1974:Donald Knuth ·1975:Allen Newell eHerbert Simon ·1976:Michael Rabin eDana Scott ·1977:John Backus ·1978:Robert Floyd ·1979:Kenneth Iverson ·1980:Charles Antony Richard Hoare ·1981:Edgar Frank Codd ·1982:Stephen Cook ·1983:Ken Thompson eDennis Ritchie ·1984:Niklaus Wirth ·1985:Richard Karp ·1986:John Hopcroft eRobert Tarjan ·1987:John Cocke ·1988:Ivan Sutherland ·1989:William Kahan ·1990:Fernando Corbató ·1991:Robin Milner ·1992:Butler Lampson ·1993:Juris Hartmanis eRichard Stearns ·1994:Edward Feigenbaum eRaj Reddy ·1995:Manuel Blum ·1996:Amir Pnueli ·1997:Douglas Engelbart ·1998:James Gray ·1999:Fred Brooks ·2000:Andrew Chi-Chih Yao ·2001:Ole-Johan Dahl eKristen Nygaard ·2002:Ronald Rivest,Adi Shamir eLeonard Adleman ·2003:Alan Kay ·2004:Vint Cerf eRobert Kahn ·2005:Peter Naur ·2006:Frances Allen ·2007:Edmund Clarke,Ernest Allen Emerson eJoseph Sifakis ·2008:Barbara Liskov ·2009:Charles Thacker ·2010:Leslie Valiant ·2011:Judea Pearl ·2012:Silvio Micali eShafrira Goldwasser ·2013:Leslie Lamport ·2014:Michael Stonebraker ·2015:Martin Hellman eWhitfield Diffie ·2016:Tim Berners-Lee ·2017:John LeRoy Hennessy eDavid A. Patterson ·2018:Yoshua Bengio,Geoffrey Hinton eYann LeCun ·2019:Edwin Catmull ePat Hanrahan ·2020:Alfred Aho eJeffrey Ullman ·2021:Jack Dongarra ·2022:Robert Metcalfe ·2023:Avi Wigderson
Ciência do Comportamento e Social
Década de 1960
Década de 1980
Década de 1990
Década de 2000
Década de 2010
Ciências Biológicas
Década de 1960
Década de 1970
Década de 1980
Década de 1990
Década de 2000
Década de 2010
Química
Década de 1960
Década de 1980
Década de 1990
Década de 2000
Década de 2010
Ciências da Engenharia
Década de 1960
Década de 1970
Década de 1980
Década de 1990
Década de 2000
Década de 2010
Ciências Matemáticas, Estatísticas e Computacionais
Década de 1960
Década de 1970
Década de 1980
Década de 1990
Década de 2000
Década de 2010
Ciências Físicas
Década de 1960
Década de 1970
Década de 1980
Década de 1990
Década de 2000
Década de 2010
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
Não houve a premiação devido àpandemia de COVID-19
2021
2022
Ícone de esboçoEste artigo sobre um(a)cientista da computação é umesboço. Você pode ajudar a Wikipédiaexpandindo-o.


Controle de autoridade
Obtida de "https://pt.wikipedia.org/w/index.php?title=John_McCarthy&oldid=68252932"
Categorias:
Categorias ocultas:

[8]ページ先頭

©2009-2025 Movatter.jp