John McCarthy (bilgisayar bilimcisi) - John McCarthy (computer scientist)

John McCarthy
John McCarthy Stanford.jpg
John McCarthy, 2006 yılında bir konferansta
Doğmak ( 1927-09-04 )4 Eylül 1927
Boston, Massachusetts , ABD
Öldü 24 Ekim 2011 (2011-10-24)(84 yaşında)
Stanford, Kaliforniya , ABD
gidilen okul Princeton Üniversitesi , California Teknoloji Enstitüsü
Bilinen Yapay zeka , Lisp , sınırlandırma , durum hesabı
Ödüller Turing Ödülü (1971)
Bilgisayar Öncüsü Ödülü (1985)
IJCAI Araştırma Mükemmelliği Ödülü (1985)
Kyoto Ödülü (1988)
Ulusal Bilim Madalyası (1990)
Benjamin Franklin Madalyası (2003)
Bilimsel kariyer
Alanlar Bilgisayar Bilimi
kurumlar Stanford Üniversitesi , Massachusetts Teknoloji Enstitüsü , Dartmouth Koleji , Princeton Üniversitesi
Doktora danışmanı Donald C. Spencer
Doktora öğrencileri Ruzena Bajcsy
Ramanathan V. Guha
Barbara Liskov
Raj Reddy

John McCarthy (4 Eylül 1927 - 24 Ekim 2011) Amerikalı bir bilgisayar bilimcisi ve bilişsel bilim adamıydı . McCarthy, yapay zeka disiplininin kurucularından biriydi . " Yapay zeka " (AI) terimini oluşturan , Lisp programlama dili ailesini geliştiren , ALGOL programlama dilinin tasarımını önemli ölçüde etkileyen, zaman paylaşımını popüler hale getiren ve çöp toplamayı icat eden belgenin yazarlarından biridir .

McCarthy, kariyerinin çoğunu Stanford Üniversitesi'nde geçirdi . Yapay zeka konusuna katkılarından dolayı 1971 Turing Ödülü , Amerika Birleşik Devletleri Ulusal Bilim Madalyası ve Kyoto Ödülü gibi birçok ödül ve onur ödülü aldı .

Hayatın erken dönemi ve eğitim

John McCarthy, 4 Eylül 1927'de Boston, Massachusetts'te İrlandalı göçmen bir baba ve Litvanyalı Yahudi göçmen bir anne olan John Patrick ve Ida (Glatt) McCarthy'nin çocuğu olarak dünyaya geldi . Aile esnasında sıkça taşınmaya zorunda kalmıştı Büyük Buhran McCarthy'nin babası için düzenleyici olarak iş bulmuş kadar Amalgamlı Giysi İşçileri içinde Los Angeles, California . Babası İrlanda , County Kerry'deki Cromane balıkçı köyünden geldi . Annesi 1957'de öldü.

McCarthy, Belmont Lisesi'nden iki yıl erken mezun oldu . McCarthy, 1944'te Caltech'e kabul edildi.

McCarthy matematik için erken bir yetenek gösterdi ; Gençlik yıllarında, yakınlardaki California Teknoloji Enstitüsü'nde (Caltech) kullanılan ders kitaplarını inceleyerek kendi kendine üniversite matematiği öğrendi. Sonuç olarak, Caltech'teki matematiğin ilk iki yılını atlayabildi. McCarthy, beden eğitimi kurslarına katılmadığı için Caltech'ten uzaklaştırıldı . Daha sonra servis ABD Ordusu ve bir alıcı, geri kabul edildi BS içinde matematik 1948 yılında.

Caltech'te John von Neumann'ın gelecekteki çabalarına ilham veren bir konferansa katıldı .

McCarthy, Princeton Üniversitesi'ne geçmeden önce Caltech'te lisansüstü eğitimini tamamladı . Doktora derecesi aldı . Donald C. Spencer'ın danışmanlığında " İzdüşüm operatörleri ve kısmi diferansiyel denklemler " başlıklı doktora tezini tamamladıktan sonra 1951'de Princeton'dan matematik okudu .

Akademik kariyer

Princeton ve Stanford Üniversitesi'nde kısa süreli atamalardan sonra McCarthy , 1955'te Dartmouth'da yardımcı doçent oldu .

Bir yıl sonra, McCarthy 1956 sonbaharında araştırma görevlisi olarak MIT'ye taşındı. MIT'deki yıllarının sonunda, öğrencileri tarafından zaten sevgiyle "John Amca" olarak anılmaya başlandı.

1962'de McCarthy , 2000 yılında emekli olana kadar kaldığı Stanford'da profesör oldu .

McCarthy, lambda hesabı gibi matematiği savundu ve yapay zekada sağduyuya ulaşmak için mantık icat etti .

Bilgisayar bilimlerine katkılar

2008 yılında McCarthy

John McCarthy, Alan Turing , Marvin Minsky , Allen Newell ve Herbert A. Simon ile birlikte yapay zekanın "kurucu babalarından" biridir . McCarthy, Minsky, Nathaniel Rochester ve Claude E. Shannon , 1956 yazında ünlü Dartmouth konferansı için yazdıkları bir öneride "yapay zeka" terimini ortaya attılar . Bu konferans bir alan olarak AI'yı başlattı. (Minsky daha sonra 1959'da MIT'de McCarthy'ye katıldı.)

1958'de, daha sonra soru cevaplama ve mantık programlama üzerine çalışmalara ilham veren tavsiye alıcıyı önerdi .

McCarthy, Lisp'i 1950'lerin sonlarında icat etti . Lambda hesabını temel alan Lisp, 1960 yılında yayınlanmasından sonra kısa süre sonra AI uygulamaları için tercih edilen programlama dili haline geldi.

1958'de McCarthy, ALGOL 60'ı tasarlayan komitenin bir parçası haline gelen bir ACM Ad hoc Diller Komitesi'nde görev yaptı . Ağustos 1959'da, ALGOL'un bir parçası haline gelen özyineleme ve koşullu ifadelerin kullanımını önerdi. Daha sonra , ALGOL 60 ve ALGOL 68'i belirleyen , koruyan ve destekleyen Algoritmik Diller ve Hesaplamalar üzerine Uluslararası Bilgi İşlem Federasyonu (IFIP) IFIP Çalışma Grubu 2.1'in bir üyesi olarak programlama ve bilişim alanında uluslararası standartların geliştirilmesiyle ilgilendi .

1959 civarında, Lisp'teki sorunları çözmek için bir tür otomatik bellek yönetimi olan " çöp toplama " yöntemlerini icat etti .

O oluşturulmasını motive etmek yardımcı Proje MAC de MIT oraya çalıştığı ve Stanford Üniversitesi, o kurulmasına yardımcı Stanford AI Laboratuvarı Projesi MAC için yıllarca dost bir rakibi.

McCarthy, en eski zaman paylaşım sistemlerinden üçünün ( Uyumlu Zaman Paylaşım Sistemi , BBN Zaman Paylaşım Sistemi ve Dartmouth Zaman Paylaşım Sistemi ) yaratılmasında etkili oldu . Meslektaşı Lester Earnest , Los Angeles Times'a şunları söyledi:

Zaman paylaşımlı sistemlerin gelişimini John'un başlatması dışında, İnternet neredeyse olduğu kadar çabuk olmayacaktı. Zaman paylaşımı için yeni isimler icat etmeye devam ediyoruz. Sunucular olarak anılmaya başlandı... Şimdi buna bulut bilişim diyoruz. Bu hala sadece zaman paylaşımı. John başlattı.

—  Woo, Elaine

1961'de, MIT'nin yüzüncü yılını kutlamak için yaptığı bir konuşmada, kamuya açık bilgi işlem fikrini ilk öneren belki de ilk kişiydi: bu bilgisayar zaman paylaşım teknolojisi, bilgi işlem gücünün ve hatta belirli uygulamaların, bilgisayar aracılığıyla satılabileceği bir gelecekle sonuçlanabilir. faydalı iş modeli ( su veya elektrik gibi ). Bu bilgisayar veya bilgi aracı fikri, 1960'ların sonlarında çok popülerdi, ancak 1990'ların ortalarında kaybolmuştu. Ancak, 2000 yılından bu yana, fikir, yeni formlar (bkz yeniden kendini göstermeye başlamıştır uygulama servis sağlayıcı , şebeke bilgi işlem ve bilgi işlem bulut ).

1966'da McCarthy ve Stanford'daki ekibi , Sovyetler Birliği'ndeki meslektaşlarıyla bir dizi satranç oyunu oynamak için kullanılan bir bilgisayar programı yazdı ; McCarthy'nin ekibi iki maçı kaybederek çekti iki oyun (bkz Kotok-McCarthy ).

1978'den 1986'ya kadar McCarthy, monoton olmayan akıl yürütmenin sınırlandırma yöntemini geliştirdi .

1982'de, uzaya doğru uzanan ve bir tür taşıma bandı boyunca Dünya'dan itilen bir topak akışının dışa doğru kuvvetiyle dikey tutulan bir tür kule olan uzay çeşmesi fikrini ortaya atmış gibi görünüyor . Yükler, konveyör bandını yukarı doğru hareket ettirir.

Diğer aktiviteler

McCarthy sık sık Usenet forumlarında dünya meseleleri hakkında yorum yaptı . Fikirlerinden bazıları, "insanın maddi ilerlemesinin arzu edilir ve sürdürülebilir olduğunu göstermeyi amaçlayan" sürdürülebilirlik Web sayfasında bulunabilir. McCarthy ciddi bir kitap okuyucusu, iyimser ve konuşma özgürlüğünün sadık bir destekçisiydi. En iyi Usenet etkileşimi rec.arts.books arşivlerinde görülebilir. Ve McCarthy , rab-fests adı verilen rab okuyucularının Palo Alto'daki SF Bay Area yemeklerine aktif olarak katıldı . Stanford'da Avrupa etnik şakalarını içeren ifade özgürlüğü eleştirisini savunmaya devam etti.

McCarthy matematik ve matematik eğitiminin önemini gördü. Yıllardır onun Usenet .sig'i , "Aritmetik yapmayı reddeden, saçma sapan konuşmaya mahkumdur" idi; plaka kapağında da benzer şekilde "Aritmetiği yapın yoksa saçma sapan konuşmaya mahkum olun" yazıyordu. 30 doktora mezununa danışmanlık yaptı.

2001'deki kısa öyküsü "Robot ve Bebek", robotların duygulara sahip olup olmaması (veya sahip olmayı simüle etmesi) gerektiği sorusunu gülünç bir şekilde araştırdı ve sonraki on yıllarda giderek daha fazla öne çıkan İnternet kültürü ve sosyal ağların beklenen yönlerini ortaya koydu.

Kişisel hayat

McCarthy üç kez evlendi. İkinci karısı, 1978'de Annapurna I Central'ı tamamen kadınlardan oluşan bir keşif gezisinin bir parçası olarak ölçeklemeye çalışırken ölen bir programcı ve dağcı olan Vera Watson'dı . Daha sonra Stanford'da ve daha sonra SRI International'da bilgisayar bilimcisi olan Carolyn Talcott ile evlendi .

McCarthy kendini bir ateist olarak görüyordu. Komünist olarak yetiştirildi , 1968'de Sovyet işgalinden sonra Çekoslovakya'yı ziyaret ettikten sonra muhafazakar bir Cumhuriyetçi oldu . McCarthy, 24 Ekim 2011'de Stanford'daki evinde öldü.

Yapay zeka felsefesi

1979'da McCarthy, "Zihinsel Nitelikleri Makinelere Atfetmek" başlıklı bir makale yazdı. İçinde, "Termostatlar kadar basit makinelerin inançları olduğu söylenebilir ve inançlara sahip olmak, problem çözme performansına sahip çoğu makinenin bir özelliği gibi görünüyor" diye yazdı. 1980'de filozof John Searle , McCarthy ile aynı fikirde olmayan ve makinelerin sırf bilinçli olmadıkları için inançları olamayacağı görüşünü benimseyen ünlü Çin Odası Argümanı ile yanıt verdi . Searle, makinelerin "anlayıştan" veya " amaçlılıktan " (zihin felsefesinde yaygın olarak kullanılan bir terim) yoksun olduğunu savunuyor . Bir tarafı ya da diğerini destekleyen çok miktarda literatür yazılmıştır.

Ödüller ve onurlar

Başlıca yayınlar

  • McCarthy, J. 1959. "Programs with Common Sense" , Wayback Machine'de (4 Ekim 2013'te arşivlendi). In Mekanizasyon Düşünce Süreçleri üzerine Teddington Konferansı Tutanakları , 756-91. Londra: Majestelerinin Kırtasiye Ofisi.
  • McCarthy, J. 1960. "Recursive sembolik ifadelerin fonksiyonları ve makine tarafından kendi hesaplama" de Wayback Machine (2013 4 Ekim arşivlenmiş). ACM 3(4):184-195'in İletişimleri.
  • McCarthy, J. 1963a "Matematiksel bir hesaplama teorisi için bir temel". In Bilgisayar Programlama ve biçimsel sistemler . Kuzey Hollanda.
  • McCarthy, J. 1963b. Durumlar, eylemler ve nedensel yasalar. Teknik rapor, Stanford Üniversitesi.
  • McCarthy, J., ve Hayes, PJ 1969. yapay zeka açısından bazı felsefi problemler de Wayback Machine (25 Ağustos 2013 arşivlenmiş). Meltzer, B. ve Michie, D., eds., Machine Intelligence 4. Edinburgh: Edinburgh University Press. 463-502.
  • McCarthy, J. 1977. "Yapay zekanın epistemolojik sorunları". In IJCAI , 1038-1044.
  • McCarthy, J (1980). "Sınırlama: Monoton olmayan bir akıl yürütme biçimi". Yapay Zeka . 13 (1–2): 23–79. doi : 10.1016/0004-3702(80)90011-9 .
  • McCarthy, J (1986). "Sağduyu muhakemesine sınırlama uygulamaları". Yapay Zeka . 28 (1): 89-116. CiteSeerX  10.1.1.29.5268 . doi : 10.1016/0004-3702(86)90032-9 .
  • McCarthy, J. 1990. "Yapay zekada genellik". Lifschitz, V., ed., Formalizing Common Sense . Ablex. 226-236.
  • McCarthy, J. 1993. "Bağlam resmileştirme üzerine notlar". In IJCAI , 555-562.
  • McCarthy, J. ve Buvac, S. 1997. "Biçimi resmileştirmek: Genişletilmiş notlar". Aliseda'da A.; van Glabbeek, R.; ve Westerstahl, D., eds., Computing Natural Language . Stanford Üniversitesi. Ayrıca Stanford Teknik Notu STAN-CS-TN-94-13 olarak da mevcuttur.
  • McCarthy, J. 1998. "Detaylandırma toleransı". In Sağduyu MUHAKEMENİN Mantıksal biçimlendirmelerden Dördüncü Uluslararası Sempozyumu iş kağıtları , yaygın kanı-1998.
  • Costello, T. ve McCarthy, J. 1999. "Yararlı karşı olgular". Yapay Zeka Üzerine Elektronik İşlemler 3(A):51-76
  • McCarthy, J. 2002. "Durum hesabındaki eylemler ve diğer olaylar". Fensel, D.'de; Giunchiglia, F.; McGuinness, D.; ve Williams, M., eds., Proceedings of KR-2002 , 615-628.

Ayrıca bakınız

Referanslar

daha fazla okuma

  • Philip J. Hilts, Bilimsel Mizaç: Çağdaş Bilimde Üç Yaşam , Simon ve Schuster, 1982. John McCarthy, fizikçi Robert R. Wilson ve genetikçi Mark Ptashne'nin uzun profilleri.
  • Pamela McCorduck , Düşünen Makineler: yapay zekanın tarihi ve beklentilerine dair kişisel bir araştırma , 1979, ikinci baskı 2004.
  • Pamela Weintraub, ed., The Omni Röportajlar , New York: Ticknor ve Fields, 1984. Orijinal olarak Omni dergisinde yayınlanan toplu röportajlar ; McCarthy ile bir röportaj içerir.

Dış bağlantılar

Öncesinde
 Bilgisayar ve Bilişsel Bilimlerde Benjamin Franklin Madalyası
2003 		tarafından başarıldı