John McCarthy

John McCarthy
John McCarthy
	13. maj 2006
Personlig information
Født	4. september 1927 ; Boston, Massachusetts, USA
Død	24. oktober 2011 (84 år) ; Stanford, Californien, USA
Dødsårsag	Hjerteanfald
Gravsted	Alta Mesa Memorial Park
Nationalitet	Amerikansk
Mor	Ida Glatt McCarthy
Uddannelse og virke
Uddannelsessted	California Institute of Technology (til 1948),; Princeton Universitet (til 1951),; Belmont High School
Elev af	Solomon Lefschetz
Medlem af	Association for Computing Machinery (fra 1994),; National Academy of Sciences,; Association for the Advancement of Artificial Intelligence,; American Association for the Advancement of Science,; American Academy of Arts and Sciences
Beskæftigelse	AI-forsker, universitetsunderviser, matematiker, ingeniør, datalog
Fagområde	Kunstig intelligens
Deltog i	Dartmouth Summer Research Project on Artificial Intelligence
Arbejdsgiver	Princeton Universitet, Stanford University (1962-2000), Massachusetts Institute of Technology (til 1962)
Kendte værker	kunstig intelligens, Colossal Typewriter
Nomineringer og priser
Udmærkelser	Turing-prisen (1971),; ACM Fellow (1994),; AAAI Fellow (1990),; Computer History Museum fellow,; Programming Languages Achievement Award (2002) med flere
Eksterne henvisninger
	John McCarthys hjemmeside
	Information med symbolet hentes fra Wikidata. Kildehenvisninger foreligger sammesteds.; [ redigér på Wikidata ]

John McCarthy (født 4. september 1927 i Boston, Massachusetts, død 24. oktober 2011) 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

↑ Navnet er anført på engelsk og stammer fra Wikidata hvor navnet endnu ikke findes på dansk.
↑ Andrew Myers (2011-10-25). "Stanford's John McCarthy, seminal figure of artificial intelligence, dies at 84". Stanford University.
↑ Thomson, Iain (2011-10-24). "Father of Lisp and AI John McCarthy has died". The Register. San Francisco.

Eksterne henvisninger

John McCarthys hjemmeside

[sprog_enQ5149117-1] Navnet er anført på engelsk og stammer fra Wikidata hvor navnet endnu ikke findes på dansk.

[2] Andrew Myers (2011-10-25). "Stanford's John McCarthy, seminal figure of artificial intelligence, dies at 84". Stanford University.

[3] Thomson, Iain (2011-10-24). "Father of Lisp and AI John McCarthy has died". The Register. San Francisco.