Kalendarium sztucznej inteligencji - Timeline of artificial intelligence
Część serii na |
Sztuczna inteligencja |
---|
To oś czasu sztucznej inteligencji , a może nawet inteligencji syntetycznej .
Przed XX w.
Data | Rozwój |
---|---|
Antyk | Greckie mity o Hefajstosie i Pigmalionie zawierały ideę inteligentnych robotów (takich jak Talos ) i sztucznych istot (takich jak Galatea i Pandora ). |
Uważano, że święte mechaniczne posągi zbudowane w Egipcie i Grecji są zdolne do mądrości i emocji. Hermes Trismegistus napisałby, że „mają sensus i spiritus … odkrywając prawdziwą naturę bogów, człowiek był w stanie ją odtworzyć”. Prawo mozaikowe zabrania używania automatów w religii. | |
X wiek p.n.e. | Yan Shi podarował królowi Mu z Zhou mechanicznych ludzi. |
384 pne-322 pne | Arystoteles opisał sylogizm , metodę formalnego, mechanicznego myślenia i teorii wiedzy w Organonie . |
I wiek | Heron z Aleksandrii stworzył mechanicznych ludzi i inne automaty . |
260 | Porfir z Tyros napisał Isagogę, która kategoryzowała wiedzę i logikę. |
~800 | Geber rozwinął arabską teorię alchemiczną Takwina , sztucznego stworzenia życia w laboratorium, włącznie z życiem ludzkim . |
1206 | Al-Jazari stworzył programowalną orkiestrę mechanicznych istot ludzkich. |
1275 | Ramon Llull , hiszpański teolog , wynalazł Ars Magna , narzędzie do mechanicznego łączenia pojęć, oparte na arabskim narzędziu astrologicznym , Zairja . Metoda została rozwinięta przez Gottfrieda Leibniza w XVII wieku. |
~1500 | Paracelsus twierdził, że stworzył sztucznego człowieka z magnetyzmu, spermy i alchemii. |
~1580 | Rabin Judah Loew ben Bezalel z Pragi wynalazł Golema , glinianego człowieka ożywionego. |
Początek XVII wieku | René Descartes zaproponował, że ciała zwierząt to nic innego jak złożone maszyny (ale zjawiska umysłowe mają inną „substancję”). |
1620 | Sir Francis Bacon rozwinął teorię empirycznej wiedzy i logiki indukcyjnej wprowadził w swojej pracy The New Organon , grą Arystoteles tytułowym „s The Organon . |
1623 | Wilhelm Schickard narysował na liście do Keplera zegar liczący . Będzie to pierwsza z pięciu nieudanych prób zaprojektowania zegara liczącego z bezpośrednim wejściem w XVII wieku (m.in. projekty Tito Burattiniego , Samuela Morlanda i René Grilleta ). |
1641 | Thomas Hobbes opublikował Lewiatana i przedstawił mechaniczną, kombinatoryczną teorię poznania. Napisał "...dla rozumu to nic innego jak rachuby". |
1642 | Blaise Pascal wynalazł kalkulator mechaniczny , pierwszą cyfrową maszynę liczącą . |
1672 | Gottfried Leibniz ulepszył wcześniejsze maszyny, sprawiając, że Stepped Reckoner wykonuje mnożenie i dzielenie . Wynalazł także system liczb binarnych i przewidział uniwersalny rachunek rozumowania ( alfabet myśli ludzkiej ), za pomocą którego argumenty mogą być rozstrzygane mechanicznie. Leibniz pracował nad przypisaniem określonej liczby każdemu obiektowi na świecie, jako preludium do algebraicznego rozwiązania wszystkich możliwych problemów. |
1726 | Jonathan Swift opublikował Podróże Guliwera , który zawiera opis Silnika , maszyny na wyspie Laputa : „Projekt poprawy wiedzy spekulatywnej poprzez praktyczne i mechaniczne operacje” za pomocą tego „Sprzętu”, „najbardziej nieświadomej osoby w rozsądnym Charge i przy odrobinie pracy fizycznej może pisać książki z filozofii, poezji, polityki, prawa, matematyki i teologii, z najmniejszą pomocą od geniuszu lub studiów. Maszyna jest parodią Ars Magna , jednej z inspiracji mechanizmu Gottfrieda Leibniza . |
1750 | Julien Offray de La Mettrie opublikował L'Homme Machine , w którym dowodził, że myśl ludzka jest ściśle mechaniczna. |
1769 | Wolfgang von Kempelen zbudowany i koncertował ze swoim szachy -playing automatu , Turek . Turek okazał się później mistyfikacją , w której uczestniczył ludzki szachista. |
1818 | Mary Shelley opublikowała historię Frankensteina; lub Współczesny Prometeusz , fikcyjna refleksja na temat etyki tworzenia czujących istot. |
1822-1859 | Charles Babbage i Ada Lovelace pracowali nad programowalnymi mechanicznymi maszynami liczącymi . |
1837 | Matematyk Bernard Bolzano podjął pierwszą współczesną próbę sformalizowania semantyki . |
1854 | George Boole postanowił „zbadać podstawowe prawa tych operacji umysłu, za pomocą których odbywa się rozumowanie, aby wyrazić je w symbolicznym języku rachunku różniczkowego”, wymyślając algebrę Boole'a . |
1863 | Samuel Butler zasugerował, że ewolucja darwinowska dotyczy również maszyn i spekuluje, że pewnego dnia staną się one świadome i ostatecznie wyprą ludzkość. |
XX wiek
1901-1950
Data | Rozwój |
---|---|
1913 | Bertrand Russell i Alfred North Whitehead opublikowali Principia Mathematica , które zrewolucjonizowało logikę formalną . |
1915 | Leonardo Torres y Quevedo zbudował automat szachowy El Ajedrecista i opublikował spekulacje na temat myślenia i automatów. |
1923 | W Londynie otwarto sztukę Karela Čapka RUR (Uniwersalne roboty Rossuma) . Jest to pierwsze użycie słowa „ robot ” w języku angielskim. |
Lata 20. i 30. XX wieku | Ludwig Wittgenstein i Rudolf Carnap doprowadziła filozofię do logicznej analizy wiedzy . Alonzo Church opracował rachunek lambda, aby zbadać obliczalność przy użyciu rekurencyjnej notacji funkcyjnej. |
1931 | Kurt Gödel wykazał, że wystarczająco potężne systemy formalne , jeśli są spójne, pozwalają na formułowanie prawdziwych twierdzeń, których nie da się udowodnić za pomocą żadnej maszyny dowodzącej twierdzeń, wyprowadzającej wszystkie możliwe twierdzenia z aksjomatów. W tym celu musiał zbudować uniwersalny, oparty na liczbach całkowitych język programowania, przez co bywa nazywany „ojcem informatyki teoretycznej ”. |
1935 | Najwcześniejsze znaczące prace w dziedzinie sztucznej inteligencji zostały wykonane w połowie XX wieku przez brytyjskiego logika i pioniera komputerowego Alana Mathisona Turinga. |
1940 | Edward Condon wyświetla Nimatron , cyfrowy komputer, który doskonale grał na Nima . |
1941 | Konrad Zuse zbudował pierwsze działające komputery sterowane programem. |
1943 | Warren Sturgis McCulloch i Walter Pitts publikują „Rachunek logiczny idei immanentnych w aktywności nerwowej ” (1943), kładąc podwaliny pod sztuczne sieci neuronowe . |
Arturo Rosenblueth , Norbert Wiener i Julian Bigelow ukuli termin „ cybernetyka ”. Popularna książka Wienera pod tym tytułem wydana w 1948 roku. | |
1945 | Teoria gier, która okazałaby się nieoceniona w rozwoju sztucznej inteligencji, została wprowadzona w artykule z 1944 r. Teoria gier i zachowań ekonomicznych autorstwa matematyka Johna von Neumanna i ekonomisty Oskara Morgensterna . |
Vannevar Bush opublikował As We May Think ( The Atlantic Monthly , lipiec 1945) proroczą wizję przyszłości, w której komputery pomagają ludziom w wielu czynnościach. | |
1948 | John von Neumann (cytowany przez ET Jaynesa ) w odpowiedzi na komentarz na wykładzie, że maszyna (przynajmniej ta stworzona przez ludzi) nie może myśleć: „Upierasz się, że jest coś, czego maszyna nie może zrobić. powie mi dokładnie, czego maszyna nie może zrobić, wtedy zawsze mogę zrobić maszynę, która to zrobi!”. Von Neumann nawiązał przypuszczalnie do tezy Churcha-Turinga, która stwierdza, że każda efektywna procedura może być symulowana przez (uogólniony) komputer. |
1950
Data | Rozwój |
---|---|
1950 | Alan Turing proponuje Test Turinga jako miarę inteligencji maszyny. |
Claude Shannon opublikował szczegółową analizę gry w szachy jako poszukiwanie . | |
Isaac Asimov opublikował swoje Trzy Prawa Robotyki . | |
1951 | Pierwsze działające programy sztucznej inteligencji zostały napisane w 1951 roku i były uruchamiane na maszynie Ferranti Mark 1 z Uniwersytetu w Manchesterze : program do gry w warcaby napisany przez Christophera Stracheya i program do gry w szachy napisany przez Dietricha Prinza . |
1952-1962 | Arthur Samuel ( IBM ) napisał pierwszy program do gry w warcaby ( warcaby ), aby osiągnąć umiejętności wystarczające do rzucenia wyzwania szanowanemu amatorowi. Jego pierwszy program do gry w warcaby został napisany w 1952 roku, aw 1955 stworzył wersję, która nauczyła się grać. |
1956 | Dartmouth College konferencja lato AI jest organizowany przez Johna McCarthy'ego , Marvin Minsky , Nathan Rochester z IBM i Claude Shannon . McCarthy ukuł na konferencji termin „ sztuczna inteligencja ”. |
Pierwsza demonstracja teorii logiki (LT) napisana przez Allena Newella , JC Shawa i Herberta A. Simona ( Carnegie Institute of Technology , obecnie Carnegie Mellon University lub CMU). Jest to często nazywane pierwszym programem AI, chociaż program warcabów Samuela również ma mocne twierdzenie. | |
1958 | John McCarthy ( Massachusetts Institute of Technology lub MIT) wynalazł język programowania Lisp . |
Herbert Gelernter i Nathan Rochester (IBM) opisali dowodzenie twierdzeń w geometrii, które wykorzystuje semantyczny model dziedziny w postaci diagramów „typowych” przypadków. | |
Teddington Konferencja na mechanizacji procesów myślowych odbyła się w Wielkiej Brytanii i jednym z referatów byli John McCarthy 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. |
John McCarthy i Marvin Minsky założyli MIT AI Lab . | |
Późne lata 50., wczesne lata 60. | Margaret Masterman i jej współpracownicy z University of Cambridge projektują sieci semantyczne do tłumaczenia maszynowego . |
1960
Data | Rozwój |
---|---|
1960 | Ray Solomonoff kładzie podwaliny pod matematyczną teorię sztucznej inteligencji, wprowadzając uniwersalne bayesowskie metody wnioskowania i przewidywania indukcyjnego. |
1960 | Symbioza człowiek-komputer autorstwa JCR Licklidera. |
1961 | James Slagle (rozprawa doktorska, MIT) napisał (w Lispie) pierwszy symboliczny program integracyjny , SAINT, który rozwiązywał problemy z rachunkiem różniczkowym na pierwszym roku studiów. |
W Minds, Maszyny i Gödel , John Lucas pozbawiony możliwości maszynowej inteligencji na logicznych lub filozoficznych podstawach. Odniósł się do wyniku Kurta Gödla z 1931 r.: wystarczająco silne systemy formalne są albo niespójne, albo pozwalają na formułowanie prawdziwych twierdzeń, których nie da się udowodnić za pomocą jakiejkolwiek dowodzącej twierdzeń sztucznej inteligencji wyprowadzającej wszystkie dające się udowodnić twierdzenia z aksjomatów. Ponieważ ludzie są w stanie „zobaczyć” prawdziwość takich twierdzeń, maszyny uznano za gorsze. | |
Unimation „s robot przemysłowy Unimate pracował w General Motors samochód linii montażowej . | |
1963 | Program Thomasa Evansa ANALOGY, napisany jako część jego pracy doktorskiej w MIT, wykazał, że komputery mogą rozwiązywać te same problemy z analogią , które są podane w testach IQ . |
Edward Feigenbaum i Julian Feldman opublikowali Computers and Thought , pierwszy zbiór artykułów o sztucznej inteligencji. | |
Leonard Uhr i Charles Vossler opublikowali „Program rozpoznawania wzorców, który generuje, ocenia i dostosowuje własne operatory”, w którym opisali jeden z pierwszych programów uczenia maszynowego, który mógł adaptacyjnie nabywać i modyfikować funkcje, a tym samym przezwyciężyć ograniczenia prostych perceptronów Rosenblatta . | |
1964 | Rozprawa Danny'ego Bobrowa na MIT (raport techniczny nr 1 z grupy AI MIT, Project MAC ) pokazuje, że komputery mogą rozumieć język naturalny wystarczająco dobrze, aby poprawnie rozwiązywać problemy tekstowe z algebry . |
Rozprawa MIT Bertrama Raphaela na temat programu SIR demonstruje moc logicznej reprezentacji wiedzy dla systemów odpowiedzi na pytania. | |
1965 | Lotfi Zadeh z UC Berkeley publikuje swój pierwszy artykuł wprowadzający logikę rozmytą „Zbiory rozmyte” (Information and Control 8: 338–353). |
J. Alan Robinson wynalazł mechaniczną procedurę dowodową , metodę rozwiązywania, która umożliwiała programom wydajną pracę z logiką formalną jako językiem reprezentacji. | |
Joseph Weizenbaum (MIT) stworzył ELIZA , interaktywny program, który prowadzi dialog w języku angielskim na dowolny temat. Była to popularna zabawka w centrach AI w ARPANET, gdy zaprogramowano wersję, która „symulowała” dialog psychoterapeuty . | |
Edward Feigenbaum zainicjował Dendral , dziesięcioletnią próbę opracowania oprogramowania do wywnioskowania struktury molekularnej związków organicznych przy użyciu danych z instrumentów naukowych. Był to pierwszy system ekspercki . | |
1966 | Ross Quillian (rozprawa doktorska, Carnegie Inst. of Technology, obecnie CMU) zademonstrował sieci semantyczne . |
Warsztaty Machine Intelligence w Edynburgu – pierwsze z wpływowej, corocznej serii organizowanej przez Donalda Michie i innych. | |
Negatywne raporty dotyczące tłumaczenia maszynowego zabijają wiele pracy w przetwarzaniu języka naturalnego (NLP) przez wiele lat. | |
Program Dendral (Edward Feigenbaum, Joshua Lederberg , Bruce Buchanan, Georgia Sutherland na Uniwersytecie Stanforda ) zademonstrował interpretację widm masowych organicznych związków chemicznych. Pierwszy udany program oparty na wiedzy do rozumowania naukowego. | |
1968 | Joel Moses (praca doktorska w MIT) zademonstrował siłę symbolicznego rozumowania problemów integracyjnych w programie Macsyma . Pierwszy udany program oparty na wiedzy w matematyce . |
Richard Greenblatt (programista) na MIT zbudowali opartej na wiedzy szachowy programu , MacHack , to było wystarczająco dobre, aby uzyskać ocenę klasy C w grze turniejowej. | |
Program Wallace'a i Boultona, Snob (Comp.J. 11(2) 1968), do nienadzorowanej klasyfikacji (grupowania) wykorzystuje kryterium Bayesowskiej minimalnej długości wiadomości , matematyczną realizację brzytwy Ockhama . | |
1969 | Stanford Research Institute (SRI): Shakey the Robot , zademonstrował łączenie lokomocji zwierząt , percepcji i rozwiązywania problemów . |
Roger Schank (Stanford) zdefiniował pojęciowy model zależności dla rozumienia języka naturalnego . Opracowany później (w rozprawach doktorskich na Uniwersytecie Yale ) do wykorzystania w zrozumieniu historii przez Roberta Wilensky'ego i Wendy Lehnert oraz do wykorzystania w zrozumieniu pamięci przez Janet Kolodner. | |
Yorick Wilks (Stanford) rozwinął semantyczną koherencję języka o nazwie Preference Semantics, ucieleśnioną w pierwszym programie tłumaczenia maszynowego opartego na semantyce i będącą podstawą wielu rozpraw doktorskich, takich jak Bran Boguraev i David Carter w Cambridge. | |
Pierwsza międzynarodowa wspólna konferencja na temat sztucznej inteligencji ( IJCAI ) odbyła się w Stanford. | |
Marvin Minsky i Seymour Papert publikować perceptrony , wykazując wcześniej nierozpoznane granice tego feed-forward dwu-warstwowej struktury, a ta książka jest uważany przez niektórych, aby zaznaczyć początek zimy AI od 1970 roku, braku zaufania i finansowania AI. Niemniej jednak kontynuowano znaczne postępy w tej dziedzinie (zob. poniżej). | |
McCarthy i Hayes rozpoczęli dyskusję na temat problemu ram od eseju „Some Philosophical Problems from the Standpoint of Artificial Intelligence”. |
lata 70.
Data | Rozwój |
---|---|
Początek lat 70. | Jane Robinson i Don Walker założyli wpływową grupę zajmującą się przetwarzaniem języka naturalnego w SRI. |
1970 | Seppo Linnainmaa publikuje odwrócony tryb automatycznego różnicowania . Metoda ta stała się później znana jako wsteczna propagacja i jest powszechnie wykorzystywana do trenowania sztucznych sieci neuronowych . |
Jaime Carbonell (Sr.) opracował SCHOLAR, interaktywny program do nauczania wspomaganego komputerowo oparty na sieciach semantycznych jako reprezentacji wiedzy. | |
Bill Woods opisał Augmented Transition Networks (ATN) jako reprezentację rozumienia języka naturalnego. | |
Program doktorski Patricka Winstona , ARCH, w MIT, uczył się pojęć na przykładach ze świata dziecięcych klocków. | |
1971 | Praca doktorska Terry'ego Winograda ( MIT ) wykazała zdolność komputerów do rozumienia angielskich zdań w ograniczonym świecie dziecięcych klocków, w połączeniu jego programu rozumienia języka, SHRDLU , z ramieniem robota, które wykonywało instrukcje pisane w języku angielskim. |
Prace nad dowodzeniem twierdzenia Boyera-Moore'a rozpoczęły się w Edynburgu. | |
1972 | Język programowania Prolog opracowany przez Alaina Colmerauera . |
Earl Sacerdoti opracował jeden z pierwszych hierarchicznych programów planowania, ABSTRIPS. | |
1973 | Zespół Robotyki Montażowej z Uniwersytetu w Edynburgu buduje robota Freddy, który potrafi wykorzystywać percepcję wizualną do lokalizowania i składania modeli. (Patrz Edinburgh Freddy Assembly Robot : wszechstronny, sterowany komputerowo system montażowy.) |
Raport Lighthill daje w dużej mierze negatywny werdykt na temat badań nad sztuczną inteligencją w Wielkiej Brytanii i stanowi podstawę decyzji rządu brytyjskiego o zaprzestaniu wspierania badań nad sztuczną inteligencją na wszystkich uniwersytetach z wyjątkiem dwóch. | |
1974 | Rozprawa doktorska Teda Shortliffe na temat programu MYCIN (Stanford) wykazała bardzo praktyczne, oparte na regułach podejście do diagnoz medycznych, nawet w obliczu niepewności. Chociaż pożyczył od DENDRAL, jego wkład własny silnie wpłynął na przyszłość rozwoju systemów eksperckich , zwłaszcza systemów komercyjnych. |
1975 | Earl Sacerdoti opracował techniki planowania częściowego rzędu w swoim systemie NOAH, zastępując poprzedni paradygmat wyszukiwania wśród opisów przestrzeni stanów. NOAH został zastosowany w SRI International do interaktywnej diagnozy i naprawy systemów elektromechanicznych. |
Austin Tate opracował hierarchiczny system planowania Nonlin, który jest w stanie przeszukiwać przestrzeń planów częściowych scharakteryzowanych jako alternatywne podejścia do podstawowej struktury celów planu. | |
Marvin Minsky opublikował swój poczytny i wpływowy artykuł Ramy jako reprezentacja wiedzy, w którym łączy się wiele idei dotyczących schematów i powiązań semantycznych . | |
Program nauczania Meta-Dendral przyniósł nowe wyniki w chemii (niektóre zasady spektrometrii mas ), pierwsze naukowe odkrycia dokonane przez komputer, które zostały opublikowane w recenzowanym czasopiśmie. | |
Połowa lat 70. | Barbara Grosz (SRI) ustaliła granice tradycyjnych podejść AI do modelowania dyskursu. Kolejne prace Grosza, Bonnie Webber i Candace Sidner rozwinęły pojęcie „centrowania”, używane w ustalaniu ognisk dyskursu i odniesień anaforycznych w przetwarzaniu języka naturalnego . |
David Marr i koledzy z MIT opisują „pierwotny szkic” i jego rolę w percepcji wzrokowej . | |
1976 | Douglas Lenat „s Program AM (Stanford dr rozprawa) wykazały model Discovery (luźno prowadzone poszukiwanie interesujących hipotez). |
Randall Davis zademonstrował moc rozumowania metapoziomowego w swojej rozprawie doktorskiej w Stanford. | |
1978 | Tom Mitchell ze Stanford wynalazł koncepcję przestrzeni wersji do opisywania przestrzeni poszukiwań programu tworzenia koncepcji. |
Herbert A. Simon otrzymuje Nagrodę Nobla w dziedzinie ekonomii za swoją teorię ograniczonej racjonalności , jednego z fundamentów sztucznej inteligencji, znanej jako „ satysfakcjonowanie ”. | |
Program MOLGEN, napisany w Stanford przez Marka Stefika i Petera Friedlanda, wykazał, że obiektowa reprezentacja wiedzy w programowaniu może być wykorzystana do planowania eksperymentów z klonowaniem genów . | |
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». |
Jack Myers i Harry Pople z University of Pittsburgh opracowali INTERNIST, oparty na wiedzy program diagnostyki medycznej oparty na wiedzy klinicznej dr Myersa . | |
Cordell Green , David Barstow, Elaine Kant i inni ze Stanford zademonstrowali system CHI do automatycznego programowania . | |
Wózek Stanford, zbudowany przez Hansa Moraveca , staje się pierwszym sterowanym komputerowo, autonomicznym pojazdem, gdy z powodzeniem przemierza pokój wypełniony krzesłami i okrąża Laboratorium AI Stanforda . | |
BKG, program backgammon napisany przez Hansa Berlinera z CMU , pokonuje panującego mistrza świata (częściowo dzięki szczęściu). | |
Drew McDermott i Jon Doyle z MIT oraz John McCarthy ze Stanford rozpoczynają publikację prac na temat logik niemonotonicznych i formalnych aspektów zachowania prawdy. | |
Późne lata 70. | Zasoby SUMEX-AIM firmy Stanford, kierowane przez Eda Feigenbauma i Joshuę Lederberga, pokazują moc sieci ARPAnet we współpracy naukowej. |
lata 80.
Data | Rozwój |
---|---|
lata 80. | Maszyny Lisp opracowane i wprowadzone na rynek. Pierwsze powłoki systemów eksperckich i aplikacje komercyjne. |
1980 | Pierwsza Krajowa Konferencja Amerykańskiego Stowarzyszenia na rzecz Sztucznej Inteligencji (AAAI) odbyła się w Stanford. |
1981 | Danny Hillis projektuje maszynę łączącą, która wykorzystuje obliczenia równoległe, aby zapewnić nową moc sztucznej inteligencji i ogólnie obliczeniom. (później zakłada Thinking Machines Corporation ) |
1982 | Projekt systemów komputerowych piątej generacji (FGCS), inicjatywa japońskiego Ministerstwa Handlu Międzynarodowego i Przemysłu, rozpoczęta w 1982 r., mająca na celu stworzenie „komputera piątej generacji” (patrz historia sprzętu komputerowego), który miał wykonywać wiele obliczeń z wykorzystaniem masowego równoległości . |
1983 | John Laird i Paul Rosenbloom, współpracujący z Allenem Newellem , ukończyli rozprawy CMU na temat Soar (program). |
James F. Allen wynalazł rachunek interwałowy, pierwszą powszechnie stosowaną formalizację zdarzeń czasowych. | |
Połowa lat 80. | Sieci neuronowe są szeroko stosowane w algorytmie Backpropagation , znanym również jako odwrócony tryb automatycznego różnicowania, opublikowanym przez Seppo Linnainmaa w 1970 roku i zastosowanym do sieci neuronowych przez Paula Werbosa . |
1985 | Autonomiczny program do rysowania, AARON , stworzony przez Harolda Cohena , jest prezentowany na Krajowej Konferencji AAAI (w oparciu o ponad dekadę pracy, a kolejne prace pokazują główne zmiany). |
1986 | Zespół Ernsta Dickmannsa z Uniwersytetu Bundeswehr w Monachium buduje pierwsze samochody-roboty, poruszające się z prędkością do 55 mil na godzinę po pustych ulicach. |
Barbara Grosz i Candace Sidner tworzą pierwszy obliczeniowy model dyskursu , ustanawiając pole badań. | |
1987 | Marvin Minsky opublikował The Society of Mind , teoretyczny opis umysłu jako zbioru współpracujących agentów . Wykładał na ten temat wiele lat przed wydaniem książki (por. Doyle 1983). |
Mniej więcej w tym samym czasie Rodney Brooks przedstawił architekturę subsumpcji i robotykę opartą na zachowaniu jako bardziej minimalistyczny modułowy model naturalnej inteligencji; Nowa sztuczna inteligencja . | |
Komercyjne uruchomienie generacji 2.0 Alacrity przez Alacritous Inc./Allstar Advice Inc. Toronto, pierwszego komercyjnego systemu doradztwa strategicznego i zarządczego. System został oparty na rozwijającym się do przodu, samodzielnie opracowanym systemie eksperckim z 3000 regułami dotyczącymi ewolucji rynków i strategii konkurencyjnych, a jego współautorami są Alistair Davidson i Mary Chung, założyciele firmy z silnikiem opracowanym przez Paula Tarvydasa. System Alacrity zawierał również mały system ekspertów finansowych, który interpretował sprawozdania finansowe i modele. | |
1989 | Rozwój bardzo dużej skali integracji (VLSI) metal-tlenek-półprzewodnik (MOS) , w postaci komplementarnej technologii MOS (CMOS), umożliwił rozwój praktycznej technologii sztucznych sieci neuronowych (ANN) w latach 80. XX wieku. Przełomową publikacją w tej dziedzinie była książka z 1989 r. Analog VLSI Implementation of Neural Systems autorstwa Carvera A. Meada i Mohammeda Ismaila. |
Dziekan Pomerleau z CMU tworzy ALVINN (Autonomiczny Pojazd Lądowy w Sieci Neuronowej). |
1990
Data | Rozwój |
---|---|
1990 | Znaczące postępy we wszystkich obszarach sztucznej inteligencji, ze znaczącymi demonstracjami w uczeniu maszynowym, inteligentnym nauczaniu , wnioskowaniu opartym na konkretnych przypadkach, planowaniu wieloagentowym, harmonogramowaniu , niepewnym rozumowaniu, eksploracji danych , rozumieniu i tłumaczeniu języka naturalnego, wizji, rzeczywistości wirtualnej , grach i inne tematy. |
Początek lat 90. | TD-Gammon , program do gry w tryktrak napisany przez Gerry'ego Tesauro, pokazuje, że wzmacnianie (uczenie się) jest wystarczająco potężne, aby stworzyć program gry na poziomie mistrzowskim, rywalizując korzystnie ze światowej klasy graczami. |
1991 | Aplikacja do planowania DART wdrożona podczas pierwszej wojny w Zatoce Perskiej zwróciła 30-letnią inwestycję DARPA w badania nad sztuczną inteligencją. |
1992 | Zespół robotyki Carol Stoker i NASA Ames bada życie morskie na Antarktydzie za pomocą podwodnego robota Telepresence ROV obsługiwanego z lodu w pobliżu McMurdo Bay na Antarktydzie i zdalnie za pośrednictwem łącza satelitarnego z Moffett Field w Kalifornii. |
1993 | Ian Horswill rozszerzył robotykę opartą na zachowaniu, tworząc Polly , pierwszego robota, który nawiguje za pomocą wizji i działa z prędkością zbliżoną do zwierząt (1 metr na sekundę). |
Rodney Brooks , Lynn Andrea Stein i Cynthia Breazeal rozpoczęły szeroko nagłośniony projekt MIT Cog z licznymi współpracownikami, próbując zbudować humanoidalne dziecko- robot w ciągu zaledwie pięciu lat. | |
Korporacja ISX wygrywa „wykonawcę roku DARPA” za Dynamic Analysis and Replanning Tool (DART), które podobno zwróciło całą inwestycję rządu USA w badania nad sztuczną inteligencją od lat pięćdziesiątych. | |
1994 | Lotfi Zadeh na Uniwersytecie Kalifornijskim w Berkeley tworzy „ soft computing ” i buduje światową sieć badań z fuzją neuronauki i systemów sieci neuronowych , teorii zbiorów rozmytych i systemów rozmytych , algorytmów ewolucyjnych, programowania genetycznego oraz teorii chaosu i systemów chaotycznych („Rozmyte Logic, Neural Networks and Soft Computing, Communications of the ACM, marzec 1994, t. 37 nr 3, strony 77–84). |
Z pasażerami na pokładzie, bliźniacze samochody-roboty VaMP i VITA-2 Ernsta Dickmannsa i Daimler-Benz pokonują ponad tysiąc kilometrów po trzypasmowej autostradzie w Paryżu w standardowym ruchu o dużym natężeniu ruchu z prędkością do 130 km/h. Demonstrują autonomiczną jazdę na wolnych pasach, jazdę w konwoju i zmiany pasów w lewo i w prawo z autonomicznym mijaniem innych samochodów. | |
Warcaby angielskie ( warcaby ) mistrz świata Tinsley zrezygnował mecz z programu komputerowego Chinook . Chinook pokonał drugiego najwyżej ocenianego gracza, Lafferty'ego . Chinook wygrał Turniej Narodowy USA z największą przewagą w historii. | |
Cindy Mason z NASA organizuje pierwsze warsztaty AAAI na temat sztucznej inteligencji i środowiska. | |
1995 | Cindy Mason z NASA organizuje pierwsze międzynarodowe warsztaty IJCAI na temat sztucznej inteligencji i środowiska. |
„No Hands Across America”: półautonomiczny samochód jechał wzdłuż Stanów Zjednoczonych od wybrzeża do wybrzeża ze sterowanym komputerowo układem kierowniczym przez 2797 mil (4501 km) z 2849 mil (4585 km). Przepustnicą i hamulcami sterował ludzki kierowca. | |
Jeden z samochodów-robotów Ernsta Dickmansa (z przepustnicą i hamulcami sterowanymi przez robota) przejechał ponad 1000 mil z Monachium do Kopenhagi i z powrotem, w ruchu ulicznym, z prędkością do 120 mil na godzinę, od czasu do czasu wykonując manewry, aby wyprzedzić inne samochody (tylko w kilku krytycznych sytuacji, które przejął kierowca bezpieczeństwa). Aktywne widzenie zostało wykorzystane do radzenia sobie z szybko zmieniającymi się scenami ulicznymi. | |
1996 | Steve Grand , robotyk i informatyk, opracowuje i wydaje Creatures , popularną symulację sztucznych form życia z symulowaną biochemią, neurologią z algorytmami uczenia się i dziedzicznym cyfrowym DNA. |
1997 | Deep Blue szachy maszyna ( IBM ) pokonuje (wtedy) świata szachowego mistrz Garri Kasparow . |
Pierwszy oficjalny mecz piłki nożnej (piłka nożna) RoboCup, w którym odbywają się mecze stołowe z udziałem 40 drużyn wchodzących w interakcje robotów i ponad 5000 widzów. | |
Program Computer Othello 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 . |
Tim Berners-Lee opublikował swój artykuł z mapą Semantic Web Road . | |
Ulises Cortés i Miquel Sànchez-Marrè organizują pierwsze w Europie warsztaty dotyczące środowiska i sztucznej inteligencji ECAI „Wiążące nauki o środowisku i sztuczna inteligencja”. | |
Leslie P. Kaelbling , Michael Littman i Anthony Cassandra przedstawiają POMDP i skalowalną metodę ich rozwiązywania społeczności AI, rozpoczynając szerokie zastosowanie w robotyce oraz zautomatyzowanym planowaniu i harmonogramowaniu | |
1999 | Sony wprowadza ulepszonego robota domowego podobnego do Furby, AIBO staje się jednym z pierwszych sztucznie inteligentnych „zwierząt domowych”, który jest również autonomiczny . |
Późne lata 90. | Roboty indeksujące i inne programy do ekstrakcji informacji oparte na sztucznej inteligencji stają się niezbędne w powszechnym korzystaniu z sieci WWW . |
Demonstracja inteligentnego pokoju i agentów emocjonalnych w AI Lab MIT . | |
Rozpoczęcie prac nad architekturą Oxygen , która łączy komputery mobilne i stacjonarne w sieć adaptacyjną . |
21. Wiek
2000s
Data | Rozwój |
---|---|
2000 | Interaktywne roboty (" inteligentne zabawki ") stają się dostępne na rynku, urzeczywistniając wizję XVIII-wiecznych twórców nowatorskich zabawek. |
Cynthia Breazeal z MIT publikuje swoją rozprawę na temat maszyn towarzyskich, opisującą Kismet (robot) o twarzy wyrażającej emocje . | |
Robota Nomad 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 Web Ontology Language Rekomendacja W3C (10 lutego 2004). |
DARPA wprowadza DARPA Grand Challenge, w którym zawodnicy muszą produkować pojazdy autonomiczne za nagrody pieniężne. | |
Roboty łazików eksploracyjnych NASA Spirit i Opportunity autonomicznie poruszają 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. |
Technologia rekomendacji oparta na śledzeniu aktywności w sieci lub korzystania z mediów wprowadza sztuczną inteligencję do marketingu. Zobacz Sugestie TiVo . | |
Powstaje Blue Brain , projekt symulujący mózg w szczegółach molekularnych. | |
2006 | Konferencja na temat sztucznej inteligencji w Dartmouth: Następne 50 lat (AI@50) AI@50 (14-16 lipca 2006) |
2007 | Philosophical Transactions of the Royal Society, B – Biology , jedno z najstarszych czasopism naukowych na świecie, publikuje specjalne wydanie poświęcone wykorzystaniu sztucznej inteligencji do zrozumienia inteligencji biologicznej, zatytułowane Models of Natural Action Selection |
Warcaby jest rozwiązywane przez zespół naukowców z Uniwersytetu Alberty . | |
DARPA uruchamia Urban Challenge, aby samochody autonomiczne przestrzegały przepisów ruchu drogowego i działały w środowisku miejskim. | |
2008 | Cynthia Mason ze Stanford przedstawia swój pomysł na sztuczną inteligencję współczującą w swoim artykule zatytułowanym „Giving Robots Compassion” . |
2009 | Google buduje autonomiczny samochód. |
2010s
Data | Rozwój |
---|---|
2010 | Firma Microsoft wprowadziła Kinect na konsolę Xbox 360, pierwsze urządzenie do gier śledzące ruchy ludzkiego ciała , wykorzystujące jedynie kamerę 3D i wykrywanie w podczerwieni, co umożliwia użytkownikom bezprzewodowe granie na konsoli Xbox 360. Wielokrotnie nagradzane uczenie maszynowe dla technologii przechwytywania ruchu człowieka dla tego urządzenia zostało opracowane przez grupę Computer Vision w Microsoft Research , Cambridge. |
2011 | Mary Lou Maher i Doug Fisher organizują pierwsze warsztaty AAAI na temat sztucznej inteligencji i zrównoważonego rozwoju. |
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 do odpowiedzi na pytania, zalecenia i wykonują czynności. |
2013 | Robot HRP-2 zbudowany przez schaft Inc z Japonii , spółki zależnej od Google , pokonał 15 zespołów wygra DARPA „s Trials robotyka Wyzwanie . HRP-2 zdobył 27 z 32 punktów w 8 zadaniach potrzebnych do reagowania na katastrofy. Zadania obejmują prowadzenie pojazdu, przechodzenie po gruzach, wspinanie się po drabinie, usuwanie gruzu, przechodzenie przez drzwi, przecinanie ścian, zamykanie zaworów i podłączanie węża. |
NEIL , The Never Ending Image Learner, jest wydawany na Uniwersytecie Carnegie Mellon w celu ciągłego porównywania i analizowania relacji między różnymi obrazami. | |
2015 | List otwarty w sprawie zakazu rozwoju i używania broni autonomicznej podpisany przez Hawkinga , Muska , Woźniaka i 3000 naukowców zajmujących się sztuczną inteligencją i robotyką. |
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 profesjonalnym mistrzem koreańskiego Go 9 dan, który wygrał 27 głównych turniejów w latach 2002-2016. |
2017 | Odbyła się konferencja Asilomar na temat korzystnej sztucznej inteligencji , aby omówić etykę sztucznej inteligencji i jak wprowadzić korzystną sztuczną inteligencję przy jednoczesnym unikaniu ryzyka egzystencjalnego ze sztucznej inteligencji ogólnej . |
Deepstack to pierwszy opublikowany algorytm do pokonania ludzkich graczy w niedoskonałych grach informacyjnych, co wykazano statystycznie w pokerze heads-up bez limitu . Niedługo potem poker AI Libratus przez inną grupę badawczą indywidualnie pokonał każdego ze swoich 4 ludzkich przeciwników – wśród najlepszych graczy na świecie – z wyjątkowo wysokim zagregowanym współczynnikiem wygranych, w porównaniu ze statystycznie istotną próbą. W przeciwieństwie do Chess and Go, Poker jest niedoskonałą grą informacyjną . | |
W maju 2017 roku, Google DeepMind „s AlphaGo (wersja: Master) pokonać Ke Jie , który w tym czasie ciągle trzymał Świat nr 1 rankingu na okres dwóch lat, wygrywając każdą grę w meczu trzy gry podczas Przyszłości Go szczytu . | |
Zdaniowa logika Boolean spełnialności problemem (SAT) solver dowodzi dawna przypuszczenie matematycznego na Pitagorasa potraja się zbiór liczb całkowitych. Wstępny dowód o długości 200 TB został sprawdzony przez dwóch niezależnych certyfikowanych automatycznych sprawdzających. | |
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 . | |
Google DeepMind ujawnił, że AlphaGo Zero — ulepszona wersja AlphaGo — wykazała znaczny wzrost wydajności przy znacznie mniejszej liczbie jednostek przetwarzania tensorów (w porównaniu z AlphaGo Lee; używał takiej samej ilości TPU, jak AlphaGo Master). W przeciwieństwie do poprzednich wersji, które uczyły się gry, obserwując miliony ludzkich ruchów, AlphaGo Zero uczyło się grając tylko przeciwko sobie. Następnie system pokonał AlphaGo Lee 100 gier do zera, a AlphaGo Master 89 do 11. Chociaż nienadzorowane uczenie się jest krokiem naprzód, wiele jeszcze trzeba się nauczyć o ogólnej inteligencji. AlphaZero opanowuje szachy w 4 godziny, pokonując najlepszy silnik szachowy StockFish 8. AlphaZero wygrał 28 ze 100 partii, a pozostałe 72 partie zakończyły się remisem. | |
2018 | Sztuczna inteligencja przetwarzania języka Alibaba przewyższa najlepszych ludzi w teście czytania i rozumienia Uniwersytetu Stanforda, uzyskując wynik 82,44 wobec 82,304 w zestawie 100 000 pytań. |
European Lab for Learning and Intelligent Systems ( znane również jako Ellis) zaproponowało jako paneuropejski konkurent dla amerykańskich wysiłków w zakresie sztucznej inteligencji, w celu powstrzymania drenażu mózgów talentów, na wzór CERN po II wojnie światowej. | |
Ogłoszenie Google Duplex , usługi umożliwiającej asystentowi AI rezerwowanie spotkań przez telefon. The LA Times sędziowie głos AI być „prawie bez zarzutu” imitacja mowy ludzkiej brzmiące. | |
2019 | AlphaStar DeepMind osiąga poziom Grandmaster w StarCraft II, przewyższając 99,8 procent ludzkich graczy. |
2020s
Data | Rozwój |
---|---|
2020 | 2020 DeepSpeed to biblioteka optymalizacji głębokiego uczenia firmy Microsoft dla PyTorch, która obsługuje T-NLG. |
W lutym 2020 r. Microsoft wprowadził Turing Natural Language Generation (T-NLG), który był wówczas „największym modelem języka, jaki kiedykolwiek opublikowano przy 17 miliardach parametrów”. | |
OpenAI „s GPT-3 , state-of-the-art modelu autoregresji że język zastosowania głęboka nauka do produkcji różnych kodów komputerowych, poezji i innych podobnych zadań językowych wyjątkowo i prawie nie do odróżnienia od tych, napisanych przez ludzi. Jego pojemność była dziesięciokrotnie większa niż T-NLG. Został wprowadzony w maju 2020 r. i był w fazie testów beta w czerwcu 2020 r. |
Zobacz też
Uwagi
Bibliografia
- Berlinski, David (2000), Nadejście algorytmu , Harcourt Books
- Buchanan, Bruce G. (2005), "(bardzo) krótka historia sztucznej inteligencji" (PDF) , AI Magazine , s. 53-60, zarchiwizowane z oryginału (PDF) w dniu 26 września 2007 r. , pobrane 30 sierpnia 2007 r.
- Brooks, Rodney (1990), "Słonie nie grają w szachy" (PDF) , Robotyka i systemy autonomiczne , 6 (1-2): 3-15, CiteSeerX 10.1.1.588.7539 , doi : 10.1016/S0921-8890 ( 05) 80025-9 , pobrane 30 sierpnia 2007 r.
- Crevier Daniel (1993). AI: burzliwe poszukiwanie sztucznej inteligencji . New York, NY: BasicBooks. Numer ISBN 0-465-02997-3.
- Darrach, Brad (20 listopada 1970), „Poznaj Shakeya, pierwszą osobę elektroniczną”, Life Magazine , s. 58-68
- Doyle, J. (1983), "Czym jest racjonalna psychologia? Ku nowoczesnej filozofii mentalnej", AI Magazine , tom. 4 nie. 3, s. 50–53
- Dreyfus, Hubert (1972), Czego nie potrafią komputery , MIT Press
- Feigenbaum, Edward A .; McCorduck, Pamela (1983), Piąta generacja: Sztuczna inteligencja i japońskie komputerowe wyzwanie światu , Michael Joseph, ISBN 978-0-7181-2401-4
- Hobbes (1651), Lewiatan
- Hofstadter, Douglas (1980), Gödel, Escher, Bach: wieczny złoty warkocz
- Howe, J. (listopad 1994), Sztuczna inteligencja na Uniwersytecie w Edynburgu: perspektywa , pobrane 30 sierpnia 2007
- Kaplana, Andreasa; Haenlein, Michael (2018), "Siri, Siri w mojej dłoni, kto jest najpiękniejszy w kraju? O interpretacjach, ilustracjach i implikacjach sztucznej inteligencji", Business Horizons , 62 : 15-25, doi : 10.1016/j.bushor .2018.08.004
- Kurzweil, Ray (2005), Osobliwość jest blisko , Viking Press
- Lakoff, George (1987), Kobiety, ogień i niebezpieczne rzeczy: jakie kategorie ujawniają o umyśle , University of Chicago Press., ISBN 978-0-226-46804-4
- Lenat, Douglas ; Guha, RV (1989), Budowanie dużych systemów opartych na wiedzy , Addison-Wesley
- Levitt, Gerald M. (2000), Turk, automat szachowy , Jefferson, NC: McFarland, ISBN 978-0-7864-0778-1
- Lighthill, profesor Sir James (1973), „Sztuczna inteligencja: ogólne badanie”, Sztuczna inteligencja: sympozjum papierowe , Rada ds. Badań Naukowych
- Lucas, John (1961), Umysły, maszyny i Gödel
- McCarthy, John ; Minsky, Marcin ; Rochester, Nathan ; Shannon, Claude (1955), Propozycja dla projektu badawczego Dartmouth Summer Research on Artificial Intelligence , zarchiwizowane z oryginału w dniu 26 sierpnia 2007 r.
- McCarthy, John ; Hayes, PJ (1969), „Niektóre problemy filozoficzne z punktu widzenia sztucznej inteligencji” , Inteligencja maszynowa , 4 : 463-502
- McCorduck, Pamela (2004), Maszyny, które myślą (2nd ed.), Natick, MA: AK Peters, Ltd., ISBN 978-1-56881-205-2.
- McCullough, WS ; Pitts, W. (1943), „Rachunek logiczny idei immanentnych w aktywności nerwowej”, Biuletyn Biofizyki Matematycznej , 5 (4): 115-127, doi : 10.1007/BF02478259
- Minsky, Marvin (1967), Obliczenia: maszyny skończone i nieskończone , Englewood Cliffs, NJ: Prentice-Hall
- Minsky, Marcin ; Seymour Papert (1969), Perceptrons: An Introduction to Computational Geometry , The MIT Press
- Minsky, Marvin (1974), Ramy do reprezentowania wiedzy
- Minsky, Marvin (1986), Towarzystwo Umysłu , Simon and Schuster
- Moravec, Hans (1976), Rola surowej siły w inteligencji
- Moravec, Hans (1988), Mind Children , Harvard University Press
- United States National Research Council (1999), „Developments in Artificial Intelligence” , Funding a Revolution: Government Support for Computing Research , National Academy Press , pobrane 30 sierpnia 2007 r.
- Newell, Allen ; Simon, HA (1963), „GPS: program symulujący ludzką myśl”, w Feigenbaum, EA; Feldman, J. (red.), Computers and Thought , New York: McGraw-Hill
- Newquist, HP (1994), Twórcy mózgu: geniusz, ego i chciwość w poszukiwaniu maszyn, które myślą , Nowy Jork: Macmillan/SAMS, ISBN 978-0-9885937-1-8
- Pearl, J. (1988), Probabilistyczne rozumowanie w inteligentnych systemach: sieci wiarygodnego wnioskowania , San Mateo, Kalifornia: Morgan Kaufmann
- Russell, Stuart J .; Norvig, Peter (2003), Sztuczna inteligencja: nowoczesne podejście (2nd ed.), Upper Saddle River, New Jersey: Prentice Hall, ISBN 0-13-790395-2
- Poole, David; Mackwortha, Alana; Goebel, Randy (1998), Inteligencja obliczeniowa: podejście logiczne , Oxford University Press., ISBN 978-0-19-510270-3
- Samuel, Arthur L. (lipiec 1959), „Niektóre badania nad uczeniem maszynowym z wykorzystaniem gry w warcaby” , IBM Journal of Research and Development , 3 (3): 210–219, CiteSeerX 10.1.1.368.2254 , doi : 10.1147/ rd.33.0210 , pobrano 20 sierpnia 2007 r.
- Searle, John (1980), "Umysły, mózgi i programy" (PDF) , Behawioralne i Brain Sciences , 3 (3): 417-457, doi : 10.1017/S0140525X00005756
- Szymona, Hawaje ; Newell, Allen (1958), „Heuristic Problem Solving: The Next Advance in Operations Research”, Badania operacyjne , 6 (1): 1, doi : 10.1287/opre.6.1.1
- Simon, HA (1965), The Shape of Automation for Men and Management , New York: Harper & Row
- Turing, Alan (1936-1937), „Na liczbach obliczalnych, z zastosowaniem do Entscheidungsproblem” , Proceedings of London Mathematical Society , 2, s2-42 (42): 230-265, doi : 10.1112/plms/s2- 42.1.230
- Turing Alan (październik 1950), "Maszyny obliczeniowe i inteligencji" , umysł , LIX (236): 433-60, doi : 10.1093 / umysł / LIX.236.433 , archiwizowane z oryginałem na 2 lipca 2008 r
- Weizenbaum, Joseph (1976), Moc komputera i ludzki rozum , WH Freeman & Company
Zewnętrzne linki
- „Krótka historia (oś czasu)” , AI Topics , Association for the Advancement of Artificial Intelligence
- „Oś czasu: Budowanie inteligentnych maszyn” , New York Times , 24 czerwca 2010 r.