Åbn hovedmenuen

John McCarthy

amerikansk matematiker, informatiker og ingeniør

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

John McCarthy

John McCarthy Stanford.jpg

Personlig information
Født 4. september 1927Rediger på Wikidata
BostonRediger på Wikidata
Død 24. oktober 2011 (84 år), 23. oktober 2011 (84 år)Rediger på Wikidata
StanfordRediger på Wikidata
Nationalitet USA Amerikansk
Uddannelse og virke
Uddannelses­sted California Institute of Technology (til 1948),
Princeton Universitet (til 1951)Rediger på Wikidata
Medlem af Association 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 SciencesRediger på Wikidata
Beskæftigelse AI-forsker, universitetslærer, matematiker, ingeniør, datalogRediger på Wikidata
Fagområde Kunstig intelligensRediger på Wikidata
Arbejdsgiver Princeton Universitet, Stanford University, Massachusetts Institute of TechnologyRediger på Wikidata
Nomineringer og priser
Udmærkelser Turing-prisen (1971),
ACM Fellow,
AAAI Fellow,
Fellow of the Association for Computing Machinery (1994),
Computer History Museum fellow med flereRediger på Wikidata
Eksterne henvisninger
John McCarthys hjemmesideRediger på Wikidata
Information med symbolet Billede af blyant hentes fra Wikidata. Kildehenvisninger foreligger sammesteds.

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.

BibliografiRediger

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

NoterRediger

  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 henvisningerRediger