Timeline sztucznej inteligencji - Timeline of artificial intelligence


Z Wikipedii, wolnej encyklopedii

Jest to timeline sztucznej inteligencji .

do roku 1900

Data Rozwój
Antyk Greckie mity Hefajstosa i Pigmalion włączone ideę inteligentnych robotów (takich jak Talos ) i sztucznych istot (takie jak Galatea i Pandora ).
Antyk Yan Shi przedstawiony królowi Mu Zhou z mężczyznami mechanicznych.
Antyk Święte posągi mechaniczne zbudowane w Egipcie i Grecji były uważane za zdolne do mądrości i emocji. Hermes Trismegistosa byłoby napisać „mają Sensus i Spiritus ... przez odkrywanie prawdziwej natury bogów, człowiek nie był w stanie go odtworzyć.” Mozaika prawo zabrania używania automatów w religii.
384 BC-322 BC Arystoteles opisał sylogizm , sposób formalny, myśli mechanicznej.
1 wiek Heron z Aleksandrii stworzył ludzi, mechaniczne i inne automaty .
260 Porfir z Tyros napisał Isagoge które podzielone wiedzy i logiki.
~ 800 Geber rozwija arabską alchemicznej teorii Takwin , sztuczne tworzenie życia w laboratorium, do i ludzkiego życia.
1206 Al-Jazari stworzył programowalną orkiestrę mechanicznych istot ludzkich.
1275 Ramon Llull , hiszpański teolog wynajduje Ars Magna , narzędzia do łączenia pojęć mechanicznie, w oparciu o arabskiej astrologicznych narzędzia, Zairja . Metoda będzie dalej rozwijana przez Gottfrieda Leibniza w 17 wieku.
~ 1500 Paracelsus twierdził, że stworzył sztucznego człowieka z magnetyzmu, sperma i alchemii.
~ 1580 Rabin Juda Loew ben Bezalel w Pradze mówi się, że wynalazł Golema , człowieka z gliny przyniósł do życia.
Początku 17 wieku Kartezjusz zaproponował, że ciała zwierząt nie są niczym więcej niż złożonych maszyn (ale że zjawiska psychiczne są innej „substancji”).
1623 Wilhelm Schickard narysował obliczania zegar na liście do Keplera . Będzie to pierwszy z pięciu nieudanych próbach w projektowaniu bezpośredniego wejścia obliczania zegara w 17 wieku (w tym wzory Tito Burattini , Samuel Morland i René Grillet ).
1641 Thomas Hobbes opublikowany Lewiatana i przedstawiony mechaniczną, kombinatorycznej teorii poznania. Pisał: „... dla rozumu jest tylko zaliczanie”.
1642 Blaise Pascal wynalazł mechaniczny kalkulator , pierwsza cyfrowa maszyna obliczeniowa
1672 Gottfried Leibniz poprawiła wcześniejsze maszyny, dzięki czemu Wejście Reckoner zrobić, mnożenie i dzielenie . On także wynalazł binarnym systemie liczbowym i przewidywał uniwersalnego rachunku rozumowania ( alfabetu myśli ludzkich ), w której argumenty mogłaby zostać podjęta decyzja mechanicznie. Leibniz pracował na przypisanie określonego numeru do każdego obiektu w świecie, jako wstęp do algebraicznej rozwiązania wszystkich możliwych problemów.
1726 Jonathan Swift opublikowany Podróże Guliwera , które obejmuje ten opis silnika , maszyna na wyspie Laputa : „projekt na rzecz poprawy wiedzy spekulatywnej przez Operacji praktycznych i mechanicznych” za pomocą tego „podstępu”, „najbardziej niewiedzy osobiście w rozsądnym Charge, a przy odrobinie pracy cielesnej może pisać książki w filozofii, poezji, Politicks, Prawo, Mathematicks i teologii, o najmniejszej pomocy od Geniusa lub nauki.” Maszyna jest parodią Ars Magna , jednego z inspiracji Gottfrieda Leibniza mechanizmu.
1750 Julien Offray de La Mettrie opublikowany L'Homme automat , który argumentował, że myśl ludzka jest ściśle mechaniczne.
1769 Wolfgang von Kempelen zbudowany i koncertował ze swoim chess -playing automatu , Turek . Turek został później pokazano być mistyfikacja , obejmujące żywe szachy odtwarzacza.
1818 Mary Shelley opublikowała historię Frankensteina; lub Modern Prometheus , fikcyjna rozpatrzenie etyki tworzenia czującym istotom.
1822-1859 Charles Babbage & Ada Lovelace pracował na programowalnych mechanicznych maszyn liczących .
1837 Matematyk Bernard Bolzano dokonał pierwszego nowoczesnego próbę sformalizowania semantykę .
1854 George Boole określone do „zbadania podstawowych praw tych operacji umysłu przez rozumowanie, które jest wykonywane, aby wyrazić je w języku symbolicznym z rachunku”, wymyślając algebry Boole'a .
1863 Samuel Butler zasugerował, że darwinowska ewolucja dotyczy również maszyn i przypuszcza, że będzie pewnego dnia stać się świadomym i ostatecznie wyprzeć ludzkość.

1901-1950

Data Rozwój
1913 Bertrand Russel i Alfred North Whitehead opublikował Principia Mathematica , który zrewolucjonizował logiki formalnej .
1915 Leonardo Torres y Quevedo zbudował automat szachy, el ajedrecista i opublikowane spekulacje na temat myślenia i automatów.
1923 Karel Čapek „s zabaw RUR (Rossum Universal Robots) otworzył w Londynie. Jest to pierwsze użycie słowa „ robota ” w języku angielskim.
1920 i 1930 Ludwig Wittgenstein i Rudolf Carnap prowadzić filozofii do logicznej analizy wiedzy . Alonzo Church rozwija rachunek lambda do zbadania obliczalności użyciem notacji rekurencyjnej funkcjonalny.
1931 Kurt Gödel pokazał, że wystarczająco mocne układy formalne , jeśli spójny, pozwalają na formułowanie prawdziwych twierdzeń, które są nie do udowodnienia twierdzenia o dowolnej maszynie-udowadniając wynikającego wszystkich możliwych twierdzeń z aksjomatów. Aby to zrobić, musiał zbudować uniwersalny język programowania oparty na całkowitej, co jest powodem, dla którego jest on czasem nazywany „ojcem teoretycznej informatyki ”.
1941 Konrad Zuse zbudował komputery sterowane programem pierwszy pracy.
1943 Warren Sturgis McCulloch i Walter Pitts publikuje „logicznym Rachunek immanentnego idee czynności nerwowej” (1943), kładąc podwaliny pod sztucznych sieci neuronowych .
1943 Arturo Rosenblueth , Norbert Wiener i Julian Bigelow monety określenie " cybernetyka ". Wienera popularne książki o tej nazwie opublikowany w 1948 roku.
1945 Teoria gier , które może okazać się bezcenne w postępie AI została wprowadzona z papierem 1944, teorii gier i zachowań ekonomicznych przez matematyk John von Neumann i ekonomista Oskar Morgenstern .
1945 Vannevar Bush opublikowany As We May Think ( The Atlantic Monthly , lipiec 1945) à prorocza wizja przyszłości, w której komputery pomagają ludziom w wielu działaniach.
1948 John von Neumann (cytowany przez ET Jaynesa ) w odpowiedzi na komentarz na wykładzie, że to było niemożliwe, aby maszyna do myślenia. „Jesteś twierdzą, że istnieje coś, maszyna nie może zrobić Jeśli powiesz mi dokładnie , co to jest, że urządzenie nie może zrobić, to zawsze mogę zrobić maszynę, która zrobi właśnie to!”. Von Neumann był prawdopodobnie nawiązując do Hipoteza Churcha-Turinga , który stanowi, że każda skuteczna procedura może być symulowane przez komputer (uogólniony).

1950

Data Rozwój
1950 Alan Turing proponuje test Turinga jako miara inteligencji maszynowej.
1950 Claude Shannon opublikował szczegółową analizę szachy grając wyszukiwania .
1950 Isaac Asimov opublikował swoje etyka robotów .
1951 Pierwsze robocze AI programy zostały napisane w 1951 roku, aby uruchomić na Ferranti Mark 1 maszynie z University of Manchester : program warcaby, gry napisanej przez Christophera Strachey i program szachowy napisany przez Dietrich Prinz .
1952-1962 Arthur Samuel ( IBM ) napisał pierwszy program gra szans na warcaby ( przeciągi ), w celu osiągnięcia wystarczającej umiejętności wyzwanie poważny amator. Jego pierwszy program warcaby-playing została napisana w 1952 roku, aw 1955 roku stworzył wersję, że nauczył się grać.
1956 Dartmouth College konferencja lato AI jest organizowany przez Johna McCarthy'ego , Marvin Minsky , Nathan Rochester z IBM i Claude Shannon . McCarthy monety termin sztuczna inteligencja na konferencji.
1956 Pierwsza demonstracja Logic teoretyk (LT), napisany przez Allena Newella , JC Shaw i Herbert Simon ( Carnegie Institute of Technology , teraz Carnegie Mellon University lub CMU). To jest często nazywany pierwszego programu AI, choć Program warcaby Samuela ma również silną roszczenia.
1958 John McCarthy ( Massachusetts Institute of Technology czy MIT) wynalazł Lisp języka programowania .
1958 Herbert Gelernter i Nathan Rochester (IBM) opisali Prover twierdzenie w geometrii wykorzystująca model semantyczny domeny w postaci wykresów „typowych” przypadkach.
1958 Teddington Konferencja na Mechanizacji procesów myślowych odbyła się w Wielkiej Brytanii i jednym z referatów były Johna McCarthy'ego programy ze zdrowym rozsądkiem, Oliver Selfridge „s Pandemonium, i Marvin Minsky ” s Niektóre metody heurystycznej Programowania i sztucznej inteligencji.
1959 General Problem Solver (GPS) został stworzony przez Newell, Shaw i Simon przy CMU.
1959 John McCarthy i Marvin Minsky założył MIT AI Lab .
Koniec 1950, początku 1960 Margaret Masterman i współpracownicy z University of Cambridge zaprojektować semantyczne sieci do tłumaczenia maszynowego .

1960s

Data Rozwój
1960s Ray Solomonoff kładzie fundamenty matematycznej teorii sztucznej inteligencji, wprowadzenie uniwersalnych metod Bayesa dla wnioskowania indukcyjnego i przewidywania.
1960 Człowiek-Komputer Symbioza przez JCR Licklider.
1961 James Slagle (PhD rozprawa, MIT) pisał (w Lisp) pierwszy symboliczny integracja programu, święty, który rozwiązał nazębnego problemy na poziomie kolegium studiów.
1961 W Minds, Maszyny i Gödel , John Lucas pozbawiony możliwości maszynowej inteligencji na logicznych lub filozoficznych podstawach. Odniósł się do Kurt Gödel wyniku „s 1931: dostatecznie potężne systemy formalne są albo niespójne lub pozwalają na formułowanie prawdziwych twierdzeń udowodnienia przez jakiekolwiek twierdzenie, dowodząc AI wynikające wszystkie udowodnienia twierdzenia z aksjomatów. Ponieważ ludzie są w stanie „zobaczyć” prawdziwość tych twierdzeń, maszyny zostały uznane za gorsze.
1961 Unimation „s robot przemysłowy Unimate pracował w General Motors samochód linii montażowej .
1963 Thomasa Evansa program analogię napisany jako część swojej pracy doktorskiej w MIT, wykazał, że komputery mogą rozwiązać te same analogia problemy jak podano na IQ testów.
1963 Edward Feigenbaum i Julian Feldman opublikowany Komputery i myśli , pierwszy zbiór artykułów na temat sztucznej inteligencji.
1963 Leonard Uhr i Charles Vossler opublikował „wzorzec rozpoznawania programu, który generuje, analizuje i dostosowuje własnym podmiotom gospodarczym”, który opisał jedną z pierwszych programów uczenia maszynowego, które mogłyby adaptacyjnie nabywania i modyfikować funkcje, a tym samym przezwyciężyć ograniczenia prostych perceptronów z Rosenblatt
1964 Rozprawa Danny Bobrów jest w MIT (raport techniczny # 1 z grupy AI MIT, projekt MAC ), pokazuje, że komputery mogą rozumieć język naturalny na tyle dobrze, aby rozwiązać algebra problemy słowo poprawnie.
1964 Bertram Raphael „s MIT rozprawa w sprawie programu SIR demonstruje siłę logicznej reprezentacji wiedzy dla systemów zapytania zgłoszeniowych.
1965 Alan J. Robinson wynalazł mechaniczną dowód procedurę, metoda rezolucji, która dozwolonych programów do efektywnej pracy z logiki formalnej jako język reprezentacji.
1965 Joseph Weizenbaum (MIT) zbudowany Eliza , to interaktywny program , który prowadzi dialog w języku angielskim na każdy temat. Była to popularna zabawka w AI ośrodków na ARPANET , gdy wersja „symulowane” dialog z psychoterapeutą został zaprogramowany.
1965 Edward Feigenbaum inicjowane dendral , wysiłek dziesięć lat do tworzenia oprogramowania do wyprowadzić strukturę cząsteczkową związków organicznych, na podstawie danych naukowych przyrządu. Był to pierwszy system ekspercki .
1966 Ross Quillian (PhD rozprawa, Carnegie Inst. Technologii, teraz CMU) wykazały sieci semantycznych .
1966 Warsztaty maszyna Intelligence w Edynburgu - pierwszy wpływowego rocznego cyklu organizowanego przez Donalda MICHIE i innych.
1966 Raport ujemny na tłumaczenia maszynowego zabija dużo pracy w przetwarzania języka naturalnego (NLP) przez wiele lat.
1967 Dendral programu (Edward Feigenbaum Joshua Lederberg Bruce Buchanan Georgia Sutherland w Stanford University ) wykazały interpretacji widm masowych organicznych związków chemicznych. Pierwszy udany program oparty na wiedzy naukowej argumentacji.
1968 Joel Moses (praca dr MIT) wykazał moc wnioskowania symbolicznego dla problemów integracyjnych w macsyma programu. Pierwszy udany program opartej na wiedzy w matematyce .
1968 Richard Greenblatt (programista) na MIT zbudowali opartej na wiedzy Program szachowy , MacHack , który był na tyle dobry, aby uzyskać ocenę klasy C w grze turniejowej.
1968 Wallace i Program Boulton, w Snob (Comp.J. 11 (2) 1968), do klasyfikacji nienadzorowanej (klastrów) używa Bayesa Minimalna długość wiadomości kryterium, matematyczny realizacji brzytwa Ockhama .
1969 Stanford Research Institute (SRI) Shakey robot wykazał połączenie ruchów zwierząt , odbiór i rozwiązywania problemów .
1969 Roger Schanka (Stanford) zdefiniowane koncepcyjnego modelu zależność dla naturalnego rozumienia języka . Później opracowane (w dysertacji doktorskich na Uniwersytecie Yale ) do stosowania w historii zrozumienia przez Roberta Wilensky i Wendy Lehnert, jak i do użytku w zrozumieniu pamięć Janet Kolodner.
1969 Yorick Wilks (Stanford) rozwinął pogląd spójności semantycznej języka nazywa semantyki preferencji, ucieleśnione w pierwszym semantyka-ukierunkowany program tłumaczenia maszynowego, a podstawę wielu rozpraw doktorskich ponieważ takie jak otręby Boguraev i Davida Cartera w Cambridge.
1969 Pierwszy wspólny Międzynarodowa konferencja na temat sztucznej inteligencji ( IJCAI ) odbędzie się w Stanford.
1969 Marvin Minsky i Seymour Papert publikuje perceptrony , dotychczas nierozpoznane wykazując ograniczeń tego kanału do przodu, dwuwarstwową strukturę. Książka ta jest uważana przez niektórych, aby zaznaczyć początek zimy AI od 1970 roku, braku zaufania i finansowania AI. Niemniej jednak, znaczący postęp w dziedzinie kontynuowane (patrz niżej).
1969 McCarthy i Hayes rozpoczął dyskusję na temat problemu ramki ze swoim eseju „Niektóre problemy Filozoficznego z punktu widzenia Artificial Intelligence”.

1970

Data Rozwój
1.970 Seppo Linnainmaa wydaje tryb zwrotnego automatycznego różnicowania . Metoda ta stała się później znana jako wstecznej propagacji błędów , i jest mocno używane do szkolenia sztucznych sieci neuronowych .
1970 Jane Robinson i Don Walker założona wpływowego Natural Language Processing grupę w SRI.
1.970 Jaime Carbonell (Sr) opracowany uczonym, interaktywny program nauczania wspomaganego komputerowo w oparciu o sieci semantycznej jako reprezentacja wiedzy.
1.970 Bill Woods opisane Augmented Networks przejściowy (ATN'S) jako zastępstwa dla rozumienia języka naturalnego.
1.970 Patrick Winston „s programu PhD, ARCH, na MIT dowiedział pojęć z przykładów w świecie klocków dla dzieci.
1971 Terry Winograd „s Praca doktorska ( MIT ) wykazały zdolność komputerów, aby zrozumieć angielskich zdań w ograniczonym świecie bloków dla dzieci, w sprzężeniu swojego programu rozumienia języka, SHRDLU , z ramienia robota, który przeprowadził z instrukcjami wpisane w języku angielskim.
1971 Prace nad twierdzenia Prover Boyer-Moore rozpoczął się w Edynburgu.
1.972 Prolog język programowania opracowany przez Alaina Colmerauer .
1.972 Earl Sacerdoti opracował jeden z pierwszych programów planowania hierarchicznych, ABSTRIPS.
1973 Robotyki Grupa Montaż na University of Edinburgh buduje Freddy robota zdolnego do korzystania percepcji wzrokowej w celu zlokalizowania i montażu modeli. (Patrz Edinburgh Freddy Assembly Robot : uniwersalny system montażu sterowane komputerowo).
1973 Raport Lighthill daje przeważnie negatywny werdykt w sprawie badań AI w Wielkiej Brytanii i stanowi podstawę do podjęcia decyzji przez brytyjski rząd do zaprzestania wsparcia dla badań nad AI w ogóle, ale dwa uniwersytety.
1974 Ted Shortliffe „s dr rozprawa na mycin programu (Stanford) wykazały bardzo praktyczne podejście do reguł opartych na diagnozach medycznych, nawet w obecności niepewności. Mimo, że pożyczył od dendral, własny wkład silnie wpłynęły na przyszłość systemu ekspert rozwoju, zwłaszcza systemów komercyjnych.
1975 Earl Sacerdoti opracowane techniki planowania częściowego zamówienia w swoim systemie NOAH, zastępując poprzednią paradygmat Szukaj wśród opisów przestrzeni stanów. Noe był stosowany w SRI International do interaktywnego diagnozowania i naprawy systemów elektromechanicznych.
1975 Austin Tate opracowała system Nonlin hierarchiczną planowania mogli przeszukiwać przestrzeń częściowych planów scharakteryzować jako alternatywnych podejść do podstawowej struktury Celem planu.
1975 Marvin Minsky opublikował szeroko czytać i wpływowy artykuł na Frames jako reprezentacja wiedzy, w którym wiele pomysłów na schematach i semantycznych powiązań są łączone ze sobą.
1975 Program uczenia Meta-dendral produkowane nowe wyniki w chemii (niektóre zasady spektrometrii masowej ) pierwsze odkrycia naukowe przez komputer, które zostaną opublikowane w renomowanym czasopiśmie.
Połowie 1970 Barbara Grosz (SRI) ustalone granice tradycyjnego podejścia do AI dyskursu modelowania. Późniejsza praca przez Grosza, Bonnie Webber i Candace Sidner rozwinął pojęcie „centrowanie”, używany w ustaleniu ostrości dyskursu i anaforycznego odniesień w przetwarzaniu języka naturalnego .
Połowie 1970 David Marr i MIT współpracownicy opisują „pierwotny szkic” i jego rolę w percepcji wzrokowej .
1976 Douglas Lenat „s Program AM (Stanford dr rozprawa) wykazały modelu Discovery (luźno prowadzony szukać interesujących hipotez).
1976 Randall Davis wykazał moc rozumowania meta-poziomie w swojej pracy doktorskiej na Uniwersytecie Stanforda.
1978 Tom Mitchell , w Stanford, wynalazł pojęcie przestrzeni Wersja do opisania przestrzeni przeszukiwania programu formacyjnego pojęcie.
1978 Herbert Simon wygrał Nagrodę Nobla w dziedzinie ekonomii za teorię ograniczonej racjonalności , jednego z filarów AI znane jako „ satisficing ”.
1978 Program MOLGEN, napisany w Stanford Mark Stefik i Petera Friedland, wykazano, że obiektowego programowania reprezentacja wiedzy mogą zostać wykorzystane do zaplanowania genowych klonowania eksperymenty.
1979 Bill VanMelle za doktorat w Stanford wykazał ogólności mycin reprezentacji „s wiedzy i stylu rozumowania w jego EMYCIN programu, model dla wielu komercyjnych systemów eksperckich«muszli».
1979 Jack Myers i Harry Pople na University of Pittsburgh opracowany internista, program diagnostyki medycznej opartej na wiedzy w oparciu o doktora Myersa klinicznej wiedzy.
1979 Cordell Zielony David Barstow, Elaine Kant i inni w Stanford wykazał system Chi dla automatycznego programowania .
1979 Stanford Cart, zbudowany przez Hans Moravec , staje się pierwszym sterowane komputerowo, autonomiczny pojazd , kiedy z powodzeniem przemierza krzesło wypełnione pokoju i circumnavigates w Stanford AI Lab .
1979 BKG, program backgammon napisany przez Hansa Berliner na CMU , pokonuje Aktualny mistrz świata (w części poprzez szczęścia).
1979 Drew McDermott i Jon Doyle na MIT , a John McCarthy w Stanford rozpocząć pracę wydawniczą na niemonotonicznych logiki i formalnych aspektów utrzymania prawdę.
koniec 1970 Stanford SUMEX-AIM zasób, kierowany przez Eda Feigenbaum oraz Joshua Lederberg, demonstruje siłę ARPANET dla współpracy naukowej.

1980

Data Rozwój
1980 Maszyny Lisp opracowany i sprzedawany. Pierwsze systemy ekspert muszle i zastosowań komercyjnych.
1980 Pierwsza Konferencja Krajowa Amerykańskiego Stowarzyszenia Sztucznej Inteligencji (AAAI) odbędzie się w Stanford.
1981 Danny Hillis projektuje maszynę połączenia, który wykorzystuje obliczeń równoległych przynieść nową moc do AI, a do obliczeń w ogóle. (Później zakłada Thinking Machines Corporation )
1982 Projekt Fifth Generation Computer Systems (FGCS), inicjatywa japońskiego Ministerstwa Handlu Międzynarodowego i Przemysłu, rozpoczął w 1982 roku, aby utworzyć „komputer generacji piąty” (patrz historia obliczeniowej sprzętu), który miał wykonać wiele obliczeń z wykorzystaniem ogromnej równoległości ,
1983 John Laird i Paweł Rosenbloom współpracujący z Allen Newell , kompletne rozprawy CMU na Soar (program).
1983 James F. Allen wymyśla przedziale Rachunek, pierwszy powszechnie stosowany formalizacja zdarzeń czasowych.
Połowie 1980 roku Sieci neuronowe stają się szeroko stosowanym ze wstecznej algorytmu , znany również jako trybie odwróconym układzie automatycznej różnicowania opublikowanym przez Seppo Linnainmaa 1970 i stosowane w sieciach neuronowych przez Paul Werbos .
1985 Autonomiczny program do rysowania, AARON , stworzony przez Harolda Cohena , wykazano na konferencji Narodowego AAAI (w oparciu o więcej niż dziesięć lat pracy, a także z późniejszych prac przedstawiający najważniejsze wydarzenia).
1986 Zespół Ernst Dickmanns na Bundeswehry Uniwersytetu w Monachium buduje pierwsze samochody robotów, jazdy do 55 mph na pustych ulicach.
1986 Barbara Grosz i Candace Sidner stworzenia pierwszego modelu obliczeniowego z dyskursu , ustanawiając dziedzinie badań.
1.987 Marvin Minsky opublikował Towarzystwa umysłu , teoretyczny opis umysłu jako zbiór współpracujących agentów . Był wykładowcą na idei lat zanim książka wyszła (CF Doyle 1983).
1.987 W tym samym czasie, Rodney Brooks wprowadził Architektura Brooksa i robotyki behawioralną jako bardziej minimalistycznym modułowego modelu naturalnej inteligencji; Nouvelle AI .
1.987 Komercyjne uruchomienie generacji 2.0 skwapliwie przez alacritous Inc./Allstar Porad Inc. Toronto, pierwszego komercyjnego strategicznego i zarządzania systemem doradczym. System został oparty na przód-łańcuchowym, self-opracowany system ekspercki z 3000 reguł dotyczących ewolucji rynków i strategii konkurencyjnych i współautorem Alistair Davidson i Mary Chung, założycieli firmy z bazowym silnikiem opracowanym przez Paula Tarvydas. System skwapliwie obejmowało również mały system ekspert finansowy, który interpretowany sprawozdań finansowych i modeli.
1989 Dean Pomerleau na CMU tworzy ALVINN (autonomiczny pojazd w Neural Network).

1990s

Data Rozwój
wczesne 1990 TD-Gammon , o backgammon program napisany przez Gerry'ego Tesaura, pokazuje, że wzmocnienie (nauka) jest wystarczająco silny, aby stworzyć mistrzostwa poziomu programu gra szans konkurując przychylnie z graczami światowej klasy.
1990s Znaczny postęp we wszystkich dziedzinach AI, z znaczących demonstracji w uczeniu maszynowym, inteligentny korepetycje , rozumowania przypadek opartych planowania multi-agent, harmonogramowania , niepewny rozumowania, data mining , naturalne rozumienie języka i tłumaczeń, wizja, rzeczywistość wirtualna , gry i inne tematy.
1991 DART aplikacja planowania wdrożony w pierwszej wojnie w Zatoce zwrócona DARPA inwestycji 30 lat w badaniach AI.
1993 Ian Horswill przedłużony robotyki behawioralną tworząc Polly , pierwszy robot poruszać za pomocą wzroku i działać z prędkością zwierzęcego, takich jak (1 metr / sekundę).
1993 Rodney Brooks , Lynn Andrea Stein i Cynthia Breazeal rozpoczął szeroko nagłośnione projekt MIT Cog z licznych współpracowników, próbując zbudować humanoidalnego robota dziecko w ciągu zaledwie pięciu lat.
1993 ISX korporacja wygrywa „DARPA wykonawcę rok” dla analizy dynamicznej zmiany planu i narzędzia (DART), który podobno spłacony całej inwestycji przez rząd USA w badaniach AI od 1950 roku.
1994 Z pasażerami na pokładzie, bliźniacze samochody robotów Vamp i Vita-2 z Ernst Dickmanns i Daimler-Benz jechać ponad tysiąc kilometrów na paryskiej trzypasmowej autostradzie w standardowym ciężkiego ruchu z prędkością do 130 km / h. Pokazują one autonomiczną jazdę w wolnych pasów, konwój jazdy i zmiany pasa ruchu prawo- i autonomiczne biegiem innych samochodów.
1994 Warcaby angielskie ( warcaby ) mistrz świata Tinsley zrezygnował mecz z programu komputerowego Chinook . Chinook pokonany 2nd Najwyżej oceniane odtwarzacza Lafferty . Chinook wygrał Ogólnopolski Turniej USA przez najszerszy margines historii.
1995 „No Hands Across America”: pół-autonomicznym samochodem pojechaliśmy wybrzeża do wybrzeża w Stanach Zjednoczonych ze sterowaniem komputerowym sterowany za 2,797 mil (4501 km) od do 2,849 mil (4585 km). Przepustnicy i hamulce były kontrolowane przez człowieka kierowcy.
1995 Jednym z Ernst Dickmanns 'samochody robotów (z robota sterowany przepustnicą i hamulcami) pojechaliśmy ponad 1000 mil z Monachium do Kopenhagi iz powrotem, w ruchu, z prędkością do 120 mph, od czasu do czasu wykonywania manewrów przekazać inne samochody (tylko w kilku krytycznych sytuacje kierowca bezpieczeństwa przejęły). Active Vision użyto do czynienia z szybko zmieniających się scen ulicznych.
1997 Deep Blue szachy maszyna ( IBM ) pokonuje (wtedy) świata szachowego mistrz Garri Kasparow .
1997 Pierwszy oficjalny RoboCup piłka nożna (soccer) mecz wyposażony table-top mecze z 40 zespołów współdziałających robotów oraz ponad 5000 widzów.
1997 Komputer Othello Program Logistello pokonał mistrza świata Takeshi Murakami z wynikiem 6-0.
1998 Tiger Electronics ' Furby jest zwolniony, i staje się pierwszą udaną próbę wytworzenia typ AI dotarcia do środowisku domowym .
1998 Tim Berners-Lee opublikował swoją Semantic Web mapy drogowe papier.
1998 Leslie P. Kaelbling , Michael Littman i Anthony Cassandra wprowadzić pierwszą metodę rozwiązywania POMDPs offline jumpstarting szerokie zastosowanie w robotyce i zautomatyzowanego planowania i harmonogramowania
1999 Sony wprowadza ulepszony robota krajowy podobny do FURBY The AIBO staje się jednym z pierwszych sztucznie inteligentnych „zwierzętami”, który jest również autonomiczny .
koniec 1990 Roboty indeksujące i inne programy ekstrakcji informacji AI oparte stają się niezbędne w powszechnym użyciu w sieci World Wide Web .
koniec 1990 Wykazanie Intelligent pokoju i emocjonalnych pełnomocników w MIT AI Lab.
koniec 1990 Inicjowanie prac nad architekturą tlenu , który łączy komputery mobilne i stacjonarne w adaptacyjnego sieci .

2000s

Data Rozwój
2000 Robopets interaktywne ( „ inteligentne zabawki ”) stają się dostępne na rynku, realizując wizję 18 wieku nowości producentów zabawek.
2000 Cynthia Breazeal na MIT publikuje jej pracy doktorskiej na maszynach kontaktowy, opisując Kismet (robota) , z twarzą, która wyraża emocje .
2000 Nomad robotem bada odległe rejony Antarktydy szukają próbkach meteorytów.
2002 iRobot „s Roomba autonomicznie odkurza podłogę podczas nawigacji i unikania przeszkód.
2004 OWL Język Ontologii Sieciowej rekomendacją W3C (10 luty 2004).
2004 DARPA wprowadza DARPA Grand Challenge wymagających konkurentów produkować pojazdy autonomiczne dla nagród.
2004 NASA robota Rovers poszukiwania „s Spirit i Opportunity autonomicznie poruszać się po powierzchni Marsa .
2005 Honda „s ASIMO robot sztucznie inteligentny humanoid robot jest w stanie chodzić tak szybko, jak człowiek, dostarczając tace do klientów w ustawieniach restauracyjnych.
2005 Technologia zalecenie opiera się na śledzeniu aktywności internetowej lub wykorzystanie mediów przynosi AI do marketingu. Zobacz Sugestie TiVo .
2005 Niebieski Mózg rodzi się projekt do symulacji mózgu w szczegółach molekularnej.
2006 Dartmouth Artificial Intelligence Konferencja najbliższych 50 lat (AI @ 50) AI @ 50 (14-16 lipiec 2006)
2007 Philosophical Transactions of Royal Society B - biologia , jeden z najstarszych czasopism naukowych na świecie, stawia się specjalne wydanie na wykorzystaniu sztucznej inteligencji, aby zrozumieć inteligencji biologicznej, zatytułowany modele Natural Selection działania
2007 Warcaby jest rozwiązany przez zespół naukowców z University of Alberta .
2007 DARPA uruchamia Urban Challenge za autonomiczne samochody do przestrzegania przepisów ruchu drogowego i działają w środowisku miejskim.
2009 Google buduje autonomiczny samochód.

2010s

Data Rozwój
2010 Microsoft uruchomił Kinect dla Xbox 360, pierwszego urządzenia do gier, aby śledzić ruch ludzkiego ciała , używając tylko kamery 3D i wykrywania podczerwieni, dzięki czemu użytkownik może odegrać swoją Xbox 360 bezprzewodowo. Wielokrotnie nagradzana machine learning dla ludzkiej technologii motion capture dla tego urządzenia został opracowany przez grupę Computer Vision w Microsoft Research Cambridge.
2011 IBM „s Watson komputer pokonał telewizyjny teleturniej Jeopardy! Mistrzowie Rutter i Jennings .
2011-2014 Jabłko jest Siri (2011), Google jest Google Now (2012) oraz Microsoft „s Cortana (2014) to smartphone aplikacje , które używają języka naturalnego , aby odpowiedzieć na pytania, zalecenia i wykonywać działania.
2013 Robot HRP-2 zbudowany przez schaft Inc z Japonii , spółki zależnej od Google , pokonał 15 zespołów wygra DARPA „s Robotics Trials Wyzwanie . HRP-2 zdobył 27 z 32 punktów w 8 zadań potrzebnych w odpowiedzi na katastrofy. Zadania są kierowania pojazdem, chodzić na gruz, wspiąć się po drabinie, usunąć zanieczyszczenia, przejść przez drzwi, przebić się przez ścianę, w pobliżu zaworów i podłączyć wąż.
2013 NEIL , Niekończąca Learner Obraz jest wydany na Carnegie Mellon University stale porównywać i analizować relacje między różnymi obrazami.
2015 List otwarty do zakazu rozwoju i wykorzystania broni autonomicznych podpisanych przez Hawkinga , piżmo , Woźniak i 3.000 naukowców w AI i robotyki.
2015 Google DeepMind „s AlphaGo (wersja: Fan) pokonał 3 European Time Go mistrz 2 dan profesjonalnego Fan Hui przez 5 gier na 0.
2016 Google DeepMind „s AlphaGo (wersja: Lee) pokonał Lee SEDOL 4-1. Lee SEDOL jest 9 dan profesjonalny koreański Go mistrz, który zdobył 27 najważniejszych turniejach od 2002 do 2016. Przed meczem z AlphaGo Lee SEDOL był przekonany w przewidywaniu łatwy 5-0 lub 4-1 zwycięstwo.
2017 Asilomar Conference na pożyteczne AI odbyło się, aby omówić etyki AI i jak doprowadzić do korzystnego AI przy jednoczesnym uniknięciu ryzyka egzystencjalnego z silna sztuczna inteligencja .
2017 Poker AI libratus indywidualnie pokonany każdego z jej 4-ludzkich przeciwników wśród najlepszych graczy na świecie, przy wyjątkowo wysokim zagregowanej winrate ponad statystycznie istotnej próbki. W przeciwieństwie do szachów i odchodzą, Poker jest niedoskonała informacja gry.
2017 Google DeepMind „s AlphaGo (wersja: Master) wygrał 60-0 rund na dwóch publicznych Go stron internetowych w tym 3 zwycięstw przeciwko świat Go mistrz Ke Jie .
2017 Zdaniowa logika problemu logiczna spełnialności (SAT) solver dowodzi dawna przypuszczenie matematyczny na trójki pitagorejskie na zbiorze liczb całkowitych. Początkowy dowód, 200TB długo, został sprawdzony przez dwóch niezależnych biegłych automatycznych warcaby dowodu.
2017 OpenAI -machined dowiedział bot grał na Międzynarodowym 2017 Dota 2 turnieju w sierpniu 2017 roku zdobył podczas 1v1 gry demonstracja przeciwko profesjonalny Dota 2 gracza Dendi .
2017 Google DeepMind ujawniła, że AlphaGo Zero-ulepszona wersja AlphaGo-wyświetlanych znacznych zysków wydajność przy użyciu znacznie mniej jednostek przetwarzania tensor (w porównaniu do AlphaGo Lee; dawniej samą ilość TPU jako AlphaGo Master). W przeciwieństwie do poprzednich wersji, które nauczyły grę obserwując miliony ruchów ludzkich, AlphaGo Zero nauczyć grać tylko przeciwko sobie. Następnie system pokonany AlphaGo Lee 100 gier do zera, a pokonany AlphaGo Mistrzu 89 do 11. Choć uczenie bez nadzoru jest krokiem naprzód, wiele jeszcze trzeba się nauczyć o inteligencji ogólnej. AlphaZero mistrzowie szachów w ciągu 4 godzin, pokonując najlepsze szachy silnik Sztokfisz 8. AlphaZero wygrał 28 z 100 gier, a pozostałe 72 gry zakończył się remisem.
2018 przetwarzanie języka Alibaba AI przeważa nad najlepszymi ludźmi na czytanie i rozumienie testu Stanford University, zdobywając 82.44 przed 82.304 na zestawie 100000 pytań.
2018 Europejskie Laboratorium do nauki i Intelligent Systems ( aka Ellis) zaproponował jako paneuropejskiego konkurenta wysiłków amerykański AI, z myślą o tamę do drenażu mózgów talentu, wzdłuż linii CERN po II wojnie światowej.
2018 Ogłoszenie Google Duplex , usługi, aby umożliwić asystent AI do rezerwacji terminów przez telefon. The LA Times sędziowie głos AI być „prawie bez zarzutu” imitacja mowy ludzkiej brzmiące.

Zobacz też

Uwagi

Referencje

Linki zewnętrzne