Yapay zekanın zaman çizelgesi - Timeline of artificial intelligence

Bu, yapay zekanın , hatta belki de sentetik zekanın bir zaman çizelgesidir .

20. Yüzyıl Öncesi

Tarih Gelişim
antik çağ Yunan Hephaestus ve Pygmalion mitleri, akıllı robotlar ( Talos gibi ) ve yapay varlıklar ( Galatea ve Pandora gibi) fikrini birleştirdi .
Mısır ve Yunanistan'da inşa edilen kutsal mekanik heykellerin bilgelik ve duygu yeteneğine sahip olduğuna inanılıyordu. Hermes Trismegistus "sahip oldukları yazardı Sensus'u ve Spiritus tanrıların gerçek doğasını keşfederek, adam bunu çoğaltmak mümkün olmuştur ...". Mozaik yasası, otomatların dinde kullanılmasını yasaklar .
MÖ 10. yüzyıl Yan Shi , Zhou Kralı Mu'ya mekanik adamlar sundu .
MÖ 384 – MÖ 322 Aristoteles , Organon'da biçimsel, mekanik düşünce ve bilgi teorisi yöntemi olan kıyası tanımladı .
1. yüzyıl İskenderiyeli Heron , mekanik adamları ve diğer otomatları yarattı .
260 Tyros'lu Porphyry, bilgi ve mantığı kategorize eden Isagogê'yi yazdı .
~800 Geber , laboratuarda insan yaşamı da dahil olmak üzere yaşamın yapay olarak yaratılması olan Takwin'in Arap simya teorisini geliştirdi .
1206 El Cezeri , programlanabilir bir mekanik insan orkestrası yarattı .
1275 İspanyol ilahiyatçı Ramon Llull , Arapça bir astrolojik araç olan Zairja'ya dayanarak kavramları mekanik olarak birleştirmek için bir araç olan Ars Magna'yı icat etti . Yöntem , 17. yüzyılda Gottfried Leibniz tarafından daha da geliştirilecekti .
~1500 Paracelsus , manyetizma, sperm ve simyadan yapay bir insan yarattığını iddia etti.
~1580 Praglı Haham Judah Loew ben Bezalel'in , hayata döndürülen bir kil adam olan Golem'i icat ettiği söylenir .
17. yüzyılın başlarında René Descartes , hayvan bedenlerinin karmaşık makinelerden başka bir şey olmadığını öne sürdü (ancak bu zihinsel fenomenler farklı bir "özden" idi).
1620 Sir Francis Bacon ampirik bilgi teorisi geliştirdi ve Aristoteles'in The Organon başlıklı oyunu The New Organon adlı eserinde tümevarımsal mantığı tanıttı .
1623 Wilhelm Schickard için harfe bir hesaplama saati çekti Kepler . Bu , 17. yüzyılda ( Tito Burattini , Samuel Morland ve René Grillet'in tasarımları dahil) doğrudan giriş hesaplayan bir saat tasarlamaya yönelik beş başarısız girişimin ilki olacak .
1641 Thomas Hobbes, Leviathan'ı yayınladı ve mekanik, kombinatoryal bir biliş teorisi sundu. "... akıl, hesap yapmaktan başka bir şey değildir" diye yazmıştı.
1642 Blaise Pascal , ilk dijital hesaplama makinesi olan mekanik hesap makinesini icat etti .
1672 Gottfried Leibniz , daha önceki makineleri geliştirerek Kademeli Hesaplayıcı'yı çarpma ve bölme yapmaya zorladı . Ayrıca ikili sayı sistemini icat etti ve argümanların mekanik olarak kararlaştırılabileceği evrensel bir akıl yürütme hesabı ( insan düşüncesinin alfabesi ) tasavvur etti . Leibniz , olası tüm problemlere cebirsel bir çözüme bir giriş olarak, dünyadaki her nesneye belirli bir sayı atamaya çalıştı.
1726 Jonathan Swift , Laputa adasındaki bir makine olan Motorun şu tanımını içeren Gulliver'in Gezileri'ni yayınladı : "Pratik ve mekanik İşlemlerle spekülatif Bilgiyi geliştirmek için bir Proje", "Makul bir fiyata en cahil Kişi" bu "Uygarlığı" kullanarak. Ücret ve biraz bedensel Emekle, Dehadan veya çalışmadan en az Yardım alarak Felsefe, Şiir, Politika, Hukuk, Matematik ve İlahiyat Kitapları yazabilir." Makine, Gottfried Leibniz'in mekanizmasının ilhamlarından biri olan Ars Magna'nın bir parodisi .
1750 Julien Offray de La Mettrie , insan düşüncesinin kesinlikle mekanik olduğunu savunan L'Homme Machine'i yayınladı .
1769 Wolfgang von Kempelen inşa edilmiş ve onun ile gezdi satranç -playing otomat , Turk . Türk'ün daha sonra bir insan satranç oyuncusu içeren bir aldatmaca olduğu gösterildi .
1818 Mary Shelley , Frankenstein'ın hikayesini yayınladı ; veya Modern Prometheus , canlı varlıklar yaratma etiğinin kurgusal bir değerlendirmesi .
1822–1859 Charles Babbage & Ada Lovelace programlanabilir mekanik hesap makineleri üzerinde çalıştı .
1837 Matematikçi Bernard Bolzano , anlambilimi resmileştirmek için ilk modern girişimi yaptı .
1854 George Boole , Boole cebirini icat ederek " akıl yürütmenin gerçekleştirildiği zihnin bu işlemlerinin temel yasalarını araştırmak, onlara bir hesabın sembolik dilinde ifade vermek" için yola çıktı .
1863 Samuel Butler , Darwinci evrimin makineler için de geçerli olduğunu öne sürdü ve bir gün bilinçli hale geleceklerini ve sonunda insanlığın yerini alacaklarını tahmin ediyor.

20. yüzyıl

1901–1950

Tarih Gelişim
1913 Bertrand Russell ve Alfred North Whitehead , biçimsel mantıkta devrim yaratan Principia Mathematica'yı yayınladı .
1915 Leonardo Torres y Quevedo , El Ajedrecista adlı bir satranç otomatını yaptı ve düşünme ve otomatlar hakkında spekülasyonlar yayınladı.
1923 Karel Čapek'in RUR (Rossum's Universal Robots) oyunu Londra'da açıldı. Bu, " robot " kelimesinin İngilizce'deki ilk kullanımıdır .
1920'ler ve 1930'lar Ludwig Wittgenstein ve Rudolf Carnap felsefeyi bilginin mantıksal analizine yönlendirdi . Alonzo Church , özyinelemeli fonksiyonel notasyon kullanarak hesaplanabilirliği araştırmak için Lambda Calculus'u geliştirdi .
1931 Kurt Gödel , yeterince güçlü biçimsel sistemlerin , eğer tutarlıysa, aksiyomlardan tüm olası teoremleri türeten herhangi bir teorem kanıtlayan makine tarafından kanıtlanamayan gerçek teoremlerin formülasyonuna izin verdiğini gösterdi . Bunu yapmak için evrensel, tamsayı tabanlı bir programlama dili oluşturması gerekiyordu, bu nedenle bazen " teorik bilgisayar biliminin babası" olarak anılıyor .
1935 Yapay zeka alanındaki en eski önemli çalışma, 20. yüzyılın ortalarında İngiliz mantıkçı ve bilgisayar öncüsü Alan Mathison Turing tarafından yapıldı.
1940 Edward Condon görüntüler Nimatron , oynanan dijital bilgisayar Nim mükemmel.
1941 Konrad Zuse , çalışan ilk program kontrollü bilgisayarları yaptı.
1943 Warren Sturgis McCulloch ve Walter Pitts , yapay sinir ağlarının temellerini atan "Sinir Aktivitesinde İçeren Fikirlerin Mantıksal Bir Hesabı"nı (1943) yayınlar .
Arturo Rosenblueth , Norbert Wiener ve Julian Bigelow " sibernetik " terimini kullanıyorlar . Wiener'in 1948'de yayınlanan bu isimle popüler kitabı.
1945 AI'nın ilerlemesinde paha biçilmez olduğunu kanıtlayacak olan oyun teorisi , matematikçi John von Neumann ve ekonomist Oskar Morgenstern tarafından 1944 tarihli Oyunlar ve Ekonomik Davranış Teorisi makalesiyle tanıtıldı .
Vannevar Bush yayınlanan Biz düşünün Mayıs gibi ( Atlantik Aylık'ı 1945 Temmuz) bilgisayarlar birçok faaliyetlerde insanları yardım ettiği geleceğin ileri görüşlü vizyon.
1948 John von Neumann ( ET Jaynes tarafından alıntılanmıştır ) bir derste bir makinenin (en azından insanlar tarafından yaratılanların) düşünmesinin imkansız olduğu yorumuna yanıt olarak: "Bir makinenin yapamayacağı bir şey olduğunda ısrar ediyorsunuz. bana bir makinenin tam olarak neyi yapamayacağını söyleyecek , o zaman ben her zaman tam da bunu yapacak bir makine yapabilirim!". Von Neumann, muhtemelen , herhangi bir etkili prosedürün (genelleştirilmiş) bir bilgisayar tarafından simüle edilebileceğini belirten Church-Turing tezine atıfta bulunuyordu .

1950'ler

Tarih Gelişim
1950 Alan Turing , Turing Testini makine zekasının bir ölçüsü olarak önermektedir .
Claude Shannon , arama olarak satranç oynamanın ayrıntılı bir analizini yayınladı .
Isaac Asimov , Robotiğin Üç Yasasını yayınladı .
1951 Çalışan ilk yapay zeka programları 1951'de Manchester Üniversitesi'nin Ferranti Mark 1 makinesinde çalışmak üzere yazılmıştır: Christopher Strachey tarafından yazılmış bir dama oyunu ve Dietrich Prinz tarafından yazılmış bir satranç programı .
1952–1962 Arthur Samuel ( IBM ), dama ( taslaklar ) için saygın bir amatöre meydan okumak için yeterli beceriyi elde etmek için ilk oyun oynama programını yazdı . İlk dama oyunu 1952'de yazılmıştır ve 1955'te oynamayı öğrenen bir versiyon yaratmıştır .
1956 Dartmouth Koleji yaz AI konferans tarafından düzenlenen John McCarthy , Marvin Minsky , Nathan Rochester ait IBM ve Claude Shannon . McCarthy , konferans için yapay zeka terimini kullandı .
Allen Newell , JC Shaw ve Herbert A. Simon ( Carnegie Institute of Technology , şimdi Carnegie Mellon University veya CMU) tarafından yazılan Logic Theorist'in (LT) ilk gösterimi . Buna genellikle ilk AI programı denir, ancak Samuel'in dama programının da güçlü bir iddiası vardır.
1958 John McCarthy ( Massachusetts Teknoloji Enstitüsü veya MIT) Lisp programlama dilini icat etti .
Herbert Gelernter ve Nathan Rochester (IBM), tarif edilen bir teoremi Prover içinde geometri "tipik" durumda diyagramlarda şeklinde etki semantik bir modeli fazlalaştırmak.
Teddington Konferans Mekanizasyon Düşünce Süreçleri üzerine İngiltere'de düzenlenen ve sunulan kağıtların arasında John McCarthy'nin idi Common Sense programlar, Oliver Selfridge 'in Pandemonium, ve Marvin Minsky ' s bazıları Yöntemleri Sezgisel Programlama ve Yapay Zeka.
1959 Genel Sorun Çözücü (GPS) ise CMU'daki Newell, Shaw ve Simon tarafından oluşturuldu.
John McCarthy ve Marvin Minsky , MIT AI Laboratuvarını kurdu .
1950'lerin sonu, 1960'ların başı Margaret Masterman ve Cambridge Üniversitesi'ndeki meslektaşları, makine çevirisi için anlamsal ağlar tasarlıyor .

1960'lar

Tarih Gelişim
1960'lar Ray Solomonoff , tümevarımsal çıkarım ve tahmin için evrensel Bayes yöntemlerini tanıtan matematiksel bir AI teorisinin temellerini atıyor .
1960 JCR Licklider'den İnsan-Bilgisayar Ortak Yaşamı.
1961 James Slagle (doktora tezi, MIT) ilk sembolik entegrasyon programı SAINT'i (Lisp'te) yazdı ve matematik problemlerini üniversite birinci sınıf seviyesinde çözdü .
Gelen Minds, makineler ve Gödel , John Lucas üzerinde makine zekası olasılığını inkar mantıksal veya felsefi nedenlerle. Kurt Gödel'in 1931'deki sonucuna atıfta bulundu : yeterince güçlü biçimsel sistemler ya tutarsızdır ya da herhangi bir teorem tarafından kanıtlanamayan gerçek teoremleri formüle etmeye izin verir - aksiyomlardan tüm kanıtlanabilir teoremleri türeten AI. İnsanlar bu tür teoremlerin doğruluğunu "görebildiklerinden", makineler daha aşağı kabul edildi.
Unimation 'ın endüstriyel robot Unimate bir çalıştı General Motors otomobil montaj hattı .
1963 Thomas Evans'ın MIT'deki doktora çalışmasının bir parçası olarak yazdığı ANALOGY programı, bilgisayarların IQ testlerinde verilenlerle aynı analoji problemlerini çözebileceğini gösterdi .
Edward Feigenbaum ve Julian Feldman , yapay zeka ile ilgili ilk makale koleksiyonu olan Computers and Thought'u yayınladı .
Leonard Uhr ve Charles Vossler, özellikleri uyarlamalı olarak elde edebilen ve değiştirebilen ve böylece Rosenblatt'ın basit algılayıcılarının sınırlamalarının üstesinden gelen ilk makine öğrenimi programlarından birini tanımlayan "Kendi Operatörlerini Oluşturan, Değerlendiren ve Ayarlayan Bir Model Tanıma Programı" yayınladı .
1964 Danny Bobrow'un MIT'deki tezi (MIT'nin AI grubu Project MAC'den teknik rapor #1 ), bilgisayarların doğal dili cebirsel kelime problemlerini doğru bir şekilde çözebilecek kadar iyi anlayabildiğini gösteriyor .
Bertram Raphael'in SIR programı üzerine MIT tezi, soru-cevap sistemleri için bilginin mantıksal bir temsilinin gücünü göstermektedir.
1965 UC Berkeley'deki Lotfi Zadeh , bulanık mantığı tanıtan ilk makalesini "Bulanık Kümeler" (Bilgi ve Kontrol 8: 338–353) yayınladı.
J. Alan Robinson , programların bir temsil dili olarak biçimsel mantıkla verimli bir şekilde çalışmasına izin veren Çözüm Yöntemi adlı mekanik bir ispat prosedürü icat etti .
Joseph Weizenbaum (MİT) inşa ELIZA , bir interaktif programı bir diyalog taşıyan İngiliz dilinin herhangi bir konuda. Bir psikoterapistin diyaloğunu "simüle eden" bir versiyon programlandığında , ARPANET üzerindeki AI merkezlerinde popüler bir oyuncaktı .
Edward Feigenbaum , bilimsel araç verilerini kullanarak organik bileşiklerin moleküler yapısını ortaya çıkarmak için yazılım geliştirmek için on yıllık bir çaba olan Dendral'ı başlattı . İlk uzman sistemdi .
1966 Ross Quillian (doktora tezi, Carnegie Teknoloji Enstitüsü, şimdi CMU) anlamsal ağları gösterdi .
Edinburgh'daki Makine Zekası atölyesi - Donald Michie ve diğerleri tarafından düzenlenen etkili bir yıllık serinin ilki .
Makine çevirisiyle ilgili olumsuz rapor, Doğal dil işlemede (NLP) uzun yıllardır yapılan birçok çalışmayı öldürür .
Dendral programı (Edward Feigenbaum, Joshua Lederberg , Bruce Buchanan, Georgia Sutherland, Stanford Üniversitesi ) organik kimyasal bileşikler üzerindeki kütle spektrumlarını yorumlamayı gösterdi. Bilimsel akıl yürütme için ilk başarılı bilgiye dayalı program.
1968 Joel Moses (MIT'de doktora çalışması) , Macsyma programındaki entegrasyon sorunları için sembolik akıl yürütmenin gücünü gösterdi . Matematikte ilk başarılı bilgiye dayalı program .
MIT'deki Richard Greenblatt (programcı) , turnuva oyununda C sınıfı bir derece elde etmek için yeterince iyi olan, bilgiye dayalı bir satranç oynama programı olan MacHack'i kurdu .
Wallace ve Boulton'un denetimsiz sınıflandırma (kümeleme) için Snob (Comp.J. 11(2) 1968) programı, Occam'ın usturasının matematiksel bir gerçekleştirmesi olan Bayesian Minimum Mesaj Uzunluğu kriterini kullanır .
1969 Stanford Araştırma Enstitüsü (SRI): Shakey the Robot , hayvan hareketini , algılamayı ve problem çözmeyi birleştirmeyi gösterdi .
Roger Schank (Stanford) doğal dil anlayışı için kavramsal bağımlılık modelini tanımladı . Daha sonra Robert Wilensky ve Wendy Lehnert tarafından öykü anlamada ve Janet Kolodner tarafından belleği anlamada kullanım için geliştirildi ( Yale Üniversitesi'ndeki doktora tezlerinde ) .
Yorick Wilks (Stanford), ilk anlambilim odaklı makine çevirisi programında yer alan ve Cambridge'deki Bran Boguraev ve David Carter gibi birçok doktora tezinin temelini oluşturan Tercih Semantiği adı verilen dilin anlamsal tutarlılık görüşünü geliştirdi.
İlk Uluslararası Ortak Yapay Zeka Konferansı ( IJCAI ) Stanford'da düzenlendi.
Marvin Minsky ve Seymour Papert , bu ileri beslemeli iki katmanlı yapının daha önce tanınmayan sınırlarını gösteren Perceptrons'u yayınlıyor ve bu kitap, bazıları tarafından 1970'lerin AI kışının , AI için bir güven ve finansman başarısızlığının başlangıcı olarak kabul ediliyor . Bununla birlikte, alanda önemli ilerleme devam etmiştir (aşağıya bakınız).
McCarthy ve Hayes çerçeve sorunu hakkındaki tartışmaya "Yapay Zeka Açısından Bazı Felsefi Sorunlar" adlı makaleleriyle başladılar.

1970'ler

Tarih Gelişim
1970'lerin başı Jane Robinson ve Don Walker , SRI'da etkili bir Doğal Dil İşleme grubu kurdu.
1970 Seppo Linnainmaa , otomatik farklılaşmanın ters modunu yayınlar . Bu yöntem daha sonra geri yayılım olarak bilinir hale geldi ve yoğun olarak yapay sinir ağlarını eğitmek için kullanıldı .
Jaime Carbonell (Sr.) , bilginin temsili olarak anlamsal ağlara dayalı bilgisayar destekli öğretim için etkileşimli bir program olan SCHOLAR'ı geliştirdi .
Bill Woods, Artırılmış Geçiş Ağlarını (ATN'ler) doğal dil anlayışının bir temsili olarak tanımladı.
Patrick Winston'ın MIT'deki doktora programı ARCH, kavramları çocuk blokları dünyasındaki örneklerden öğrendi.
1971 Terry Winograd'ın doktora tezi ( MIT ), bilgisayarların İngilizce cümleleri, çocukların bloklarından oluşan kısıtlı bir dünyada, onun dil anlama programı SHRDLU'nun İngilizce yazılmış talimatları gerçekleştiren bir robot kolla birleştirilmesinde, anlama yeteneğini gösterdi .
Boyer-Moore teoremi atasözü üzerinde çalışmalar Edinburgh'da başladı.
1972 Prolog tarafından geliştirilen programlama dili Alain Colmerauer .
Earl Sacerdoti, ilk hiyerarşik planlama programlarından biri olan ABSTRIPS'i geliştirdi.
1973 Edinburgh Üniversitesi'ndeki Assembly Robotics Group, modelleri bulmak ve bir araya getirmek için görsel algıyı kullanabilen Freddy Robot'u geliştiriyor . (Bkz. Edinburgh Freddy Montaj Robotu : çok yönlü bilgisayar kontrollü montaj sistemi.)
Lighthill raporu Büyük Britanya ve formlarda AI araştırma büyük ölçüde olumsuz kararın tüm ama iki üniversitede AI araştırma kullanımını sonlandırmak desteğe İngiliz hükümeti tarafından kararında temel verir.
1974 Ted Shortliffe'nin MYCIN programı (Stanford) üzerine yaptığı doktora tezi , belirsizlik durumunda bile tıbbi teşhislere çok pratik, kurala dayalı bir yaklaşım gösterdi. DENDRAL'den ödünç alırken, kendi katkıları , özellikle ticari sistemler olmak üzere uzman sistem geliştirmenin geleceğini güçlü bir şekilde etkiledi .
1975 Earl Sacerdoti , NOAH sisteminde, durum uzayı tanımları arasında önceki arama paradigmasının yerini alarak kısmi düzen planlama teknikleri geliştirdi . NOAH, elektromekanik sistemleri interaktif olarak teşhis etmek ve onarmak için SRI International'da uygulandı.
Austin Tate , planın altında yatan hedef yapısına alternatif yaklaşımlar olarak nitelendirilen kısmi planların bir alanını araştırabilen Nonlin hiyerarşik planlama sistemini geliştirdi .
Marvin Minsky , şemalar ve anlamsal bağlantılar hakkında birçok fikrin bir araya getirildiği , bilginin bir temsili olarak Çerçeveler üzerine çok okunan ve etkili makalesini yayınladı .
Meta-Dendral öğrenme programı kimyada yeni sonuçlar üretti ( kütle spektrometrisinin bazı kuralları ), bilgisayar tarafından yapılan ilk bilimsel keşifler hakemli bir dergide yayınlandı.
1970'lerin ortası Barbara Grosz (SRI), söylem modellemeye yönelik geleneksel yapay zeka yaklaşımlarının sınırlarını belirledi. Grosz, Bonnie Webber ve Candace Sidner'ın sonraki çalışmaları , Doğal dil işlemede söylem ve anaforik referansların odağını oluşturmada kullanılan "merkezleme" kavramını geliştirdi .
David Marr ve MIT meslektaşları, "ilk taslağı" ve görsel algıdaki rolünü anlatıyor .
1976 Douglas Lenat 'ın AM programı (Stanford doktora tezi) gösterdi keşif modeli (ilginç varsayımlara için gevşek güdümlü arama).
Randall Davis, Stanford'daki doktora tezinde meta-seviye akıl yürütmenin gücünü gösterdi.
1978 Stanford'da Tom Mitchell , bir kavram oluşturma programının arama uzayını tanımlamak için Sürüm uzayları kavramını icat etti .
Herbert Simon kazanır Ekonomi Nobel Ödülü onun teorisi için Sınırlı rasyonellik "olarak bilinen AI temel taşlarından biri satisficing ".
Stanford'da Mark Stefik ve Peter Friedland tarafından yazılan MOLGEN programı, bilginin nesne yönelimli programlama temsilinin gen klonlama deneylerini planlamak için kullanılabileceğini gösterdi .
1979 Bill VanMelle'in Stanford'daki doktora tezi, MYCIN'in birçok ticari uzman sistem "kabukları" için model olan EMYCIN programında bilgi ve akıl yürütme tarzını temsil etmesinin genelliğini gösterdi .
Pittsburgh Üniversitesi'nden Jack Myers ve Harry Pople, Dr. Myers'ın klinik bilgisine dayanan bilgiye dayalı bir tıbbi teşhis programı olan INTERNIST'i geliştirdi .
Cordell Green , David Barstow, Elaine Kant ve Stanford'daki diğerleri, otomatik programlama için CHI sistemini gösterdi .
Hans Moravec tarafından inşa edilen Stanford Arabası, sandalyelerle dolu bir odayı başarıyla geçip Stanford Yapay Zeka Laboratuvarı'nı dolaştığında bilgisayar kontrollü, otonom ilk araç olur .
BKG tarafından yazılmış bir tavla programı Hans Berliner at CMU , (şans yoluyla kısmen) dünya şampiyonu yendi.
MIT'den Drew McDermott ve Jon Doyle ve Stanford'dan John McCarthy, monoton olmayan mantıklar ve gerçeğin korunmasının resmi yönleri üzerine çalışmalarını yayınlamaya başladılar .
1970'lerin sonu Stanford'un Ed Feigenbaum ve Joshua Lederberg tarafından yönetilen SUMEX-AIM kaynağı, bilimsel işbirliği için ARPAnet'in gücünü gösteriyor.

1980'ler

Tarih Gelişim
1980'ler Lisp makineleri geliştirildi ve pazarlandı. İlk uzman sistem kabukları ve ticari uygulamalar.
1980 Amerikan Yapay Zeka Derneği'nin (AAAI) ilk Ulusal Konferansı Stanford'da düzenlendi.
1981 Danny Hillis , yapay zekaya ve genel olarak hesaplamaya yeni bir güç getirmek için Paralel hesaplamayı kullanan bağlantı makinesini tasarlıyor . (Daha sonra Thinking Machines Corporation'ı kurdu )
1982 Japonya'nın Uluslararası Ticaret ve Sanayi Bakanlığı'nın bir girişimi olan Beşinci Nesil Bilgisayar Sistemleri projesi (FGCS), büyük paralellik kullanarak çok fazla hesaplama yapması beklenen bir "beşinci nesil bilgisayar" (bilgi işlem donanımının geçmişine bakın) oluşturmak için 1982'de başladı. .
1983 Allen Newell ile birlikte çalışan John Laird ve Paul Rosenbloom, Soar (program) üzerine CMU tezlerini tamamladı .
James F. Allen , zamansal olayların yaygın olarak kullanılan ilk resmileştirmesi olan Aralık Analizini icat eder.
1980'lerin ortası Sinir Ağları , 1970 yılında Seppo Linnainmaa tarafından yayınlanan ve Paul Werbos tarafından sinir ağlarına uygulanan otomatik farklılaşmanın ters modu olarak da bilinen Geri Yayılım algoritması ile yaygın olarak kullanılmaya başlandı .
1985 Harold Cohen tarafından yaratılan otonom çizim programı AARON , AAAI Ulusal Konferansı'nda gösterildi (on yıldan fazla bir çalışmaya ve müteakip çalışmalar büyük gelişmeler gösteriyor).
1986 Ekibi Ernst Dickmanns de Münih Bundeswehr Üniversitesi boş sokaklarda 55 mil kadar sürüş, ilk robot arabalar oluşturur.
Barbara Grosz ve Candace Sidner , araştırma alanını oluşturan ilk söylem hesaplama modelini oluşturdular .
1987 Marvin Minsky , işbirliği yapan ajanların bir koleksiyonu olarak zihnin teorik bir tanımı olan The Society of Mind'ı yayınladı . Kitap çıkmadan yıllar önce bu fikir hakkında ders veriyordu (bkz. Doyle 1983).
Aynı zamanlarda, Rodney Brooks , daha minimalist modüler bir doğal zeka modeli olarak , boyun eğme mimarisini ve davranışa dayalı robotiği tanıttı ; Nouvelle AI .
Alacritous Inc./Allstar Advice Inc. tarafından Alacrity 2.0 neslinin ticari lansmanı. Toronto, ilk ticari stratejik ve yönetimsel danışmanlık sistemi. Sistem, Paul Tarvydas tarafından geliştirilen temel motora sahip firmanın kurucuları Alistair Davidson ve Mary Chung tarafından ortaklaşa yazılan ve piyasaların evrimi ve rekabet stratejileri hakkında 3.000 kurala sahip, ileriye dönük zincirleme, kendi geliştirdiği bir uzman sisteme dayanıyordu. Alacrity sistemi ayrıca finansal tabloları ve modelleri yorumlayan küçük bir finansal uzman sistemi de içeriyordu.
1989 Gelişimi metal oksit yarı iletken (MOS) çok büyük ölçekli entegrasyon (VLSI) şeklinde tamamlayıcı MOS (CMOS) teknolojisi, pratik geliştirilmesi mümkün yapay sinir ağı 1980'lerde (YSA) teknolojisi. Bu alanda çığır açan bir yayın, Carver A. Mead ve Mohammed İsmail tarafından 1989 yılında yayınlanan Analog VLSI Sinir Sistemlerinin Uygulanması kitabıydı .
CMU'daki Dean Pomerleau, ALVINN'i (Sinir Ağında Otonom Bir Kara Aracı) yaratıyor.

1990'lar

Tarih Gelişim
1990'lar Yapay zekanın tüm alanlarında, makine öğrenimi, akıllı öğretim , vaka tabanlı akıl yürütme, çok etmenli planlama, zamanlama , belirsiz akıl yürütme, veri madenciliği , doğal dil anlama ve çeviri, vizyon, sanal gerçeklik , oyunlar ve diğer başlıklar.
1990'ların başı Gerry Tesauro tarafından yazılan bir tavla programı olan TD-Gammon , pekiştirmenin (öğrenmenin), birinci sınıf oyuncularla rekabet ederek şampiyonluk düzeyinde bir oyun oynama programı oluşturmak için yeterince güçlü olduğunu gösteriyor.
1991 Birinci Körfez Savaşı'nda devreye alınan DART zamanlama uygulaması, DARPA'nın yapay zeka araştırmalarına yaptığı 30 yıllık yatırımı geri ödedi .
1992 Carol Stoker ve NASA Ames robotik ekibi , Antarktika, McMurdo Körfezi yakınlarındaki buzdan ve Moffett Field, California'dan uydu bağlantısı aracılığıyla uzaktan çalıştırılan bir denizaltı robotu Telepresence ROV ile Antarktika'daki deniz yaşamını keşfediyor .
1993 İan Horswill uzatılmış davranış bazlı robotik oluşturarak Polly'i kullanarak seyretmek için, ilk robot görme ve (saniye / 1 metre) bir hayvan benzer hızlarda çalışır.
Rodney Brooks , Lynn Andrea Stein ve Cynthia Breazeal , yalnızca beş yıl içinde insansı bir robot çocuk inşa etme girişiminde, çok sayıda ortak çalışanla geniş çapta duyurulan MIT Cog projesini başlattı .
ISX şirketi , 1950'lerden bu yana ABD hükümetinin yapay zeka araştırmalarına yaptığı tüm yatırımı geri ödediği bildirilen Dinamik Analiz ve Yeniden Planlama Aracı (DART) için "Yılın DARPA yüklenicisi" ödülünü kazandı .
1994 UC Berkeley'deki Lotfi Zadeh " yumuşak hesaplama " yaratır ve sinir bilimi ve sinir ağı sistemleri, bulanık küme teorisi ve bulanık sistemler , evrimsel algoritmalar, genetik programlama ve kaos teorisi ve kaotik sistemlerin bir birleşimi ile bir dünya araştırma ağı oluşturur ("Bulanık" Logic, Neural Networks, and Soft Computing," Communications of the ACM, Mart 1994, Cilt 37 No. 3, sayfa 77-84).
Ernst Dickmanns ve Daimler-Benz'in ikiz robot arabaları VaMP ve VITA-2 , yolcularla birlikte, standart yoğun trafikte 130 km/s'ye varan hızlarda Paris üç şeritli bir otoyolda bin kilometreden fazla yol kat ediyor. Serbest şeritlerde otonom sürüş, konvoy sürüşü ve diğer otomobillerin otonom geçişi ile sol ve sağ şerit değişiklikleri gösterirler.
İngiliz draft ( dama ) dünya şampiyonu Tinsley, bilgisayar programı Chinook'a karşı oynadığı maçtan istifa etti . Chinook, en yüksek reytingli 2. oyuncu Lafferty'yi yendi . Chinook, ABD Ulusal Turnuvasını şimdiye kadarki en geniş farkla kazandı.
NASA'daki Cindy Mason , AI ve Çevre üzerine İlk AAAI Çalıştayı'nı düzenliyor .
1995 NASA'daki Cindy Mason , AI ve Çevre üzerine Birinci Uluslararası IJCAI Çalıştayı'nı düzenliyor .
"Amerika'da El Yok": Yarı otonom bir araba, bilgisayar kontrollü direksiyon ile 2.849 milin (4.585 km) 2.797 milini (4.501 km) Amerika Birleşik Devletleri'nde kıyıdan kıyıya sürdü. Gaz ve frenler bir insan sürücü tarafından kontrol edildi.
Biri Ernst Dickmanns 1000'in mil yol katetti (robot kontrollü gaz ve frenli) 'robot arabalar Münih için Kopenhag bazen sadece birkaç kritik içinde (diğer araçların geçmesine manevralar yürütülmesi, 120 ölçü up, trafikte ve geri bir güvenlik sürücüsünün devraldığı durumlar). Hızla değişen sokak sahneleriyle başa çıkmak için aktif görme kullanıldı.
1996 Robotist ve bilgisayar bilimcisi Steve Grand , simüle edilmiş biyokimya, öğrenme algoritmaları ve kalıtsal dijital DNA ile nöroloji ile yapay yaşam formlarının popüler bir simülasyonu olan Creatures'ı geliştiriyor ve piyasaya sürüyor .
1997 Deep Blue satranç makinesi ( IBM ) (daha sonra) dünya yendi satranç şampiyonu, Garry Kasparov .
40 takım etkileşimli robot ve 5000'den fazla seyirci ile masa başı maçları içeren ilk resmi RoboCup futbol (futbol) maçı.
Bilgisayar Othello programı Logistello , dünya şampiyonu Takeshi Murakami'yi 6-0'lık bir skorla mağlup etti.
1998 Kaplan Elektronik ' Furby yayınlandı ve ulaşmak için AI türünü üreten ilk başarılı girişim haline gelir yerli ortamı .
Tim Berners-Lee Semantik Web Yol haritası makalesini yayınladı .
Ulises Cortes ve Miquel Sanchez-MARRE Avrupa ilk Çevre ve AI Atölye düzenlemek ECAI "Çevre Bilimleri ve suni İstihbarat Bağlama."
Leslie P. Kaelbling , Michael Littman ve Anthony Cassandra POMDP'leri ve bunları yapay zeka topluluğuna çözmek için ölçeklenebilir bir yöntem sunarak robotik ve otomatik planlama ve zamanlamada yaygın kullanımı hızla başlatıyor
1999 Sony , Furby'ye benzer geliştirilmiş bir yerli robotu tanıtıyor, AIBO , aynı zamanda otonom olan ilk yapay zekalı "evcil hayvanlardan" biri haline geliyor .
1990'ların sonu Web tarayıcıları ve diğer AI tabanlı bilgi çıkarma programları, World Wide Web'in yaygın kullanımında önemli hale geliyor .
MIT'nin Yapay Zeka Laboratuvarında Akıllı bir oda ve Duygusal Ajanların gösterimi.
Mobil ve sabit bilgisayarları uyarlanabilir bir ağda birbirine bağlayan Oxygen mimarisi üzerinde çalışmaların başlatılması .

21'inci yüzyıl

2000'ler

Tarih Gelişim
2000 Etkileşimli robotlar (" akıllı oyuncaklar ") 18. yüzyıl yenilik oyuncak üreticilerinin vizyonunu gerçekleştirerek ticari olarak kullanılabilir hale geldi.
MIT'den Cynthia Breazeal , Kismet'i (robot) duyguları ifade eden bir yüzle anlatan Sociable makineler üzerine tezini yayınlıyor .
Göçebe robotu göktaşı örnekleri arıyorsanız Antarktika'nın uzak bölgelerini araştırıyor.
2002 iRobot 'ın Roomba gezinme ve engelleri kaçınarak otonom zemin vakumlar.
2004 OWL Web Ontology Language W3C Tavsiyesi (10 Şubat 2004).
DARPA , rakiplerin para ödülü için otonom araçlar üretmesini gerektiren DARPA Grand Challenge'ı tanıtıyor .
NASA'nın robotik keşif gezicileri Spirit ve Opportunity , Mars yüzeyinde otonom olarak geziniyor .
2005 Honda 'nın ASIMO robot bir yapay akıllı insansı robot, teslim, bir insan kadar hızlı yürüyebiliyor tepsileri restoran ayarlarında müşterilere.
Web etkinliğini veya medya kullanımını izlemeye dayalı öneri teknolojisi , yapay zekayı pazarlamaya getirir. TiVo Önerilerine bakın .
Beyni moleküler ayrıntıda simüle etmek için bir proje olan Mavi Beyin doğdu.
2006 Dartmouth Yapay Zeka Konferansı: Gelecek 50 Yıl (AI@50) AI@50 (14-16 Temmuz 2006)
2007 Philosophical Transactions of the Royal Society, B – Biology , dünyanın en eski bilimsel dergilerinden biri, Yapay Zekanın biyolojik zekayı anlamak için kullanılmasıyla ilgili Models of Natural Action Selection başlıklı özel bir sayı yayınlıyor.
Dama , Alberta Üniversitesi'ndeki bir araştırmacı ekibi tarafından çözüldü .
DARPA , otonom araçların trafik kurallarına uyması ve kentsel bir ortamda çalışması için Urban Challenge'ı başlatıyor .
2008 Stanford'dan Cynthia Mason, "Robotlara Şefkat Vermek" konulu makalesinde Yapay Merhametli Zeka hakkındaki fikrini sunuyor .
2009 Google otonom araba yapıyor.

2010'lar

Tarih Gelişim
2010 Microsoft , yalnızca bir 3D kamera ve kızıl ötesi algılama kullanarak, insan vücudunun hareketini izleyen ilk oyun cihazı olan Xbox 360 için Kinect'i piyasaya sürdü ve kullanıcıların Xbox 360'larını kablosuz olarak oynamalarını sağladı. Bu cihaz için insan hareketi yakalama teknolojisi için ödüllü makine öğrenimi , Microsoft Research , Cambridge'deki Computer Vision grubu tarafından geliştirilmiştir .
2011 Mary Lou Maher ve Doug Fisher , Yapay Zeka ve Sürdürülebilirlik üzerine İlk AAAI Çalıştayı'nı düzenliyor .
IBM'in 'ın Watson bilgisayar mağlup televizyon oyunu gösterisi Riziko'dan şampiyonlar Rutter ve Jennings .
2011–2014 Elma 'ın Siri (2011), Google ' ın Google Asistan (2012) ve Microsoft 'ın Cortana (2014) olan akıllı telefon uygulamaları kullanmak doğal dili cevap sorular, marka önerilerine ve eylemler gerçekleştirmek.
2013 Robot HRP-2'nin Schaft Inc tarafından yaptırılan Japonya , bir yan kuruluşu Google'a , kazanmak için 15 ekipler yendi DARPA ‘ın Robotik Mücadelesi Davalarını . HRP-2, afet müdahalesinde ihtiyaç duyulan 8 görevde 32 puan üzerinden 27 puan aldı. Görevler bir araç sürmek, enkazın üzerinden geçmek, merdivene tırmanmak, enkazı kaldırmak, kapılardan geçmek, bir duvardan geçmek, vanaları kapatmak ve bir hortum bağlamaktır.
Asla Bitmeyen Görüntü Öğrenici NEIL , farklı görüntüler arasındaki ilişkileri sürekli olarak karşılaştırmak ve analiz etmek için Carnegie Mellon Üniversitesi'nde piyasaya sürüldü .
2015 Hawking , Musk , Wozniak ve AI ve robotik alanındaki 3.000 araştırmacı tarafından imzalanan otonom silahların geliştirilmesini ve kullanımını yasaklayan açık bir mektup .
Google DeepMind 'ın AlphaGo (sürüm: Fan) 3 sefer Avrupa Go şampiyonu 2 dan profesyonel mağlup Fan Hui 0 5 oyun ile.
2016 Google DeepMind 'ın AlphaGo (sürüm: Lee) mağlup Lee Sedol 4-1. Lee Sedol, 2002'den 2016'ya kadar 27 büyük turnuva kazanan 9 dan profesyonel bir Koreli Go şampiyonudur.
2017 Asilomar Faydalı Yapay Zeka Konferansı, AI etiğini ve yapay genel zekadan kaynaklanan varoluşsal riskten kaçınırken faydalı AI'nın nasıl sağlanacağını tartışmak için düzenlendi .
Deepstack, teke tek limitsiz pokerde istatistiksel anlamlılıkla gösterildiği gibi, kusurlu bilgi oyunlarında insan oyuncuları yenmek için yayınlanan ilk algoritmadır . Kısa bir süre sonra, farklı araştırma grubu tarafından poker AI Libratus , dünyanın en iyi oyuncuları arasında yer alan 4 insan rakibinin her birini, istatistiksel olarak anlamlı bir örnek üzerinde olağanüstü yüksek bir toplu kazanma oranında tek tek mağlup etti. Chess and Go'nun aksine, Poker kusurlu bir bilgi oyunudur.
Mayıs 2017 yılında Google DeepMind 'ın AlphaGo (sürüm: Usta) yendi Ke Jie anda sürekli dünyanın No 1, iki yıl boyunca bir sıralama her oyunu kazanma düzenlenen üç oyun maç sırasında Git Zirvesi'nin Geleceğin .
Bir önermeler mantığı boole Satisfiability sorunu üzerinde uzun süreli bir matematiksel varsayım kanıtlar çözücü (SAT) Pisagor üçe tamsayılar grubu üzerinde. 200 TB uzunluğundaki ilk kanıt, iki bağımsız sertifikalı otomatik doğrulama denetleyicisi tarafından kontrol edildi.
Bir OpenAI öğrenilen -machined bot çalınan Uluslararası 2017 Dota 2 Bir esnasında kazanılan Ağustos 2017 yılında turnuvanın 1v1 profesyonel karşı gösteri oyunu Dota 2 oyuncu Dendi .
Google DeepMind, AlphaGo'nun geliştirilmiş bir sürümü olan AlphaGo Zero'nun çok daha az tensör işleme birimi kullanırken (AlphaGo Lee'ye kıyasla; AlphaGo Master ile aynı miktarda TPU kullandığını) önemli performans kazanımları gösterdiğini ortaya çıkardı. Oyunu milyonlarca insan hareketini gözlemleyerek öğrenen önceki sürümlerin aksine AlphaGo Zero, yalnızca kendisine karşı oynayarak öğreniyordu. Sistem daha sonra AlphaGo Lee 100 oyununu sıfıra ve AlphaGo Master'ı 89'a 11 mağlup etti. Denetimsiz öğrenme ileriye doğru bir adım olsa da, genel zeka hakkında henüz öğrenilecek çok şey var. AlphaZero 4 saatte satrançta ustalaştı ve en iyi satranç motoru StockFish 8'i mağlup etti. AlphaZero 100 oyundan 28'ini kazandı ve kalan 72 oyun berabere bitti.
2018 Alibaba dil işleme AI, Stanford Üniversitesi okuma ve anlama testinde en iyi insanları geride bırakarak 100.000 soruluk bir dizide 82.304'e karşı 82.44 puan aldı.
(Öğrenme ve Akıllı Sistemler için Avrupa Laboratuarı aka bir kapalı staving amacıyla Amerikan AI çabalarına bir pan-Avrupa rakibi olarak teklif edilen Ellis) beyin göçünü çizgisinde yetenek CERN Dünya Savaşı sonrasında.
Bir AI asistanının telefon üzerinden randevu almasına izin veren bir hizmet olan Google Duplex'in duyurusu . LA Times hakimler AI sesi insan sondaj konuşmasının bir "neredeyse kusursuz" taklit olması.
2019 DeepMind'ın AlphaStar'ı, StarCraft II'de Grandmaster seviyesine ulaşarak insan oyuncuların yüzde 99,8'ini geride bıraktı.

2020'ler

Tarih Gelişim
2020 2020 DeepSpeed , Microsoft'un T-NLG çalıştıran PyTorch için derin öğrenme optimizasyon kitaplığıdır .
Şubat 2020'de Microsoft, o zamanlar "17 milyar parametrede yayınlanan en büyük dil modeli" olan Turing Natural Language Generation'ı (T-NLG) tanıttı.
OpenAI 'ın GPT-3 , kullandığı bir state-of-the-art otoregresif dil modeli derin öğrenme bilgisayar kodları, şiir ve insanlar tarafından yazılmış olanlardan son derece benzer ve neredeyse ayırt edilemez diğer dil çeşitli görevleri üretmek. Kapasitesi, T-NLG'ninkinden on kat daha fazlaydı. Mayıs 2020'de tanıtıldı ve Haziran 2020'de beta testindeydi.

Ayrıca bakınız

Notlar

Referanslar

Dış bağlantılar