John McCarthy
John McCarthy (Boston, 4 de setembro de 1927 — Stanford, Califórnia, 23 de outubro de 2011[2]) foi um cientista da computação estadunidense.
| John McCarthy | |
|---|---|
 | |
| Conhecido(a) por | Lisp |
| Nascimento | 4 de setembro de 1927 Boston |
| Morte | 23 de outubro de 2011 (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[1] |
| 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 |
Carreira
editarEle foi coautor do documento que cunhou o termo "inteligência artificial" (IA), desenvolveu a família de linguagem de programação Lisp, influenciou significativamente o design da linguagem ALGOL, popularizou o time-sharing e inventou a Coletor de lixo.
McCarthy passou a maior parte de sua carreira na Universidade de Stanford. Conhecido pelos estudos no campo da inteligência artificial e por ser o criador da linguagem de programação Lisp. Recebeu o Prêmio Turing de 1972 e a Medalha Nacional de Ciências dos Estados Unidos de 1991.[3]
Publicações selecionadas
editar- 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. 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.
Referências
- ↑ John McCarthy (em inglês) no Mathematics Genealogy Project
- ↑ Morre John McCarthy, pioneiro da Inteligência Artificial e pai do Lisp
- ↑ «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- Literatura de e sobre John McCarthy (em alemão) no catálogo da Biblioteca Nacional da Alemanha
- John McCarthy (em inglês) no Mathematics Genealogy Project
- McCarthy's Stanford home page no Wayback Machine (arquivado em outubro 11, 2013).
- Lista de publicações do Digital Bibliography & Library Project.
- John McCarthy (em inglês) no Mathematics Genealogy Project
- John McCarthy at the AI Genealogy Project.
- Celebration of John McCarthy's Accomplishments at Stanford University.
- Entrevista com Guy Steele realizada na OOPSLA 2008; Conjunto de entrevistas:
- Oral history interview with John McCarthy no 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 Minsky no 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. Dennis no 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 |
