John McCarthy (informatyk) - John McCarthy (computer scientist)

John McCarthy
John McCarthy Stanford.jpg
John McCarthy na konferencji w 2006 roku
Urodzić się ( 04.09.1927 )4 września 1927
Boston, Massachusetts , Stany Zjednoczone
Zmarł 24 października 2011 (24.10.2011)(w wieku 84 lat)
Alma Mater Uniwersytet Princeton , Kalifornijski Instytut Technologii
Znany z Sztuczna inteligencja , Lisp , obwódka , rachunek sytuacyjny
Nagrody 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)
Kariera naukowa
Pola Informatyka
Instytucje Stanford University , Massachusetts Institute of Technology , Dartmouth College , Princeton University
Doradca doktorski Donald C. Spencer
Doktoranci Ruzena Bajcsy
Ramanathan V. Guha
Barbara Liskov
Raj Reddy

John McCarthy (4 września 1927 – 24 października 2011) był amerykańskim informatykiem i kognitywistą . McCarthy był jednym z twórców dyscypliny sztucznej inteligencji . Jest współautorem dokumentu, który ukuł termin „ sztuczna inteligencja ” (AI), rozwinął rodzinę języków programowania Lisp , znacząco wpłynął na projekt języka programowania ALGOL , spopularyzował współdzielenie czasu i wymyślił zbieranie śmieci .

McCarthy spędził większość swojej kariery na Uniwersytecie Stanforda . Otrzymał wiele wyróżnień i wyróżnień, takich jak Nagroda Turinga w 1971 za wkład w temat sztucznej inteligencji, Narodowy Medal Nauki Stanów Zjednoczonych oraz Nagrodę Kioto .

Wczesne życie i edukacja

John McCarthy urodził się 4 września 1927 r. w Bostonie w stanie Massachusetts , jako ojciec irlandzkiego imigranta i litewskiej żydowskiej matki, Johna Patricka i Idy (Glatt) McCarthy. Rodzina była zmuszona do częstych przeprowadzek podczas Wielkiego Kryzysu , dopóki ojciec McCarthy'ego nie znalazł pracy jako organizator Amalgamated Clothing Workers w Los Angeles w Kalifornii . Jego ojciec pochodził z rybackiej wioski Cromane w hrabstwie Kerry w Irlandii. Jego matka zmarła w 1957 roku.

McCarthy ukończył Belmont High School dwa lata wcześniej. McCarthy został przyjęty do Caltech w 1944 roku.

McCarthy wykazywał wczesne zdolności matematyczne ; jako nastolatek uczył się matematyki w college'u, studiując podręczniki używane w pobliskim California Institute of Technology (Caltech). W rezultacie był w stanie pominąć pierwsze dwa lata matematyki w Caltech. McCarthy został zawieszony w Caltech za nieuczestniczenie w kursach wychowania fizycznego . Następnie służył w armii amerykańskiej i został ponownie przyjęty, otrzymując licencjat z matematyki w 1948 roku.

To właśnie w Caltech wziął udział w wykładzie Johna von Neumanna, który zainspirował jego przyszłe przedsięwzięcia.

McCarthy początkowo ukończył studia podyplomowe w Caltech, zanim przeniósł się na Uniwersytet Princeton . Uzyskał stopień doktora nauk technicznych. w matematyce z Princeton w 1951 po ukończeniu rozprawy doktorskiej pt. „ Operatory rzutowania i równania różniczkowe cząstkowe ”, pod kierunkiem Donalda C. Spencera .

Kariera akademicka

Po krótkoterminowych nominacjach na Princeton i Stanford University , McCarthy został adiunktem w Dartmouth w 1955 roku.

Rok później McCarthy przeniósł się do MIT jako pracownik naukowy jesienią 1956 roku. Pod koniec lat spędzonych w MIT był już pieszczotliwie nazywany przez swoich uczniów „wujkiem Johnem”.

W 1962 roku McCarthy został profesorem zwyczajnym w Stanford, gdzie pozostał aż do przejścia na emeryturę w 2000 roku.

McCarthy był orędownikiem matematyki, takiej jak rachunek lambda, i wynalazł logikę, aby osiągnąć zdrowy rozsądek w sztucznej inteligencji.

Wkład w informatykę

McCarthy w 2008 roku

John McCarthy jest jednym z „ojców założycieli” sztucznej inteligencji, obok Alana Turinga , Marvina Minsky'ego , Allena Newella i Herberta A. Simona . McCarthy, Minsky, Nathaniel Rochester i Claude E. Shannon ukuli termin „sztuczna inteligencja” w propozycji, którą napisali na słynną konferencję w Dartmouth latem 1956 roku. Konferencja ta zapoczątkowała sztuczną inteligencję jako dziedzinę. (Minsky później dołączył do McCarthy w MIT w 1959.)

W 1958 zaproponował radcę , co zainspirowało późniejsze prace nad odpowiedziami na pytania i programowaniem logicznym .

McCarthy wynalazł Lisp pod koniec lat pięćdziesiątych. Opierając się na rachunku lambda , Lisp wkrótce stał się preferowanym językiem programowania dla aplikacji AI po jego opublikowaniu w 1960 roku.

W 1958 r. McCarthy zasiadał w Komitecie Ad hoc ds. Języków ACM, który stał się częścią komitetu, który zaprojektował ALGOL 60 . W sierpniu 1959 zaproponował użycie rekurencji i wyrażeń warunkowych, które stały się częścią ALGOL. Następnie zaangażował się w opracowywanie międzynarodowych standardów w programowaniu i informatyce, jako członek Grupy Roboczej IFIP 2.1 Międzynarodowej Federacji Przetwarzania Informacji (IFIP) ds. Języków Algorytmicznych i Rachunków, która określa , utrzymuje i wspiera ALGOL 60 i ALGOL 68 .

Około 1959 wymyślił tak zwane metody " zbierania śmieci ", rodzaj automatycznego zarządzania pamięcią , aby rozwiązywać problemy w Lispie.

Pomógł zmotywować tworzenie Project MAC w MIT, kiedy tam pracował, a na Uniwersytecie Stanford pomógł założyć Stanford AI Laboratory , przez wiele lat przyjaznego rywala dla Project MAC.

McCarthy walnie do powstania trzech najwcześniejszych System Time-Sharing s ( Compatible Time-Sharing Systemu , BBN Time-Sharing Systemu i Dartmouth dzielenie czasu systemu ). Jego kolega Lester Earnest powiedział Los Angeles Times:

Internet nie powstałby tak szybko, jak to się stało, gdyby nie fakt, że John zainicjował rozwój systemów z podziałem czasu. Ciągle wymyślamy nowe nazwy do podziału czasu. Zaczęło się nazywać serwerami… Teraz nazywamy to przetwarzaniem w chmurze. To wciąż tylko podział czasu. John to zaczął.

—  Woo, Elaine

W 1961 r. był prawdopodobnie pierwszym, który publicznie zasugerował ideę obliczeń użytkowych , w przemówieniu wygłoszonym z okazji stulecia MIT: że technologia współdzielenia czasu komputerowego może zaowocować przyszłością, w której moc obliczeniowa, a nawet określone aplikacje będą mogły być sprzedawane za pośrednictwem model biznesowy mediów (takich jak woda lub prąd ). Ten pomysł na komputer lub narzędzie informacyjne był bardzo popularny pod koniec lat sześćdziesiątych, ale wyblakł w połowie lat dziewięćdziesiątych. Jednak od 2000 r. pomysł powrócił w nowych formach (patrz dostawca usług aplikacyjnych , przetwarzanie sieciowe i przetwarzanie w chmurze ).

W 1966 McCarthy i jego zespół w Stanford napisali program komputerowy używany do rozgrywania serii partii szachów z odpowiednikami w Związku Radzieckim ; Drużyna McCarthy'ego przegrała dwa mecze i zremisowała dwa (patrz Kotok-McCarthy ).

W latach 1978-1986 McCarthy opracował metodę rozumowania niemonotonicznego w okręgach .

Wydaje się, że w 1982 roku wpadł na pomysł fontanny kosmicznej , typu wieży rozciągającej się w kosmos i utrzymywanej w pionie przez zewnętrzną siłę strumienia granulek wyrzucanych z Ziemi wzdłuż pewnego rodzaju przenośnika taśmowego, który zwraca granulki na Ziemię. Ładunki pędziły taśmociągiem w górę.

Inne czynności

McCarthy często komentował sprawy światowe na forach Usenetu . Niektóre z jego pomysłów można znaleźć na jego stronie internetowej poświęconej zrównoważonemu rozwojowi, która „ma na celu pokazanie, że postęp materialny człowieka jest pożądany i zrównoważony”. McCarthy był poważnym czytelnikiem książek, optymistą i zagorzałym zwolennikiem wolności słowa. Jego najlepsza interakcja w Usenecie jest widoczna w archiwach rec.arts.books. A McCarthy aktywnie uczestniczył w kolacjach SF Bay Area w Palo Alto, na których rabiniści zwali się na rabinfests. Następnie na Stanford bronił krytyki wolności słowa dotyczącej europejskich żartów etnicznych.

McCarthy dostrzegł znaczenie matematyki i edukacji matematycznej. Jego Usenet .sig przez lata brzmiał: „Ten, kto odmawia wykonywania arytmetyki, jest skazany na gadanie bzdur”; na okładce jego tablicy rejestracyjnej widniał podobnie: „Zrób arytmetykę albo bądź skazany na gadanie bzdur”. Doradzał 30 doktorantom.

Jego opowiadanie z 2001 r. „Robot i dziecko” w farsowy sposób badało pytanie, czy roboty powinny mieć (lub symulować posiadanie) emocji, oraz przewidywane aspekty kultury internetowej i sieci społecznościowych , które stają się coraz bardziej widoczne w ciągu następnych dziesięcioleci.

Życie osobiste

McCarthy był żonaty trzy razy. Jego drugą żoną była Vera Watson , programistka i alpinistka, która zginęła w 1978 roku, próbując wspiąć się na Annapurnę I Central w ramach ekspedycji dla kobiet . Później ożenił się z Carolyn Talcott , informatykiem ze Stanford, a później z SRI International .

McCarthy uważał się za ateistę. Wychowany jako komunista , został konserwatywnym republikaninem po wizycie w Czechosłowacji w 1968 roku po inwazji sowieckiej . McCarthy zmarł w swoim domu w Stanford 24 października 2011 r.

Filozofia sztucznej inteligencji

W 1979 roku McCarthy napisał artykuł zatytułowany „Przypisywanie cech psychicznych maszynom”. Napisał w nim: „Można powiedzieć, że maszyny tak proste jak termostaty mają przekonania, a posiadanie przekonań wydaje się być cechą charakterystyczną większości maszyn zdolnych do rozwiązywania problemów z wydajnością”. W 1980 roku filozof John Searle odpowiedział swoim słynnym chińskim argumentem pokojowym , nie zgadzając się z McCarthy i przyjmując stanowisko, że maszyny nie mogą mieć przekonań tylko dlatego, że nie są świadome. Searle twierdzi, że maszynom brakuje „rozumienia” lub „ intencjonalności ” (termin powszechnie używany w filozofii umysłu). Na poparcie jednej lub drugiej strony napisano ogromną ilość literatury.

Nagrody i wyróżnienia

Najważniejsze publikacje

  • McCarthy, J. 1959. „Programy ze zdrowym rozsądkiem” w Wayback Machine (archiwum 04 października 2013). W materiałach z konferencji w Teddington na temat mechanizacji procesów myślowych, 756-91. Londyn: Biuro Papeterii Jej Królewskiej Mości.
  • McCarthy, J. 1960. „Rekurencyjne funkcje wyrażeń symbolicznych i ich obliczanie przez maszynę” w Wayback Machine (archiwum 04 października 2013). Komunikaty ACM 3(4):184-195.
  • McCarthy, J. 1963a „Podstawa matematycznej teorii obliczeń”. W programowaniu komputerowym i systemach formalnych . Północna Holandia.
  • McCarthy, J. 1963b. Sytuacje, działania i prawa przyczynowe. Raport techniczny, Uniwersytet Stanforda.
  • McCarthy, J. i Hayes, PJ 1969. Niektóre problemy filozoficzne z punktu widzenia sztucznej inteligencji w Wayback Machine (archiwum 25 sierpnia 2013 r.). W Meltzer, B. i Michie, D., red., Machine Intelligence 4. Edynburg: Edinburgh University Press. 463-502.
  • McCarthy, J. 1977. „Epistemologiczne problemy sztucznej inteligencji”. W IJCAI , 1038-1044.
  • McCarthy, J (1980). „Okrąg: forma rozumowania niemonotonicznego”. Sztuczna Inteligencja . 13 (1–2): 23–79. doi : 10.1016/0004-3702(80)90011-9 .
  • McCarthy, J (1986). „Zastosowania okręgu do rozumowania zdroworozsądkowego”. Sztuczna Inteligencja . 28 (1): 89–116. CiteSeerX  10.1.1.29.5268 . doi : 10.1016/0004-3702(86)90032-9 .
  • McCarthy, J. 1990. „Ogólność w sztucznej inteligencji”. W Lifschitz, V., ed., Formalizacja zdrowego rozsądku . Aplex. 226-236.
  • McCarthy, J. 1993. „Uwagi dotyczące kontekstu formalizacji”. W IJCAI , 555-562.
  • McCarthy, J. i Buvac, S. 1997. „Kontekst formalizujący: notatki rozszerzone”. W Aliseda, A.; van Glabbeek, R.; i Westerstahl, D., red., Computing Natural Language . Uniwersytet Stanford. Dostępny również jako nota techniczna Stanford STAN-CS-TN-94-13.
  • McCarthy, J. 1998. „Tolerancja opracowania”. W Working Papers z IV Międzynarodowego Sympozjum na temat logicznych formalizacji zdroworozsądkowego rozumowania , Commonsense-1998.
  • Costello, T. i McCarthy, J. 1999. „Przydatne kontrfakty”. Transakcje elektroniczne dotyczące sztucznej inteligencji 3(A):51-76
  • McCarthy, J. 2002. „Działania i inne zdarzenia w rachunku sytuacyjnym”. W Fensel, D.; Giunchiglia, F.; McGuinness, D.; i Williams, M., ed., Proceedings of KR-2002 , 615-628.

Zobacz też

Bibliografia

Dalsza lektura

  • Philip J. Hilts, Temperamenty naukowe: trzy życia we współczesnej nauce , Simon and Schuster, 1982. Długie sylwetki Johna McCarthy'ego, fizyka Roberta R. Wilsona i genetyka Marka Ptashne'a.
  • Pamela McCorduck , Machines Who Think: osobiste dociekanie na temat historii i perspektyw sztucznej inteligencji , 1979, wydanie drugie 2004.
  • Pamela Weintraub, red., Wywiady Omni , Nowy Jork: Ticknor and Fields, 1984. Zebrane wywiady pierwotnie opublikowane w magazynie Omni ; zawiera wywiad z McCarthy.

Zewnętrzne linki

Poprzedzony
Medal Benjamina Franklina w dziedzinie informatyki i kognitywistyki
2003
zastąpiony przez