John McCarthy

John McCarthy

John McCarthy Stanford.jpg

Personlig information
Født4. september 1927 Rediger på Wikidata
Boston Rediger på Wikidata
Død24. oktober 2011 (84 år) Rediger på Wikidata
Stanford Rediger på Wikidata
NationalitetUSA Amerikansk
MorIda Glatt McCarthy Rediger på Wikidata
Uddannelse og virke
Uddannelses­stedCalifornia Institute of Technology (til 1948),
Princeton Universitet (til 1951),
Belmont High School Rediger på Wikidata
Medlem afAssociation for Computing Machinery,
National Academy of Sciences,
Association for the Advancement of Artificial Intelligence,
American Association for the Advancement of Science,
American Academy of Arts and Sciences Rediger på Wikidata
BeskæftigelseAi-forsker, universitetslærer, matematiker, ingeniør, datalog Rediger på Wikidata
FagområdeKunstig intelligens Rediger på Wikidata
Deltog iDartmouth Summer Research Project on Artificial Intelligence Rediger på Wikidata
ArbejdsgiverPrinceton Universitet, Stanford University (1962-2000), Massachusetts Institute of Technology (til 1962) Rediger på Wikidata
Kendte værkerkunstig intelligens Rediger på Wikidata
Nomineringer og priser
UdmærkelserTuring-prisen (1971),
ACM Fellow (1994),
AAAI Fellow,
Computer History Museum fellow,
Programming Languages Achievement Award (2002) med flere Rediger på Wikidata
Eksterne henvisninger
John McCarthys hjemmeside Rediger på Wikidata
Information med symbolet Billede af blyant hentes fra Wikidata. Kildehenvisninger foreligger sammesteds.

John McCarthy (født 4. september 1927 i Boston, Massachusetts, død 24. oktober 2011[1][2]) var en amerikansk matematiker, kendt som pioner inden for kunstig intelligens og skaberen af programmeringssproget Lisp.

McCarthy fik en bachelorgrad i matematik fra California Institute of Technology i 1948 og en Ph.d. i matematik fra Princeton University i 1951. McCarthy blev herefter ansat på Princeton og senere Stanford University. Han lagde i denne periode grundlaget for kunstig intelligens, og han var i 1955 den første til at bruge dette udtryk.

I slutningen af 1950'erne kom McCarthy til MIT, og han skabte her programmeringssproget Lisp; Lisp er begyndt i 1958 og offentliggjort i 1960. McCarthy var med til at grundlægge MIT's AI Lab, et førende forskningscenter for kunstig intelligens og styresystemer. McCarthy var i denne periode med til at udvikle styresystemer baseret på tidsdeling og teoretisk arbejde om beregnelighed.

I 1962 vendte McCarthy tilbage til Stanford, hvor han senere blev pensioneret. McCarthy har på Stanford arbejdet med alle aspekter af kunstig intelligens, herunder korrekthedsbeviser for computerprogrammer, ikke-monotone ræsonnering og formalisering af dagligdags viden og sund fornuft.

McCarthy modtog i 1971 ACM's Turing Award for sit arbejde med kunstig intelligens.

Bibliografi

  • 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.

Noter

  1. ^ Andrew Myers (2011-10-25). "Stanford's John McCarthy, seminal figure of artificial intelligence, dies at 84". Stanford University. 
  2. ^ Thomson, Iain (2011-10-24). "Father of Lisp and AI John McCarthy has died". The Register. San Francisco. 

Eksterne henvisninger

Commons-logo.svg
Wikimedia Commons har medier relateret til:

Medier brugt på denne side