John McCarthy

John McCarthy (urodzony dnia3 września 1927, Boston , Massachusetts - zmarł dnia24 października 2011) jest głównym pionierem sztucznej inteligencji u boku Marvina Lee Minsky'ego  ; ucieleśnia obecną logikę symboliczną.

Pod koniec lat pięćdziesiątych, po uzyskaniu doktoratu z matematyki, stworzył z Fernando Corbato technikę podziału czasu , która pozwala kilku użytkownikom na jednoczesne korzystanie z tego samego komputera . Jest także twórcą języka LISP w 1958 roku. Nagrodę Turinga otrzymał w 1971 roku za pracę w dziedzinie sztucznej inteligencji.

Okres dojrzewania i studia

John McCarthy urodził się w Bostonie , Massachusetts na4 września 1927irlandzki imigrant, John Patrick, i imigrantka, litewska Żydówka, Ida Glatt McCarthy. Był zmuszony do częstych podróży, dopóki jego ojciec nie znalazł pracy w Los Angeles w Kalifornii .

McCarthy od najmłodszych lat interesował się matematyką. W okresie dojrzewania samodzielnie uczył się matematyki dzięki książkom California Institute of Technology (Caltech). W rzeczywistości, kiedy wszedł do Caltech, jego wiedza pozwoliła mu spędzić pierwsze dwa lata matematyki.

Po ukończeniu studiów w 1948 roku McCarthy kontynuował studia w Caltech, uzyskując w końcu doktorat z matematyki na Uniwersytecie Princeton w 1951 roku .

W tym czasie McCarthy żeni Vera Watson, deweloper i alpinista, który zmarł w 1978 roku podczas próby wznoszenia Annapurna I .

Kariera IT

W 1956 r. Przewodniczył konferencji w Dartmouth , podczas której przedstawił zasadę przycinania alfa-beta , algorytm oceny odgrywający ważną rolę w programowaniu sztucznej inteligencji, szczególnie używany przez zdecydowaną większość programów w przypadku awarii . W latach sześćdziesiątych zainicjowany przez niego program Kotok-McCarthy był jednym z najbardziej udanych. Jest także wynalazcą w 1958 roku języka Lisp . Zostawił MIT w 1962 roku do utworzenia laboratorium sztucznej inteligencji z Uniwersytetu Stanforda . Od 1962 roku McCarthy był profesorem na Uniwersytecie Stanforda , aż do przejścia na emeryturę w 2000 roku . Jest także jednym z pionierów przetwarzania w chmurze . Otrzymał Nagrodę Turinga w 1971 roku za pracę w sztucznej inteligencji.

Na emeryturze napisał opowiadanie science fiction zatytułowane Robot i dziecko , „aby po części zilustrować, czym powinny być roboty domowe”.

Najważniejsze publikacje

• Programs with Common Sense , in Proceedings of the Teddington Conference on the Mechanization of Thought Processes , 756-91. Londyn: Her Majesty's Stationery Office, 1959
• Funkcje rekurencyjne wyrażeń symbolicznych i ich obliczanie przez maszynę , Communications of the ACM 3 (4): 184-195, 1960
• Podstawą do matematycznej teorii obliczeń , w układach formalnych programowania i . Holandia Północna, 1963
• Sytuacje, działania i prawa przyczynowe. Raport techniczny , Uniwersytet Stanforda, 1963.
• Z PJ Hayesem, Niektóre problemy filozoficzne z punktu widzenia sztucznej inteligencji , w Meltzer B. i Michie D., red., Machine Intelligence 4. Edynburg, Edinburgh University Press . 463-502,1969
• Epistemologiczne problemy sztucznej inteligencji , w IJCAI , 1038-1044, 1977
• Okręg wyborczy: forma niemonotonicznego rozumowania , Artificial Intelligence 13 (1-2): 23-79, 1980
• Zastosowania okręgów do rozumowania zdroworozsądkowego , Artificial Intelligence 28 (1): 89-116, 1986
• Generality in sztucznej inteligencji , w Lifschitz, V., red., Formalizing Common Sense . Ablex. 226-236,1990
• Uwagi na temat kontekstu formalizacji , w IJCAI , 555-562, 1993
• Z S. Buvac, Formalizing context: Expanded notes , in Aliseda, A.; van Glabbeek, R.; i Westerstahl, D., red., Computing Natural Language , Stanford University, 1997
• Elaboration tolerance , w Working Papers of the Fourth International Symposium on Logical formalizations of Commonsense Reasoning , Commonsense-1998, 1998
• Z T. Costello, Przydatne kontrfaktale , Elektroniczne transakcje na sztucznej inteligencji 3 (A): 51-76, 1999
• Działania i inne zdarzenia w rachunku sytuacyjnym , w Fensel, D.; Giunchiglia, F .; McGuinness, D.; and Williams, M., eds., Proceedings of KR-2002 , 615-628, 2002.

Nagrody

• Nagroda Turinga od Association for Computing Machinery (1971).
• Nagroda z Kioto (1988).
• National Medal of Science ( Stany Zjednoczone ) w matematyce, statystyce i informatyce (1991).
• Członek Muzeum Historii Komputera (1999)
• Medal Benjamina Franklina w dziedzinie informatyki i nauk kognitywnych od Franklin Institute (2003).
• Wprowadzony do IEEE Intelligent Systems (2011), za wkład w badania nad sztuczną inteligencją i inteligentnymi systemami.

Uwagi i odniesienia

1. Sztuczna inteligencja jest sierotą ; na Slate.fr
2. Out of their Minds: The Lives and Discoveries of 15 Great Computer Scientists , Dennis Shasha i Cathy Lazere, wiosna 1998.
3. (w) Patrick J. Hayes , „  On John McCarthy's 80th Birthday, In Honor de son Contributions  ” , AI Magazine , Association for the Advancement of Artificial Intelligence, vol.  28 N O  4,2007, s.  93–102 ( czytaj online , dostęp: 24 listopada 2010 )
4. (w) Elaine Woo, John McCarthy umiera w wieku 84 lat; ojciec sztucznej inteligencji , Los Angeles Times .
5. Robot i dziecko Johna McCarthy'ego .
6. John McCarthy, ojciec sztucznej inteligencji, nie żyje , Slate ,26 października 2011.
7. J. McCarthy, Programy oparte na zdrowym rozsądku . In Proceedings of the Teddington Conference on the Mechanization of Thought Processes , 756-91. Londyn: Her Majesty's Stationery Office, 1959.
8. J. McCarthy, Funkcje rekurencyjne wyrażeń symbolicznych i ich obliczanie przez maszynę . Komunikaty ACM 3 (4): 184-195, 1960.
9. J. McCarthy i PJ Hayes, Niektóre problemy filozoficzne z punktu widzenia sztucznej inteligencji , w Meltzer, B. i Michie, D., red., Machine Intelligence 4. Edynburg, Edinburgh University Press . 463-502,1969.
10. DOI : 10.1109.2FMIS.2011.64
11. (w) „  IEEE Computer Society Magazine Honors Artificial Intelligence Leaders  ” , DigitalJournal.com , 24 sierpnia 2011 ( czytaj online , dostęp 18 września 2011 ) ( 2011-08-24 )  ( 18.09.2011 )Źródło informacji prasowej: PRWeb ( Vocus ).

Załączniki

Powiązane artykuły

• Powiat Radziwiłł 91

Linki zewnętrzne

• (en) Profesjonalna strona
• (en) Nekrolog , The Daily Telegraph ,26 października 2011.
• Zasoby badawcze  :
  • Google Scholar
  • (en)  Projekt cyfrowej bibliografii i biblioteki
  • (en)  Mathematics Genealogy Project
• Dokumentacja urzędowa  :
  • Plik wirtualnego organu międzynarodowego
  • Międzynarodowy identyfikator nazwy normy
  • CiNii
  • Biblioteka Narodowa Francji ( dane )
  • System dokumentacji uczelni
  • Biblioteka Kongresu
  • Gemeinsame Normdatei
  • Biblioteka Diety Narodowej
  • Biblioteka Narodowa Hiszpanii
  • Królewska Biblioteka Holenderska
  • Biblioteka Narodowa
  • Biblioteka Narodowa Izraela
  • Biblioteka Uniwersytecka w Polsce
  • Western Swiss Library Network
  • Biblioteka Narodowa Australii
  • Norweska baza biblioteczna
  • Czeska Biblioteka Narodowa
  • Biblioteka Narodowa Łotwy
  • WorldCat