Хронология искусственного интеллекта - Timeline of artificial intelligence

Смотрите также: История искусственного интеллекта и Прогресс в искусственном интеллекте

Часть серии по
Искусственный интеллект

Это график искусственный интеллект.

До 20 века

ДатаРазработка
АнтичностьГреческие мифы о Гефест и Пигмалион включили идею интеллектуальных роботов (таких как Талос ) и искусственные существа (такие как Галатея и Пандора ).[1]
Священные механические статуи встроенный Египет и Греция считались способными к мудрости и эмоциям. Гермес Трисмегист написал бы "у них есть сенсус и Spiritus ... открыв истинную природу богов, человек смог воспроизвести ее ". Мозаика закон запрещает использование автоматы в религии.[2]
10 век до н.э.Ян Ши представил Король Му Чжоу с механическими мужчинами.[3]
384–322 гг. До н. Э.Аристотель описал силлогизм, метод формального, механического мышления и теории познания в Органон.[4][5]
1 векЦапля из Александрия создал механических людей и другие автоматы.[6]
260Порфирий Тиросский написал Isagogê которые классифицировали знания и логику.[7]
~800Гебер разработал Арабский алхимик теория Таквин, искусственное создание жизни в лаборатории, вплоть до человек жизнь.[8]
1206Аль-Джазари создал программируемый оркестр механических людей.[9]
1275Рамон Лулль, Испанский теолог изобретает Арс Магна, инструмент для механического комбинирования концепций, основанный на Арабский астрологический инструмент, Заирджа. Этот метод будет развиваться дальше Готфрид Лейбниц в 17 веке.[10]
~1500Парацельс утверждал, что создал искусственного человека из магнетизма, спермы и алхимии.[11]
~1580Раввин Иуда Лёв бен Бецалель из Прага говорят, что изобрел Голем Оживленный глиняный человечек.[12]
Начало 17 векаРене Декарт предположил, что тела животных - это не что иное, как сложные машины (но что ментальные явления имеют иную «субстанцию»).[13]
1620Сэр Фрэнсис Бэкон разработал эмпирическую теорию познания и ввел в работу индуктивную логику. Новый Органон, игра на Аристотель название Органон.[14][15]
1623Вильгельм Шикард на письме к Кеплер. Это будет первая из пяти неудачных попыток создания прямой вход счетные часы 17 века (в том числе конструкции Тито Бураттини, Сэмюэл Морланд и Рене Грийе ).[16]
1641Томас Гоббс опубликовано Левиафан и представил механическую комбинаторную теорию познания. Он написал: «... потому что разум - это не что иное, как расплата».[17][18]
1642Блез Паскаль изобрел механический калькулятор,[19] первый цифровой счетная машина.[20]
1672Готфрид Лейбниц улучшили более ранние машины, сделав Ступенчатый счетчик сделать умножение и разделение. Он также изобрел двоичная система счисления и представил универсальное исчисление рассуждений (алфавит человеческой мысли ), с помощью которых аргументы могут решаться механически. Лейбниц работал над присвоением определенного номера каждому объекту в мире в качестве прелюдии к алгебраическому решению всех возможных проблем.[21]
1726Джонатан Свифт опубликовано путешествия Гулливера, который включает это описание двигатель, машина на острове Лапута: «Проект улучшения умозрительных знаний с помощью практических и механических операций» с использованием этого «устройства», «самый невежественный человек за разумную плату и с небольшим физическим трудом может писать книги по философии, поэзии, политике, праву и т. д. Математика и богословие с наименьшей помощью гения или учебы ».[22] Машина - пародия на Арс Магна, одно из источников вдохновения Готфрид Лейбниц механизм.
1750Жюльен Оффре де ла Меттри опубликовано L'Homme Machine, который утверждал, что человеческое мышление строго механическое.[23]
1769Вольфганг фон Кемпелен построил и гастролировал со своим шахматы -играющий автомат, Турок.[24] Позже было показано, что турок был фальсификация с участием человека-шахматиста.
1818Мэри Шелли опубликовал рассказ о Франкенштейн; или Современный Прометей, вымышленное рассмотрение этики создания разумный существа.[25]
1822–1859Чарльз Бэббидж & Ада Лавлейс работал над программируемые механические вычислительные машины.[26]
1837Математик Бернар Больцано сделал первую современную попытку формализовать семантика.[27]
1854Джордж Буль намеревался «исследовать фундаментальные законы тех операций ума, с помощью которых осуществляется рассуждение, чтобы дать им выражение в символический язык исчисления », изобретая Булева алгебра.[28]
1863Сэмюэл Батлер Предполагается, что Дарвиновский эволюция также относится к машинам и предполагает, что однажды они станут сознательными и в конечном итоге вытеснят человечество.[29]

20 век

1901–1950

ДатаРазработка
1913Бертран Рассел и Альфред Норт Уайтхед опубликовано Principia Mathematica, который произвел революцию формальная логика.
1915Леонардо Торрес и Кеведо построил шахматный автомат, Эль-Аджедресиста, и опубликовал рассуждения о мышлении и автоматах.[30]
1923Карел Чапек игра R.U.R. (Универсальные роботы Россум) открылся в Лондоне. Это первое употребление слова "робот " по-английски.[31]
1920-е и 1930-е годыЛюдвиг Витгенштейн и Рудольф Карнап вел философия в логический анализ знание. Церковь Алонсо развитый Лямбда-исчисление для исследования вычислимости с использованием рекурсивной функциональной записи.
1931Курт Гёдель показал, что достаточно мощный формальные системы, если они непротиворечивы, позволяют формулировать истинные теоремы, которые недоказуемы любой машиной для доказательства теорем, выводящей все возможные теоремы из аксиом. Для этого ему пришлось создать универсальный язык программирования, основанный на целых числах, поэтому его иногда называют «отцом теоретическая информатика ".
1940Эдвард Кондон отображает Ниматрон, цифровой компьютер, который играл Ним прекрасно.
1941Конрад Зузе построил первые рабочие компьютеры с программным управлением.[32]
1943Уоррен Стерджис Маккалох и Уолтер Питтс опубликовать «Логический расчет идей, присущих нервной деятельности» (1943 г.), закладывая основы для искусственные нейронные сети.[33]
Артуро Розенблют, Норберт Винер и Джулиан Бигелоу вводят термин "кибернетика Популярная книга Винера под этим названием опубликована в 1948 году.
1945Теория игры который оказался неоценимым в развитии ИИ, был представлен в статье 1944 года, Теория игр и экономического поведения к математик Джон фон Нейман и экономист Оскар Моргенштерн.
Ванневар Буш опубликовано Как мы можем думать (The Atlantic Monthly, Июль 1945 г.) пророческое видение будущего, в котором компьютеры помогают людям во многих сферах деятельности.
1948Джон фон Нейман (цитируется E.T. Джейнс ) в ответ на комментарий на лекции о том, что машина не может думать: «Вы настаиваете на том, что машина не может сделать что-то. Если вы мне скажете именно так то, что машина не может сделать, тогда я всегда могу создать машину, которая будет делать именно это! ». Фон Нейман, вероятно, имел в виду Тезис Черча-Тьюринга в котором говорится, что любую эффективную процедуру можно смоделировать на (обобщенном) компьютере.

1950-е годы

ДатаРазработка
1950Алан Тьюринг предлагает Тест Тьюринга как мера машинного интеллекта.[34]
Клод Шеннон опубликовали подробный анализ шахматы играя как поиск.
Айзек Азимов опубликовал свой Три закона робототехники.
1951Первые рабочие программы ИИ были написаны в 1951 году для запуска на Ферранти Марк 1 машина Манчестерский университет: программа для игры в шашки, написанная Кристофер Стрейчи и шахматную программу, написанную Дитрих Принц.
1952–1962Артур Сэмюэл (IBM ) написал первую игровую программу,[35] для шашек (Черновики ), чтобы достичь достаточного мастерства, чтобы бросить вызов респектабельному любителю. Его первая программа для игры в шашки была написана в 1952 году, а в 1955 году он создал версию, которая научился играть.[36]
1956В Дартмутский колледж летняя конференция по искусственному интеллекту организован Джон Маккарти, Марвин Мински, Натан Рочестер из IBM и Клод Шеннон. Маккарти вводит термин искусственный интеллект для конференции.[37]
Первая демонстрация Теоретик логики (LT) написано Аллен Ньюэлл, Дж. К. Шоу и Герберт А. Саймон (Технологический институт Карнеги, сейчас же Университет Карнеги Меллон или CMU). Это часто называют первой программой искусственного интеллекта, хотя программа Самуэля по шашкам также имеет серьезные претензии.
1958Джон Маккарти (Массачусетский Институт Технологий или MIT) изобрел Язык программирования Лисп.
Герберт Гелернтер и Натан Рочестер (IBM) описал средство доказательства теорем в геометрия который использует семантическую модель предметной области в виде диаграмм «типичных» случаев.
Теддингтонская конференция по механизации мыслительных процессов проходила в Великобритании, и среди представленных документов была работа Джона Маккарти. Программы со здравым смыслом, Оливер Селфридж с Пандемониум, и Марвин Мински с Некоторые методы Эвристический Программирование и искусственный интеллект.
1959В Решение общих проблем (GPS) был создан Ньюэлл, Шоу и Саймон во время работы в CMU.
Джон Маккарти и Марвин Мински основал Лаборатория искусственного интеллекта Массачусетского технологического института.
Конец 1950-х, начало 1960-х гг.Маргарет Мастерман и коллеги в Кембриджский университет дизайн семантические сети за машинный перевод.

1960-е

ДатаРазработка
1960-еРэй Соломонов закладывает основы математический теория ИИ, вводящая универсальные Байесовские методы для индуктивного вывода и предсказания.
1960Симбиоз человека и компьютера пользователя J.C.R. Ликлайдер.
1961Джеймс Слэгл (докторская диссертация, Массачусетский технологический институт) написал (на Лиспе) первую символическую интеграция программа SAINT, которая решила исчисление проблемы на уровне первокурсника колледжа.
В Умы, машины и Гёдель, Джон Лукас[38] отрицал возможность машинного интеллекта на логичный или же философский основания. Он сослался на Курт Гёдель Результат 1931 года: достаточно мощные формальные системы либо несовместимы, либо позволяют формулировать истинные теоремы, недоказываемые никаким доказывающим теоремы AI, выводящим все доказуемые теоремы из аксиом. Поскольку люди способны «видеть» истинность таких теорем, машины считались низшими.
Unimation с промышленный робот Unimate работал над Дженерал Моторс автомобиль сборочная линия.
1963Программа Томаса Эванса ANALOGY, написанная в рамках его докторской работы в Массачусетском технологическом институте, продемонстрировала, что компьютеры могут решать те же проблемы. аналогия проблемы, как указано на IQ тесты.
Эдвард Фейгенбаум и Джулиан Фельдман опубликовано Компьютеры и мысль, первый сборник статей об искусственном интеллекте.
Леонард Ур и Чарльз Восслер опубликовали «Программу распознавания образов, которая генерирует, оценивает и настраивает собственных операторов», в которой описана одна из первых программ машинного обучения, которая может адаптивно приобретать и изменять функции и тем самым преодолевать ограничения простых перцептронов Розенблатт.
1964Диссертация Дэнни Боброу в Массачусетском технологическом институте (технический отчет № 1 от группы ИИ Массачусетского технологического института, Проект MAC ), показывает, что компьютеры могут понимать естественный язык достаточно хорошо, чтобы решать алгебра текстовые задачи правильно.
Бертрам Рафаэль Диссертация MIT по программе SIR демонстрирует силу логического представления знаний в вопросно-ответных системах.
1965Лотфи Заде в U.C. Беркли публикует свою первую статью, представляющую нечеткая логика «Нечеткие множества» (Информация и контроль 8: 338–353).
Дж. Алан Робинсон изобрел механический доказательство процедура, метод разрешения, который позволял программам эффективно работать с формальной логикой в ​​качестве языка представления.
Йозеф Вайценбаум (MIT) построено ELIZA, интерактивная программа который ведет диалог в английский язык по любой теме. Это была популярная игрушка в центрах искусственного интеллекта на ARPANET когда версия, "имитирующая" диалог психотерапевт был запрограммирован.
Эдвард Фейгенбаум инициированный Дендраль, десятилетние усилия по разработке программного обеспечения для определения молекулярной структуры органических соединений с использованием данных научных приборов. Это был первый экспертная система.
1966Росс Куиллиан (докторская диссертация, Технологический институт Карнеги, ныне CMU) продемонстрировал семантические сети.
Машинный интеллект[39] семинар в Эдинбурге - первый из влиятельной ежегодной серии, организованной Дональд Мичи и другие.
Отрицательный отчет о машинном переводе убивает много работы в Обработка естественного языка (НЛП) в течение многих лет.
Дендраль программа (Эдвард Фейгенбаум, Джошуа Ледерберг, Брюс Бьюкенен, Джорджия Сазерленд в Стэндфордский Университет ) продемонстрировали возможность интерпретации масс-спектров органических химических соединений. Первая успешная основанная на знаниях программа для научных рассуждений.
1968Джоэл Моисей (Докторская работа в MIT) продемонстрировала силу символическое рассуждение по проблемам интеграции в Macsyma программа. Первая успешная программа, основанная на знаниях в математика.
Ричард Гринблатт (программист) в MIT построили основанную на знаниях шахматная программа, MacHack, этого было достаточно, чтобы получить рейтинг класса C в турнирах.
В программе Уоллеса и Боултона Snob (Comp.J. 11 (2) 1968) для неконтролируемой классификации (кластеризации) используется байесовская Минимальная длина сообщения критерий, математическая реализация бритва Оккама.
1969Стэнфордский исследовательский институт (SRI): Шейки Робот, продемонстрировал комбинирование передвижение животных, восприятие и решение проблем.
Роджер Шэнк (Стэнфорд) определил концептуальный модель зависимости для понимание естественного языка. Позже развита (в кандидатских диссертациях на Йельский университет ) для использования в понимании истории Роберт Виленски и Венди Ленерт, а также для использования в понимании памяти Джанет Колоднер.
Йорик Уилкс (Стэнфорд) разработал представление о семантической согласованности языка, названное «Семантика предпочтений», воплощенное в первой программе машинного перевода, управляемой семантикой, и легло в основу многих докторских диссертаций с тех пор, как, например, Брана Богураева и Дэвида Картера из Кембриджа.
Первая международная совместная конференция по искусственному интеллекту (IJCAI ) проходил в Стэнфорде.
Марвин Мински и Сеймур Паперт публиковать Персептроны, демонстрируя ранее неизвестные ограничения этой двухуровневой структуры с прямой связью, и Эта книга, по мнению некоторых, знаменует начало AI зима 1970-х годов, отсутствие доверия и финансирования ИИ. Тем не менее, значительный прогресс в этой области продолжался (см. Ниже).
Маккарти и Хейс начали дискуссию о проблема с рамой со своим эссе «Некоторые философские проблемы с точки зрения искусственного интеллекта».

1970-е годы

ДатаРазработка
Начало 1970-хДжейн Робинсон и Дон Уокер создали влиятельную Обработка естественного языка группа в НИИ.
1970Сеппо Линнаинмаа публикует обратный режим автоматическая дифференциация. Этот метод позже стал известен как обратное распространение, и часто используется для обучения искусственные нейронные сети.
Хайме Карбонелл (старший) разработал SCHOLAR, интерактивную программу для компьютерная инструкция на основе семантических сетей как представления знаний.
Билл Вудс описал сети расширенного перехода (ATN) как представление для понимания естественного языка.
Патрик Уинстон Доктор философии ARCH в Массачусетском технологическом институте изучила концепции на примерах из мира детских блоков.
1971Терри Виноград кандидатская диссертация (Массачусетский технологический институт ) продемонстрировал способность компьютеров понимать английские предложения в ограниченном мире детских блоков в сочетании с его программой понимания языка, ШРДЛУ, с помощью манипулятора, который выполнял инструкции, набранные на английском языке.
Работа над устройством доказательства теорем Бойера-Мура началась в Эдинбурге.[40]
1972Пролог язык программирования, разработанный Ален Колмерауэр.
Эрл Сакердоти разработал одну из первых программ иерархического планирования ABSTRIPS.
1973Группа сборочной робототехники в Эдинбургский университет строит робота Фредди, способного использовать визуальное восприятие найти и собрать модели. (Видеть Эдинбург Фредди Сборочный робот: универсальная сборочная система с компьютерным управлением.)
В Отчет Лайтхилла дает в основном отрицательный вердикт исследованиям ИИ в Великобритании и лежит в основе решения британского правительства прекратить поддержку исследований ИИ во всех университетах, кроме двух.
1974Тед Шортлифф кандидатская диссертация по МИЦИН Программа (Стэнфорд) продемонстрировала очень практичный подход к постановке медицинских диагнозов, основанный на правилах, даже в условиях неопределенности. Хотя он заимствовал у DENDRAL, его собственный вклад сильно повлиял на будущее экспертная система разработка, особенно коммерческих систем.
1975Граф Сакердоти разработал методы частичное планирование в своей системе NOAH, заменив предыдущую парадигму поиска среди описаний пространства состояний. NOAH применялся в SRI International для интерактивной диагностики и ремонта электромеханических систем.
Остин Тейт разработал систему иерархического планирования Nonlin, способную искать пространство частичные планы характеризуется как альтернативные подходы к основной целевой структуре плана.
Марвин Мински опубликовал свою широко читаемую и влиятельную статью о Кадры как представление знаний, в котором много идей о схемы и семантические ссылки собраны вместе.
Программа мета-дендрального обучения дала новые результаты в химия (некоторые правила масс-спектрометрии ) первые научные открытия с помощью компьютера, которые будут опубликованы в реферируемом журнале.
Середина 1970-хБарбара Гросс (SRI) установил пределы традиционных подходов искусственного интеллекта к моделированию дискурса. Последующая работа Гроша, Бонни Уэббер и Кэндис Сиднер разработали понятие «центрирование», используемое для определения фокуса дискурс и анафорические ссылки в Обработка естественного языка.
Дэвид Марр и Массачусетский технологический институт коллеги описывают «первичный эскиз» и его роль в визуальное восприятие.
1976Дуглас Ленат с AM программа (Стэнфордская докторская диссертация) продемонстрировала модель открытия (поиск интересных гипотез с произвольным руководством).
Рэндалл Дэвис продемонстрировал силу метауровневого мышления в своей докторской диссертации в Стэнфорде.
1978Том Митчелл в Стэнфорде изобрели концепцию Пробелы версий для описания пространство поиска программы формирования концепции.
Герберт А. Саймон выигрывает Нобелевская премия по экономике за его теорию ограниченная рациональность, один из краеугольных камней ИИ, известный как "удовлетворительный ".
Программа MOLGEN, написанная в Стэнфорде Марком Стефиком и Питером Фридландом, продемонстрировала, что объектно-ориентированного программирования представление знаний можно использовать для планирования генерацииклонирование эксперименты.
1979Кандидатская диссертация Билла ВанМелла в Стэнфорде продемонстрировала универсальность МИЦИН представление знаний и стиля рассуждений в его ЭМИЦИН программа, модель для многих коммерческих экспертных систем "оболочек".
Джек Майерс и Гарри Попл в Питтсбургский университет разработала INTERNIST, программу медицинской диагностики, основанную на знаниях доктора Майерса. клинический знание.
Корделл Грин, Дэвид Барстоу, Элейн Кант и другие в Стэнфорде продемонстрировали систему ОМС для автоматическое программирование.
Стэнфордская тележка, построенная Ганс Моравец, становится первым управляемым компьютером, автономный автомобиль когда он успешно проходит комнату, заполненную стульями, и кружит вокруг Стэнфордская лаборатория искусственного интеллекта.
BKG, программа для игры в нарды, написанная Ганс Берлинер в CMU, побеждает действующего чемпиона мира (отчасти благодаря удаче).
Дрю Макдермотт и Джон Дойл в Массачусетский технологический институт, а Джон Маккарти из Стэнфорда начинает публикацию немонотонная логика и формальные аспекты сохранения истины.
Конец 1970-хСтэнфордский ресурс SUMEX-AIM, возглавляемый Эдом Фейгенбаумом и Джошуа Ледербергом, демонстрирует возможности ARPAnet для научного сотрудничества.

1980-е

ДатаРазработка
1980-еЛисп-машины разработаны и проданы. Первый экспертная система оболочки и коммерческие приложения.
1980Первая национальная конференция Американская ассоциация искусственного интеллекта (AAAI) в Стэнфорде.
1981Дэнни Хиллис проектирует соединительную машину, которая использует Параллельные вычисления привнести новую мощь в ИИ и вычисления в целом. (Позднее основал Корпорация Thinking Machines )
1982В Проект компьютерных систем пятого поколения (FGCS), инициатива Министерства международной торговли и промышленности Японии, начатая в 1982 году для создания «компьютера пятого поколения» (см. Историю вычислительного оборудования), который должен был выполнять много вычислений с использованием массового параллелизма.
1983Джон Лэрд и Пол Розенблум, работая с Аллен Ньюэлл, защитил диссертации КМУ по Парить (программа).
Джеймс Ф. Аллен изобретает интервальное исчисление, первую широко используемую формализацию временных событий.
Середина 1980-х годовНейронные сети широко используются с Обратное распространение алгоритм, также известный как обратный режим автоматическая дифференциация опубликовано Сеппо Линнаинмаа в 1970 году и применил к нейронным сетям Пол Вербос.
1985Автономная программа для рисования, ААРОН, сделано Гарольд Коэн, демонстрируется на Национальной конференции AAAI (на основе более чем десятилетней работы, с последующей работой, демонстрирующей основные разработки).
1986Команда Эрнст Дикманнс в Мюнхенский университет Бундесвера строит первые автомобили-роботы, разгоняющиеся до 55 миль в час по пустым улицам.
Барбара Гросс и Кэндис Сиднер создают первую вычислительную модель дискурс, устанавливая область исследования.[41]
1987Марвин Мински опубликовал Общество разума, теоретическое описание разума как совокупности взаимодействующих агенты. Он читал лекции об этой идее в течение многих лет, прежде чем вышла книга (см. Doyle, 1983).[42]
Примерно в то же время Родни Брукс представил архитектура подчинения и поведенческая робототехника как более минималистичная модульная модель естественного интеллекта; Nouvelle AI.
Коммерческий запуск Alacritous Inc./Allstar Advice Inc. в Торонто поколения 2.0, первой коммерческой системы стратегического и управленческого консультирования. Система была основана на прямой цепочке, самостоятельно разработанной экспертной системе с 3000 правил, касающихся эволюции рынков и конкурентных стратегий, и была создана в соавторстве с Алистером Дэвидсоном и Мэри Чанг, основателями фирмы с основным механизмом, разработанным Полом Тарвидасом. Система Alacrity также включала небольшую финансовую экспертную систему, которая интерпретировала финансовые отчеты и модели.[43]
1989Развитие металл – оксид – полупроводник (MOS) очень крупномасштабная интеграция (СБИС), в виде дополнительный MOS (CMOS) технология, позволившая разработать практические искусственная нейронная сеть (ИНС) в 1980-е годы. Знаковой публикацией в этой области стала книга 1989 г. Аналоговая реализация нейронных систем на СБИС Карвер А.Мид и Мохаммед Исмаил.[44]
Дин Померло из CMU создает ALVINN (автономное наземное транспортное средство в нейронной сети).

1990-е годы

ДатаРазработка
1990-е годыЗначительные достижения во всех областях ИИ со значительными демонстрациями в области машинного обучения, интеллектуальное обучение, рассуждение на основе случая, многоагентное планирование, планирование, неопределенное рассуждение, сбор данных, понимание и перевод естественного языка, видение, виртуальная реальность, игры и другие темы.
Начало 1990-хTD-Gammon, а нарды программа, написанная Джерри Тесауро, демонстрирует, что подкрепление (обучение) достаточно мощно, чтобы создать игровую программу уровня чемпионата, выгодно конкурируя с игроками мирового класса.
1991DART приложение для планирования, развернутое в первом Война в Персидском заливе отомстил DARPA 30 лет инвестирования в исследования ИИ.[45]
1992Кэрол Стокер и команда роботов НАСА Эймс исследуют морскую жизнь в Антарктиде с помощью подводного робота. Дистанционное присутствие ROV эксплуатируется со льда возле залива Мак-Мердо в Антарктиде и удаленно через спутниковую связь с месторождения Моффетт, Калифорния.[46]
1993Ян Хорсвилл расширенный поведенческая робототехника создавая Полли, первый робот, который использует зрение и работать со скоростью, подобной животной (1 метр в секунду).
Родни Брукс, Линн Андреа Штайн и Синтия Бризил начал широко разрекламированный Проект MIT Cog с многочисленными сотрудниками, пытаясь построить человекоподобный робот ребенок всего за пять лет.
Корпорация ISX стала победителем конкурса DARPA «Подрядчик года»[47] для Инструмент динамического анализа и перепланирования (DART), которая, как сообщается, окупила все инвестиции правительства США в исследования ИИ с 1950-х годов.[48]
1994Лотфи Заде в U.C. Беркли создает "мягкие вычисления "[49] и строит всемирную сеть исследований, объединяющую нейронику и нейронная сеть системы, нечеткое множество теория и нечеткие системы, эволюционные алгоритмы, генетическое программирование, и теория хаоса и хаотические системы («Нечеткая логика, нейронные сети и мягкие вычисления», Коммуникации ACM, март 1994, том 37, № 3, страницы 77-84).
С пассажирами на борту парные автомобили-роботы ВАМП и ВИТА-2 из Эрнст Дикманнс и Daimler-Benz проехать более тысячи километров по трехполосному шоссе в Париже в условиях обычного интенсивного движения со скоростью до 130 км / ч. Они демонстрируют автономное вождение по свободным полосам, движение колонны и смену полосы движения вправо и влево с автономным проездом других автомобилей.
Английские шашки (шашки ) чемпион мира Тинсли отказался от матча против компьютерной программы Чинук. Чинук победил второго игрока с самым высоким рейтингом, Лафферти. Чинук выиграл национальный турнир США с самым большим отрывом в истории.
Синди Мейсон в НАСА организует Первый AAAI Мастер-класс по искусственному интеллекту и окружающей среде.[50]
1995Синди Мейсон в НАСА организует Первый Международный IJCAI Мастер-класс по искусственному интеллекту и окружающей среде.[51]
«Никаких рук через Америку»: полуавтономный автомобиль проехал от побережья к побережью через Соединенные Штаты с управляемым компьютером рулевым управлением на расстояние 2797 миль (4501 км) из 2849 миль (4585 км). Дроссель и тормоза управлялись человеком-водителем.[52][53]
Один из Эрнст Дикманнс 'автомобили-роботы (с дроссельной заслонкой и тормозами, управляемыми роботом) проехали более 1000 миль от Мюнхен к Копенгаген и обратно, в пробке, со скоростью до 120 миль в час, время от времени выполняя маневры, чтобы обогнать другие машины (только в нескольких критических ситуациях водитель безопасности взял на себя). Активное зрение использовалось для работы с быстро меняющимися уличными сценами.
1997В Темно-синий шахматная машина (IBM ) побеждает (тогда) мир шахматы чемпион Гарри Каспаров.
Первый чиновник РобоКубок футбольный (футбольный) матч с настольными матчами с участием 40 команд взаимодействующих роботов и более 5000 зрителей.
Компьютер Отелло программа Logistello победил чемпиона мира Такеши Мураками со счетом 6–0.
1998Тигр Электроника ' Ферби выпущен, и становится первой успешной попыткой создания типа ИИ для достижения домашняя среда.
Тим Бернерс-Ли опубликовал свой Дорожная карта семантической паутины бумага.[54]
Улисес Кортес и Микель Санчес-Марре организовать первый семинар по окружающей среде и искусственному интеллекту в Европе ECAI, "Связующие науки об окружающей среде и искусственный интеллект".[55][56]
Лесли П. Кельблинг, Майкл Литтман, и Энтони Кассандра представляют POMDP и масштабируемый метод их решения для сообщества ИИ, что дает толчок широкому использованию в робототехнике и автоматизированное планирование и составление графиков[57]
1999Sony представляет улучшенного домашнего робота, похожего на Furby, AIBO становится одним из первых "домашних питомцев" с искусственным интеллектом, который также автономный.
Конец 1990-хВеб-сканеры и другие на основе ИИ извлечение информации программы становятся незаменимыми в широком использовании Всемирная паутина.
Демонстрация умной комнаты и эмоциональных агентов на Массачусетского технологического института AI Lab.
Начало работы над Кислородная архитектура, который соединяет мобильные и стационарные компьютеры в адаптивную сеть.

21-го века

2000-е

ДатаРазработка
2000Интерактивные робопеты ("умные игрушки ") стали коммерчески доступными, воплотив в жизнь видение производителей игрушек 18 века.
Синтия Бризил в Массачусетском технологическом институте издает диссертацию на тему «Общительные машины», в которой Кисмет (робот), с лицом, которое выражает эмоции.
В Кочевой робот исследует отдаленные районы Антарктиды в поисках образцов метеоритов.
2002я робот с Roomba автономно пылесосит пол, перемещаясь и избегая препятствий.
2004СОВА Язык веб-онтологий Рекомендация W3C (10 февраля 2004 г.).
DARPA вводит DARPA Grand Challenge требуя от участников производства автономных транспортных средств за денежные призы.
НАСА роботов-вездеходов Дух и Возможность автономно перемещаться по поверхности Марс.
2005Honda с ASIMO робот, гуманоидный робот с искусственным интеллектом, может ходить так же быстро, как человек, доставляя подносы клиентам в настройках ресторана.
Рекомендационная технология на основе отслеживания веб-активности или использования средств массовой информации привносит ИИ в маркетинг. Видеть Предложения TiVo.
Синий мозг родился проект по моделированию мозга на молекулярных деталях.[58]
2006Дартмутская конференция по искусственному интеллекту: следующие 50 лет (AI @ 50) AI @ 50 (14–16 июля 2006 г.)
2007Философские труды Королевского общества, B - Биология, один из старейших научных журналов в мире, выпускает специальный выпуск об использовании ИИ для понимания биологического интеллекта под названием Модели Natural Выбор действия[59]
Шашки является решено командой исследователей из Университет Альберты.
DARPA запускает Городской вызов за автономные автомобили соблюдать правила дорожного движения и работать в городских условиях.
2008Синтия Мейсон из Стэнфорда представляет свою идею об искусственном сострадательном интеллекте в своей статье о «Проявление сострадания к роботам».[60]
2009Google строит автономный автомобиль.[61]

2010-е

ДатаРазработка
2010Microsoft выпустила Kinect для Xbox 360, первое игровое устройство, отслеживать движение человеческого тела, используя только 3D-камеру и инфракрасное обнаружение, что позволяет пользователям играть на Xbox 360 по беспроводной сети. Отмеченное наградами машинное обучение технологии захвата движений человека для этого устройства было разработано Группа компьютерного зрения в Microsoft Research, Кембридж.[62][63]
2011Мэри Лу Махер и Дуг Фишер организовать Первый AAAI Семинар по ИИ и устойчивости.[64]
IBM с Watson компьютер побежден телевидение игровое шоу Опасность! чемпионы Раттер и Дженнингс.
2011–2014яблоко с Siri (2011), Google с Google сейчас (2012) и Microsoft с Кортана (2014) являются смартфон Программы это использование естественный язык отвечать на вопросы, давать рекомендации и выполнять действия.
2013Робот HRP-2 производства SCHAFT Inc. Япония, дочерняя компания Google, побеждает 15 команд до победы DARPA С Испытания робототехники. HRP-2 набрала 27 из 32 баллов за 8 задач, необходимых для реагирования на стихийные бедствия. Задачи: проехать на автомобиле, пройти по обломкам, подняться по лестнице, убрать мусор, пройти через двери, прорезать стену, закрыть клапаны и подсоединить шланг.[65]
НИЛ, Never Ending Image Learner, выпущен на Университет Карнеги Меллон постоянно сравнивать и анализировать взаимосвязи между разными изображениями.[66]
2015Открытое письмо о запрете разработки и использования автономного оружия за подписью Хокинг, Мускус, Возняк и 3000 исследователей в области искусственного интеллекта и робототехники.[67]
Google DeepMind с AlphaGo (версия: Fan)[68] победил 3-кратного чемпиона Европы по го, 2 дан профессионально Фань Хуэй на 5 игр до 0.[69]
2016Google DeepMind с AlphaGo (версия: Ли)[68] побежден Ли Седол 4–1. Ли Седол - профессиональный кореец с 9 данами Идти чемпион, выигравший 27 крупных турниров с 2002 по 2016 год.[70]
2017Асиломарская конференция по полезному ИИ был проведен, чтобы обсудить Этика ИИ и как добиться полезный ИИ избегая при этом экзистенциальный риск от общего искусственного интеллекта.
Deepstack[71] - это первый опубликованный алгоритм, позволяющий обыграть людей в играх с несовершенной информацией, как показано со статистической значимостью в безлимитных играх один на один. покер. Вскоре покерный ИИ Весы от различных исследовательских групп индивидуально победил каждого из своих 4 человеческих оппонентов - среди лучших игроков мира - с исключительно высоким совокупным винрейтом по статистически значимой выборке.[72] В отличие от Chess and Go, в покере несовершенная информация игра.[73]
Google DeepMind с AlphaGo (версия: Мастер)[68] выиграл 60–0 раундов в двух открытых Идти веб-сайтов, в том числе 3 победы над миром Идти чемпион Ке Цзе.[73]
А логика высказываний проблема логической выполнимости (SAT) решатель доказывает давнюю математическую гипотезу о Пифагорейские тройки по множеству целых чисел. Первоначальное доказательство, размером 200 ТБ, было проверено двумя независимыми сертифицированными программами автоматической проверки.[74]
An OpenAI -машина выучена бот играл в The International 2017 Dota 2 турнир в августе 2017 года. Он выиграл во время 1 на 1 демонстрационная игра против профессионалов Dota 2 игрок Dendi.[75]
Google DeepMind показал, что AlphaGo Zero - улучшенная версия AlphaGo - продемонстрировала значительный прирост производительности при использовании гораздо меньшего количества блоки тензорной обработки (по сравнению с AlphaGo Lee; он использовал то же количество TPU, что и AlphaGo Master).[68] В отличие от предыдущих версий, которые изучали игру, наблюдая за миллионами движений человека, AlphaGo Zero училась, играя только против себя. Затем система победила AlphaGo Lee в 100 играх до нуля и победила AlphaGo Master с 89 против 11.[68] Хотя обучение без учителя - это шаг вперед, еще предстоит многое узнать об общем интеллекте.[76] AlphaZero осваивает шахматы за 4 часа, победив лучший шахматный движок StockFish 8. AlphaZero выиграла 28 из 100 игр, а остальные 72 игры закончились вничью.
2018ИИ обработки языка Alibaba опережает лучших людей в тесте на чтение и понимание Стэнфордского университета, набрав 82,44 против 82,304 на 100 000 вопросов.[77]
Европейская лаборатория обучения и интеллектуальных систем (он же Эллис) выступил в качестве общеевропейского конкурента американским усилиям в области ИИ с целью предотвращения утечка мозгов таланта, по линиям ЦЕРН после Второй мировой войны.[78]
Объявление Google Duplex, сервис, позволяющий помощнику AI записывать встречи по телефону. В LA Times считает, что голос ИИ является «почти безупречной» имитацией речи, звучащей как человек.[79]
20202020 DeepSpeed это Microsoft глубокое обучение библиотека оптимизации для PyTorch который работает с T-NLG.[80]
В феврале 2020 года Microsoft представила свое поколение естественного языка Тьюринга (T-NLG), которое на тот момент было «крупнейшей из когда-либо опубликованных языковых моделей с 17 миллиардами параметров».[81]
OpenAI с GPT-3, современная модель авторегрессионного языка, которая использует глубокое обучение создавать множество компьютерных кодов, стихов и других языковых задач, исключительно похожих и почти неотличимых от тех, что написаны людьми. Его мощность была в десять раз больше, чем у T-NLG. Он был представлен в мае 2020 года,[82] и находился в стадии бета-тестирования в июне 2020 года.

Смотрите также

Примечания

  1. ^ МакКордак 2004, стр. 4–5
  2. ^ МакКордак (2004), стр. 5–9)
  3. ^ Нидхэм! 1986 г., п. 53
  4. ^ Ричард МакКеон, изд. (1941). Органон. Случайный дом с издательством Оксфордского университета.
  5. ^ Джайлз, Тимоти (2016). «Наука письма Аристотеля: применение его теории». Журнал технического письма и коммуникации. 46: 83–104. Дои:10.1177/0047281615600633. S2CID  170906960.
  6. ^ МакКордак 2004, п. 6
  7. ^ Рассел и Норвиг, 2003 г., п. 366
  8. ^ О'Коннор, Кэтлин Мэлоун (1994), Алхимическое сотворение жизни (таквин) и другие концепции Бытия в средневековом исламе, Пенсильванский университет, получено 10 января 2007.
  9. ^ Программируемый робот XIII века В архиве 19 декабря 2007 г. Wayback Machine
  10. ^ МакКордак 2004, стр. 10–12, 37
  11. ^ МакКордак, стр. 13–14
  12. ^ МакКордак, стр. 14–15, Бьюкенен 2005, п. 50
  13. ^ МакКордак, стр. 36–40
  14. ^ сэр Френсис Бэкон (1620). Новый Органон: Novem Organum Scientiarum.
  15. ^ сэр Френсис Бэкон (2000). Фрэнсис Бэкон: Новый Органон (Кембриджские тексты по истории философии). Издательство Кембриджского университета.
  16. ^ Посмотри пожалуйста Механический калькулятор # Расчет часов: неудачные механические калькуляторы
  17. ^ Хуберт Дрейфус, Чего не умеют компьютеры
  18. ^ МакКордак 2004, п. 42
  19. ^ Посмотри пожалуйста: Калькулятор Паскаля # Паскаль против Шикарда
  20. ^ МакКордак 2004, п. 26
  21. ^ МакКордак 2004, стр. 41–42
  22. ^ Цитируется в МакКордак 2004, п. 317
  23. ^ МакКордак 2004, стр.43
  24. ^ МакКордак 2004, п. 17
  25. ^ МакКордак 2004, стр. 19–25
  26. ^ МакКордак, стр. 26–34
  27. ^ Камбье, Юбер (июнь 2016 г.). «Эволюционное значение мира 3». Философия социальных наук. 46 (3): 242–264. Дои:10.1177/0048393116641609. ISSN  0048-3931. S2CID  148093595.
  28. ^ МакКордак 2004, стр. 48–51
  29. ^ Проект Гутенберг электронная книга Эревон Сэмюэля Батлера. Поэс ...
  30. ^ МакКордак 2004, стр. 59–60
  31. ^ МакКордак 2004, п. 25
  32. ^ МакКордак 2004, pp. 61–62, а также см. Жизнь и творчество Конрада Цузе
  33. ^ МакКордак 2004, стр. 55–56
  34. ^ Crevier 1993: 22–25.
  35. ^ Самуэль 1959
  36. ^ Шеффер, Джонатан. На шаг впереди :: вызов превосходству человека в шашках, 1997,2009, Springer, ISBN  978-0-387-76575-4. Глава 6.
  37. ^ Новет, Иордания (17 июня 2017 г.). «Все продолжают говорить об ИИ - вот что это на самом деле и почему сейчас так жарко». CNBC. Получено 16 февраля 2018.
  38. ^ «Умы, машины и Гёдель». Users.ox.ac.uk. Получено 24 ноября 2008.
  39. ^ http://www.cs.york.ac.uk/mlg/MI/mi.html
  40. ^ "Инструмент доказательства теорем Бойера-Мура". Получено 15 марта 2015.
  41. ^ Грош, Барбара; Сиднер, Кэндис Л. (1986). «Внимание, намерения и структура дискурса». Компьютерная лингвистика. 12 (3): 175–204. Получено 5 мая 2017.
  42. ^ Гарри Хендерсон (2007). "Хронология". Искусственный интеллект: зеркала для разума. Нью-Йорк: Издательство информационной базы. ISBN  978-1-60413-059-1.
  43. ^ "EmeraldInsight". Получено 15 марта 2015.
  44. ^ Мид, Карвер А .; Исмаил, Мохаммед (8 мая 1989 г.). Аналоговая реализация нейронных систем на СБИС (PDF). Международная серия Kluwer в области инженерии и информатики. 80. Норвелл, Массачусетс: Kluwer Academic Publishers. Дои:10.1007/978-1-4613-1639-8. ISBN  978-1-4613-1639-8.
  45. ^ DART: революция в логистическом планировании
  46. ^ Из Антарктиды в космос: использование телеприсутствия и виртуальной реальности для управления удаленным подводным аппаратом
  47. ^ "ISX Corporation". Архивировано из оригинал 5 сентября 2006 г.. Получено 15 марта 2015.
  48. ^ "Обзор DART".
  49. ^ Заде, Лотфи А., "Нечеткая логика, нейронные сети и мягкие вычисления", Связь ACM, март 1994 г., Vol. 37 № 3, страницы 77-84.
  50. ^ http://www.aiandenvironment.org/aaai-first-ai-env-workshop.html
  51. ^ http://www.aiandenvironment.org/ijcai-first-ai-env-workshop.html
  52. ^ Йохем, Тодд М .; Померло, декан А. "Домашняя страница Америки без рук". Получено 20 октября 2015.
  53. ^ Йохем, Тодд. «Назад в будущее: автономное вождение в 1995 году». Роботизированные тенденции. Получено 20 октября 2015.
  54. ^ «Дорожная карта семантической сети». W3.org. Получено 24 ноября 2008.
  55. ^ [1]
  56. ^ [2]
  57. ^ Кельблинг, Лесли Пак; Литтман, Майкл Л; Кассандра, Энтони Р. (1998). «Планирование и действия в частично наблюдаемых стохастических областях» (PDF). Искусственный интеллект. 101 (1–2): 99–134. Дои:10.1016 / с0004-3702 (98) 00023-х. Получено 5 мая 2017.
  58. ^ "Голубой мозг - EPFL". bluebrain.epfl.ch.
  59. ^ «Моделирование естественного отбора действий». Pubs.royalsoc.ac.uk. Получено 24 ноября 2008.
  60. ^ "Giving Robots Compassion, С. Мейсон, Конференция по науке и состраданию, стендовая сессия, Теллурайд, Колорадо, 2012". ResearchGate. Получено 17 июля 2019.
  61. ^ Фишер, Адам. «Внутри поисков Google по популяризации самоуправляемых автомобилей». Популярная наука. Bonnier Corporation. Получено 10 октября 2013.
  62. ^ «Джейми Шоттон из Microsoft Research». Microsoft Research.
  63. ^ «Оценка позы человека для Kinect - Microsoft Research».
  64. ^ http://dts-web1.it.vanderbilt.edu/~fisherdh//AI-Design-Sustainability.html
  65. ^ "Испытания DARPA Robotics Challenge". Агентство перспективных исследовательских проектов Министерства обороны США. Архивировано из оригинал 11 июня 2015 г.. Получено 25 декабря 2013.
  66. ^ «Компьютер Carnegie Mellon осуществляет поиск в Интернете круглосуточно и без выходных, чтобы проанализировать изображения и научиться здравому смыслу».
  67. ^ Тегмарк, Макс. «Открытое письмо об автономном оружии». Институт будущего жизни. Получено 25 апреля 2016.
  68. ^ а б c d е Сильвер, Дэвид; Шриттвизер, Джулиан; Симонян, Карен; Антоноглоу, Иоаннис; Хуанг, Аджа; Гез, Артур; Хуберт, Томас; Бейкер, Лукас; Лай, Мэтью; Болтон, Адриан; Чен, Юйтянь; Лилликрап, Тимоти; Фан, Хуэй; Сифре, Лоран; Дрише, Джордж ван ден; Грэпель, Тор; Хассабис, Демис (19 октября 2017 г.). «Освоение игры в го без человеческого знания» (PDF). Природа. 550 (7676): 354–359. Дои:10.1038 / природа24270. ISSN  0028-0836. PMID  29052630. S2CID  205261034.закрытый доступ
  69. ^ Хассабис, Демис. «AlphaGo: использование машинного обучения для овладения древней игрой го». Блог Google. Получено 25 апреля 2016.
  70. ^ Ормерод, Дэвид. «AlphaGo побеждает Ли Седола со счетом 4–1 в матче Google DeepMind Challenge Match». Go Game Guru. Получено 25 апреля 2016.
  71. ^ Моравчик, Матей; Шмид, Мартин; Берч, Нил; Лисы, Вильям; Моррилл, Дастин; Бард, Нолан; Дэвис, Тревор; Во, Кевин; Йохансон, Майкл; Боулинг, Майкл (5 мая 2017 г.). «DeepStack: искусственный интеллект экспертного уровня в безлимитном хедз-апе». Наука. 356 (6337): 508–513. arXiv:1701.01724. Дои:10.1126 / science.aam6960. ISSN  0036-8075. PMID  28254783. S2CID  1586260.
  72. ^ "Libratus Poker AI превосходит людей за 1,76 миллиона долларов; конец близок?". PokerListings. 30 января 2017 г.. Получено 16 марта 2018.
  73. ^ а б Солон, Оливия (30 января 2017 г.). «О человечество! Покерный компьютер побеждает людей в большом шаге в пользу ИИ». хранитель. Получено 19 марта 2018.
  74. ^ "Наука грубой силы". ACM Communications. Август 2017 г.
  75. ^ "Dota 2". 11 августа 2017.
  76. ^ Гринемайер, Ларри (18 октября 2017 г.). «ИИ против ИИ: самоучка AlphaGo Zero побеждает своего предшественника». Scientific American.
  77. ^ AI Alibaba превосходит людей в тесте по чтению. 15 января 2018 г.
  78. ^ Образец, Ян (23 апреля 2018 г.). «Ученые планируют создать огромный европейский центр искусственного интеллекта, чтобы составить конкуренцию США». Хранитель (Использовал.). Получено 23 апреля 2018.
  79. ^ Пирсон, Дэвид (2018). «Должны ли люди знать, что они обращаются к алгоритму? После неоднозначного дебюта Google теперь говорит« да »». latimes.com. Получено 17 мая 2018.
  80. ^ «Microsoft обновляет Windows, инструменты Azure с прицелом на будущее». PCMag UK. 22 мая 2020.
  81. ^ Стерлинг, Брюс (13 февраля 2020 г.). «Веб-семантика: Microsoft Project Turing представляет технологию Turing Natural Language Generation (T-NLG)». Проводной. ISSN  1059-1028. Получено 31 июля 2020.
  82. ^ Браун, Том Б .; Манн, Бенджамин; Райдер, Ник; Суббия, Мелания; Каплан, Джаред; Дхаривал, Прафулла (22 июля 2020 г.). «Языковые модели - немногие изучающие». arXiv:2005.14165 [cs.CL ].

Рекомендации

внешняя ссылка