John McCarthy (datavetare) - John McCarthy (computer scientist)

John McCarthy
John McCarthy Stanford.jpg
John McCarthy vid en konferens 2006
Född ( 1927-09-04 )4 september 1927
Boston, Massachusetts , USA
Död 24 oktober 2011 (2011-10-24)(84 år)
Stanford, Kalifornien , USA
Alma mater Princeton University , California Institute of Technology
Känd för Artificiell intelligens , Lisp , omskrivning , situationskalkyl
Utmärkelser Turing Award (1971)
Computer Pioneer Award (1985)
IJCAI Award for Research Excellence (1985)
Kyoto Prize (1988)
National Medal of Science (1990)
Benjamin Franklin Medal (2003)
Vetenskaplig karriär
Fält Datavetenskap
Institutioner Stanford University , Massachusetts Institute of Technology , Dartmouth College , Princeton University
Doktorandrådgivare Donald C. Spencer
Doktorander Ruzena Bajcsy
Ramanathan V. Guha
Barbara Liskov
Raj Reddy

John McCarthy (4 september 1927 - 24 oktober 2011) var en amerikansk datavetenskapare och kognitiv forskare . McCarthy var en av grundarna till disciplinen artificiell intelligens . Han var medförfattare till dokumentet som myntade termen " artificiell intelligens " (AI), utvecklade Lisp- programmeringsspråksfamiljen , påverkade signifikant utformningen av ALGOL- programmeringsspråket, populariserade tidsdelning och uppfann skräpsamling .

McCarthy tillbringade större delen av sin karriär vid Stanford University . Han fick många utmärkelser och utmärkelser, till exempel Turing Award 1971 för sina bidrag till ämnet AI, USA: s National Medal of Science och Kyoto -priset .

tidigt liv och utbildning

John McCarthy föddes i Boston, Massachusetts , den 4 september 1927, till en irländsk invandrarpappa och en litauisk judisk immigrantmamma, John Patrick och Ida (Glatt) McCarthy. Familjen var tvungen att flytta ofta under den stora depressionen , tills McCarthys pappa fick arbete som organisatör för Amalgamated Clothing Workers i Los Angeles, Kalifornien . Hans far kom från fiskebyn Cromane i County Kerry , Irland. Hans mor dog 1957.

McCarthy tog examen från Belmont High School två år för tidigt. McCarthy antogs till Caltech 1944.

McCarthy visade tidigt på matematik ; under tonåren lärde han sig matematik genom att studera de läroböcker som användes vid det närliggande California Institute of Technology (Caltech). Som ett resultat kunde han hoppa över de två första åren av matematik på Caltech. McCarthy stängdes av från Caltech för att inte ha gått fysisk utbildning . Han tjänstgjorde sedan i den amerikanska armén och återinfördes och fick en BS i matematik 1948.

Det var på Caltech som han deltog i en föreläsning av John von Neumann som inspirerade hans framtida strävanden.

McCarthy avslutade inledningsvis doktorandstudier vid Caltech innan han flyttade till Princeton University . Han fick en doktorsexamen. i matematik från Princeton 1951 efter att ha avslutat en doktorsavhandling med titeln " Projektionsoperatorer och partiella differentialekvationer ", under överinseende av Donald C. Spencer .

Akademisk karriär

Efter korttidsanställningar vid Princeton och Stanford University blev McCarthy 1955 biträdande professor vid Dartmouth .

Ett år senare flyttade McCarthy till MIT som forsknings karl under hösten 1956. I slutet av sina år vid MIT han redan kärleksfullt kallad "Uncle John" av sina elever.

1962 blev McCarthy professor i Stanford, där han stannade tills han gick i pension år 2000.

McCarthy kämpade för matematik som lambda calculus och uppfann logik för att uppnå sunt förnuft inom artificiell intelligens.

Bidrag inom datavetenskap

McCarthy 2008

John McCarthy är en av "grundarna" för artificiell intelligens, tillsammans med Alan Turing , Marvin Minsky , Allen Newell och Herbert A. Simon . McCarthy, Minsky, Nathaniel Rochester och Claude E. Shannon myntade termen "artificiell intelligens" i ett förslag som de skrev för den berömda Dartmouth -konferensen sommaren 1956. Denna konferens startade AI som ett fält. (Minsky anslöt sig senare till McCarthy på MIT 1959.)

År 1958 föreslog han rådgivaren , som inspirerade till senare arbete med frågesvar och logikprogrammering .

McCarthy uppfann Lisp i slutet av 1950 -talet. Baserat på lambda -kalkylen blev Lisp snart det valda programmeringsspråket för AI -applikationer efter publiceringen 1960.

1958 tjänstgjorde McCarthy i en ACM Ad hoc -kommitté för språk som blev en del av kommittén som utformade ALGOL 60 . I augusti 1959 föreslog han användning av rekursion och villkorliga uttryck, som blev en del av ALGOL. Därefter engagerade han sig i att utveckla internationella standarder inom programmering och informatik, som medlem i International Federation for Information Processing (IFIP) IFIP Working Group 2.1 on Algorithmic Languages ​​and Calculi, som specificerade , underhåller och stöder ALGOL 60 och ALGOL 68 .

Runt 1959 uppfann han så kallade " skräpsamlingsmetoder ", ett slags automatisk minneshantering , för att lösa problem i Lisp.

Han hjälpte till att motivera skapandet av Project MAC vid MIT när han arbetade där, och vid Stanford University hjälpte han till att etablera Stanford AI Laboratory , under många år en vänlig rival till Project MAC.

McCarthy var avgörande för skapandet av tre av de allra tidigaste tidsdelningssystemen ( kompatibelt Time-Sharing System , BBN Time-Sharing System och Dartmouth Time Sharing System ). Hans kollega Lester Earnest sa till Los Angeles Times:

Internet skulle inte ha hänt så snart som det gjorde förutom det faktum att John initierade utvecklingen av tidsdelningssystem. Vi fortsätter att uppfinna nya namn för tidsdelning. Det kom att kallas servrar ... Nu kallar vi det cloud computing. Det är fortfarande bara tidsdelning. John började.

-  Woo, Elaine

1961 var han kanske den första som offentligt föreslog tanken på användbar dator , i ett tal för att fira MIT: s hundraårsjubileum: att datorns tidsdelningsteknik kan resultera i en framtid där datorkraft och till och med specifika applikationer kan säljas genom utility affärsmodell (som vatten eller el ). Denna idé om en dator eller informationsverktyg var mycket populär under slutet av 1960-talet, men hade bleknat i mitten av 1990-talet. Men sedan 2000 har idén återuppstått i nya former (se applikationstjänstleverantör , grid computing och cloud computing ).

1966 skrev McCarthy och hans team på Stanford ett datorprogram som används för att spela en rad schackspel med motsvarigheter i Sovjetunionen ; McCarthys lag förlorade två matcher och gjorde två oavgjorda matcher (se Kotok-McCarthy ).

Mellan 1978 och 1986 utvecklade McCarthy omskrivningsmetoden för icke-monoton resonemang .

1982 tycks han ha sitt ursprung i idén om rymdfontänen , en typ av torn som sträcker sig ut i rymden och hålls vertikalt av den yttre kraften av en ström av pellets som drivs från jorden längs ett slags transportband som återför pellets till jorden. Nyttolaster skulle köra transportbandet uppåt.

Andra aktiviteter

McCarthy kommenterade ofta världsfrågor på Usenet -forumen. Några av hans idéer finns på hans hållbarhetswebbsida, som "syftar till att visa att mänskligt materiellt framsteg är önskvärt och hållbart". McCarthy var en seriös bokläsare, en optimist och en stark anhängare av yttrandefriheten. Hans bästa Usenet -interaktion är synlig i rec.arts.books arkiv. Och McCarthy deltog aktivt i SF Bay Area-middagar i Palo Alto av rab-läsare som kallades rab-fests. Han fortsatte att försvara yttrandefrihetskritik som involverade europeiska etniska skämt i Stanford.

McCarthy såg vikten av matematik och matematikutbildning. Hans Usenet .sig i åratal var, "Den som vägrar att räkna är dömd att prata nonsens"; på hans registreringsskyltomslag stod det på samma sätt: "Gör räkningen eller bli dömd att prata nonsens." Han rådde 30 doktorander.

Hans novell från 2001 "The Robot and the Baby" utforskade farciskt frågan om robotar ska ha (eller simulera att ha) känslor och förväntade aspekter av internetkultur och sociala nätverk som har blivit alltmer framträdande under de följande decennierna.

Privatliv

McCarthy var gift tre gånger. Hans andra fru var Vera Watson , en programmerare och bergsklättrare som dog 1978 och försökte skala Annapurna I Central som en del av en expedition för alla kvinnor . Han gifte sig senare med Carolyn Talcott , datavetare vid Stanford och senare SRI International .

McCarthy ansåg sig vara ateist. Uppvuxen som kommunist blev han en konservativ republikan efter ett besök i Tjeckoslovakien 1968 efter sovjetinvasionen . McCarthy dog ​​i sitt hem i Stanford den 24 oktober 2011.

Filosofi om artificiell intelligens

1979 skrev McCarthy en artikel med titeln "Att tillskriva mentala egenskaper till maskiner". I den skrev han, "Maskiner som är så enkla som termostater kan sägas ha övertygelser, och att ha övertygelser verkar vara en egenskap hos de flesta maskiner som kan lösa problem." År 1980 svarade filosofen John Searle med sitt berömda kinesiska rumsargument, var oense med McCarthy och intog ståndpunkten att maskiner inte kan ha övertygelser bara för att de inte är medvetna. Searle hävdar att maskiner saknar "förståelse" eller " avsiktlighet " (en term som vanligtvis används i sinnesfilosofin). En enorm mängd litteratur har skrivits till stöd för den ena eller den andra sidan.

Pris och ära

Stora publikationer

  • McCarthy, J. 1959. "Program med sunt förnuft" på Wayback Machine (arkiverat 4 oktober 2013). In Proceedings of the Teddington Conference on the Mechanization of Thought Processes , 756-91. London: Her Majesty's Stationery Office.
  • McCarthy, J. 1960. "Rekursiva funktioner för symboliska uttryck och deras beräkning med maskin" på Wayback Machine (arkiverad 4 oktober 2013). Kommunikationer av ACM 3 (4): 184-195.
  • McCarthy, J. 1963a "En grund för en matematisk beräkningsteori". Inom datorprogrammering och formella system . Nord-Holland.
  • McCarthy, J. 1963b. Situationer, handlingar och kausallagar. Teknisk rapport, Stanford University.
  • McCarthy, J. och Hayes, PJ 1969. Några filosofiska problem ur artificiell intelligens från Wayback Machine (arkiverat 25 augusti 2013). I Meltzer, B. och Michie, D., red., Machine Intelligence 4. Edinburgh: Edinburgh University Press. 463-502.
  • McCarthy, J. 1977. "Epistemologiska problem med artificiell intelligens". I IJCAI , 1038-1044.
  • McCarthy, J (1980). "Omskrift: En form av icke-monoton resonemang". Artificiell intelligens . 13 (1–2): 23–79. doi : 10.1016/0004-3702 (80) 90011-9 .
  • McCarthy, J (1986). "Tillämpningar av omskrivning till sunt förnuftsresonemang". Artificiell intelligens . 28 (1): 89–116. CiteSeerX  10.1.1.29.5268 . doi : 10.1016/0004-3702 (86) 90032-9 .
  • McCarthy, J. 1990. "Allmänhet i artificiell intelligens". I Lifschitz, V., red., Formalizing Common Sense . Ablex. 226-236.
  • McCarthy, J. 1993. "Anteckningar om formaliserande sammanhang". I IJCAI , 555-562.
  • McCarthy, J. och Buvac, S. 1997. "Formalizing context: Expanded notes". I Aliseda, A .; van Glabbeek, R .; och Westerstahl, D., red., Computing Natural Language . Stanford University. Finns även som Stanford Technical Note STAN-CS-TN-94-13.
  • McCarthy, J. 1998. "Utarbetningstolerans". I Working Papers of the Fourth International Symposium on Logical formalizations of Commonsense Reasoning , Commonsense-1998.
  • Costello, T. och McCarthy, J. 1999. "Användbara motfaktaler". Elektroniska transaktioner om artificiell intelligens 3 (A): 51-76
  • McCarthy, J. 2002. "Actions and other events in situation calculus". I Fensel, D .; Giunchiglia, F .; McGuinness, D .; och Williams, M., red., Proceedings of KR-2002 , 615-628.

Se även

Referenser

Vidare läsning

  • Philip J. Hilts, Scientific Temperaments: Three Lives in Contemporary Science , Simon och Schuster, 1982. Långa profiler av John McCarthy, fysikern Robert R. Wilson och genetikern Mark Ptashne.
  • Pamela McCorduck , Machines Who Think: en personlig undersökning av artificiell intelligens historia och utsikter , 1979, andra upplagan 2004.
  • Pamela Weintraub, red., The Omni Interviews , New York: Ticknor and Fields, 1984. Samlade intervjuer publicerades ursprungligen i Omni magazine; innehåller en intervju med McCarthy.

externa länkar

Föregås av
 Benjamin Franklin -medaljen i dator- och kognitiv vetenskap
2003 		Lyckades med