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

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

Часть серии по
Искусственный интеллект
Анатомия-1751201 1280.png
Основные цели
Подходы
Философия
История
Технология
Глоссарий

Это хронология искусственного интеллекта или, может быть, даже синтетического интеллекта .

До 20 века

Дата Разработка
Античность Греческие мифы о Гефесте и Пигмалионе включают идею разумных роботов (таких как Талос ) и искусственных существ (таких как Галатея и Пандора ).
Считалось, что священные механические статуи, построенные в Египте и Греции, обладают мудростью и эмоциями. Гермес Трисмегист писал: «У них есть sensus и spiritus ... открыв истинную природу богов, человек смог воспроизвести ее». Закон мозаики запрещает использование автоматов в религии.
10 век до н.э. Ян Ши подарил королю Чжоу Му механических людей.
384 г. до н.э. – 322 г. до н.э. Аристотель описал силлогизм , метод формального, механического мышления и теорию познания в «Органоне» .
1 век Херон из Александрии создал механические человек и других автоматон .
260 Порфирий Тиросский написал Isagogê, в котором классифицировались знания и логика.
~ 800 Гебер разработал арабскую алхимическую теорию Таквина , искусственное создание жизни в лаборатории, вплоть до человеческой жизни.
1206 Аль-Джазари создал программируемый оркестр механических людей.
1275 Рамон Лулль , испанский теолог , изобретает Ars Magna , инструмент для механического объединения концепций, основанный на арабском астрологическом инструменте Zairja . Этот метод был разработан Готфридом Лейбницем в 17 веке.
~ 1500 Парацельс утверждал, что создал искусственного человека из магнетизма, спермы и алхимии.
~ 1580 Говорят, что раввин Иуда Лоев бен Бецалель из Праги изобрел Голема , глиняного человека, которого оживили.
Начало 17 века Рене Декарт предположил, что тела животных - это не что иное, как сложные машины (но что ментальные явления имеют другую «субстанцию»).
1620 Сэр Фрэнсис Бэкон разработал эмпирическую теорию познания и представил индуктивную логику в своей работе «Новый органон» , пьесе по названию Аристотеля « Органон» .
1623 Вильгельм Шикард начертил счетные часы на письме Кеплеру . Это будет первая из пяти неудачных попыток создания счетных часов с прямым входом в 17 веке (включая проекты Тито Бураттини , Сэмюэля Морланда и Рене Грийе ).
1641 Томас Гоббс опубликовал « Левиафан» и представил механическую комбинаторную теорию познания. Он написал: «... потому что разум - это не что иное, как расплата».
1642 Блез Паскаль изобрел механический калькулятор , первую цифровую вычислительную машину .
1672 Готфрид Лейбниц улучшил предыдущие машины, заставив Ступенчатый счетчик выполнять умножение и деление . Он также изобрел двоичную систему счисления и представил универсальное исчисление рассуждений ( алфавит человеческого мышления ), с помощью которого аргументы могли быть решены механически. Лейбниц работал над присвоением определенного номера каждому объекту в мире в качестве прелюдии к алгебраическому решению всех возможных проблем.
1726 Джонатан Свифт опубликовал « Путешествие Гулливера» , которое включает в себя это описание двигателя , машины на острове Лапута : «Проект улучшения умозрительных знаний с помощью практических и механических операций» с использованием этого «устройства», «самого невежественного человека по разумной цене». За свою плату и с небольшим физическим трудом может писать книги по философии, поэзии, политике, праву, математике и теологии с наименьшей помощью со стороны гения или учебы ». Машина является пародией на Ars Magna , одно из вдохновителей механизма Готфрида Лейбница .
1750 г. Жюльен Оффрэ де Ла Меттри опубликовал книгу «Человек-машина» , в которой утверждал, что человеческое мышление строго механическое.
1769 Кемпелен построен и гастролировал с его шахматной -playing автомата , Турок . Позже было показано, что турок был мистификацией с участием человека-шахматиста.
1818 г. Мэри Шелли опубликовала рассказ о Франкенштейне; или Современный Прометей , вымышленное рассмотрение этики создания живых существ.
1822–1859 гг. Чарльз Бэббидж и Ада Лавлейс работали над программируемыми механическими вычислительными машинами .
1837 г. Математик Бернар Больцано сделал первую современную попытку формализовать семантику .
1854 г. Джордж Буль намеревался «исследовать фундаментальные законы тех операций разума, с помощью которых осуществляется рассуждение, чтобы дать им выражение на символическом языке исчисления», изобретая булеву алгебру .
1863 г. Сэмюэл Батлер предположил, что дарвиновская эволюция также применима к машинам, и предполагает, что однажды они станут сознательными и в конечном итоге вытеснят человечество.

20 век

1901–1950

Дата Разработка
1913 г. Бертран Рассел и Альфред Норт Уайтхед опубликовали « Основы математики» , которые произвели революцию в формальной логике .
1915 г. Леонардо Торрес и Кеведо построил шахматный автомат El Ajedrecista и опубликовал рассуждения о мышлении и автоматах.
1923 г. В Лондоне открылся спектакль Карела Чапека RUR (Универсальные роботы Россум) . Это первое использование слова « робот » на английском языке.
1920-е и 1930-е годы Людвиг Витгенштейн и Рудольф Карнап привели философию к логическому анализу знания . Алонзо Черч разработал лямбда-исчисление для исследования вычислимости с использованием рекурсивной функциональной записи.
1931 г. Курт Гёдель показал, что достаточно мощные формальные системы , если они непротиворечивы, позволяют формулировать истинные теоремы, которые недоказуемы любой машиной для доказательства теорем, выводящей все возможные теоремы из аксиом. Для этого ему пришлось создать универсальный язык программирования, основанный на целых числах, поэтому его иногда называют «отцом теоретической информатики ».
1935 г. Самые ранние существенные работы в области искусственного интеллекта были выполнены в середине 20 века британским логиком и пионером компьютеров Аланом Мэтисоном Тьюрингом.
1940 г. Эдвард Кондон демонстрирует Ниматрон , цифровой компьютер, который отлично играл с Нимом .
1941 г. Конрад Цузе построил первые работающие компьютеры с программным управлением.
1943 г. Уоррен Стерджис Маккалок и Уолтер Питтс публикуют «Логическое исчисление идей, присущих нервной деятельности» (1943), закладывая основы для искусственных нейронных сетей .
Артуро Розенблют , Норберт Винер и Джулиан Бигелоу придумали термин « кибернетика ». Популярная книга Винера под этим названием опубликована в 1948 году.
1945 г. Теория игр, которая окажется бесценной для развития ИИ, была представлена ​​в статье 1944 года « Теория игр и экономического поведения » математика Джона фон Неймана и экономиста Оскара Моргенштерна .
Ванневар Буш опубликовал « Как мы можем думать» ( The Atlantic Monthly , июль 1945 г.) пророческое видение будущего, в котором компьютеры помогают людям во многих сферах деятельности.
1948 г. Джон фон Нейман (цитируется ET Jaynes ) в ответ на комментарий на лекции о невозможности для машины (по крайней мере, созданной людьми) думать: «Вы настаиваете на том, что есть что-то, что машина не может сделать. Если вы расскажешь мне точно , что это такое , что машина не может сделать, то я всегда могу сделать машину , которая будет делать именно это!». Фон Нейман предположительно имел в виду тезис Черча-Тьюринга, в котором говорится, что любая эффективная процедура может быть смоделирована с помощью (обобщенного) компьютера.

1950-е годы

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

1960-е

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

1970-е

Дата Разработка
Начало 1970-х Джейн Робинсон и Дон Уокер создали влиятельную группу по обработке естественного языка в SRI.
1970 г. Сеппо Линнаинмаа издает обратный режим автоматической дифференциации . Этот метод позже стал известен как обратное распространение и широко используется для обучения искусственных нейронных сетей .
Хайме Карбонелл (старший) разработал SCHOLAR, интерактивную программу для компьютерного обучения, основанную на семантических сетях как представлении знаний.
Билл Вудс описал сети расширенного перехода (ATN) как представление для понимания естественного языка.
Программа PhD Патрика Уинстона , ARCH, в Массачусетском технологическом институте изучила концепции на примерах из мира детских блоков.
1971 г. Докторская диссертация Терри Винограда ( MIT ) продемонстрировала способность компьютеров понимать английские предложения в ограниченном мире детских блоков в сочетании его программы понимания языка, SHRDLU , с роботизированной рукой, которая выполняла инструкции, набранные на английском языке.
Работа над устройством доказательства теорем Бойера-Мура началась в Эдинбурге.
1972 г. Язык программирования Prolog, разработанный Аленом Колмерауэром .
Граф Сакердоти разработал одну из первых программ иерархического планирования ABSTRIPS.
1973 Группа Assembly Robotics при Эдинбургском университете создает робота Freddy Robot, способного использовать визуальное восприятие для поиска и сборки моделей. (См. Edinburgh Freddy Assembly Robot : универсальная сборочная система с компьютерным управлением.)
В отчете Lighthill дается в значительной степени отрицательный вердикт исследованиям ИИ в Великобритании и формируется основание для решения британского правительства прекратить поддержку исследований ИИ во всех университетах, кроме двух.
1974 г. Докторская диссертация Теда Шортлиффа по программе MYCIN (Стэнфорд) продемонстрировала очень практичный подход к постановке медицинских диагнозов, основанный на правилах, даже в условиях неопределенности. Хотя он заимствовал у DENDRAL, его собственный вклад сильно повлиял на будущее развития экспертных систем , особенно коммерческих.
1975 г. Граф Сакердоти разработал методы частичного планирования в своей системе NOAH, заменив предыдущую парадигму поиска среди описаний пространства состояний. NOAH применялся в SRI International для интерактивной диагностики и ремонта электромеханических систем.
Остин Тейт разработал систему иерархического планирования Nonlin, способную искать пространство частичных планов, характеризуемых как альтернативные подходы к основной целевой структуре плана.
Марвин Мински опубликовал свою широко читаемую и влиятельную статью о фреймах как представлении знаний, в которой собраны воедино многие идеи о схемах и семантических связях .
Программа обучения Meta-Dendral дала новые результаты в химии (некоторые правила масс-спектрометрии ) - первые научные открытия с помощью компьютера, которые были опубликованы в рецензируемом журнале.
Середина 1970-х Барбара Гросс (SRI) установила пределы традиционных подходов искусственного интеллекта к моделированию дискурса. Последующие работы Гросса, Бонни Уэббер и Кэндис Сиднер развили понятие «центрирование», используемое для установления фокуса дискурса и анафорических ссылок при обработке естественного языка .
Дэвид Марр и его коллеги из Массачусетского технологического института описывают «первичный набросок» и его роль в визуальном восприятии .
1976 г. Douglas Lenat «s AM программа (Stanford Кандидатская диссертация) продемонстрировал модель открытия (свободно ориентироваться поиск интересных догадок).
Рэндалл Дэвис продемонстрировал силу метауровневого мышления в своей докторской диссертации в Стэнфорде.
1978 г. Том Митчелл из Стэнфорда изобрел концепцию пространств версий для описания пространства поиска программы формирования концепций.
Герберт А. Саймон получает Нобелевскую премию по экономике за свою теорию ограниченной рациональности , один из краеугольных камней искусственного интеллекта, известный как « удовлетворительный ».
Программа MOLGEN, написанная в Стэнфорде Марком Стефиком и Питером Фридландом, продемонстрировала, что объектно-ориентированное программное представление знаний может использоваться для планирования экспериментов по клонированию генов .
1979 г. Кандидатская диссертация Билла VanMelle в Стэнфорд демонстрирует общность MYCIN представления «s знаний и стиля мышления в его EMYCIN программы, модель для многих коммерческих экспертных систем„оболочек“.
Джек Майерс и Гарри Попл из Университета Питтсбурга разработали INTERNIST, основанную на знаниях программу медицинской диагностики, основанную на клинических знаниях доктора Майерса .
Корделл Грин , Дэвид Барстоу, Элейн Кант и другие в Стэнфорде продемонстрировали систему CHI для автоматического программирования .
Стэнфордская тележка, построенная Хансом Моравеком , становится первым управляемым компьютером автономным транспортным средством, когда она успешно пересекает заполненную стульями комнату и кружит вокруг Стэнфордской лаборатории искусственного интеллекта .
BKG, программа игры в нарды, написанная Гансом Берлинером из CMU , побеждает действующего чемпиона мира (отчасти благодаря удаче).
Дрю Макдермотт и Джон Дойл из Массачусетского технологического института и Джон Маккарти из Стэнфорда начинают публикацию работ по немонотонной логике и формальным аспектам поддержания истины.
Конец 1970-х Стэнфордский ресурс SUMEX-AIM, возглавляемый Эдом Фейгенбаумом и Джошуа Ледербергом, демонстрирует силу ARPAnet для научного сотрудничества.

1980-е

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

1990-е годы

Дата Разработка
1990-е годы Значительные достижения во всех областях искусственного интеллекта, со значительными демонстрациями в области машинного обучения, интеллектуального обучения , рассуждений на основе конкретных случаев, многоагентного планирования, составления расписаний , неопределенных рассуждений, интеллектуального анализа данных , понимания и перевода естественного языка, видения, виртуальной реальности , игр и другие темы.
Начало 1990-х TD-Gammon , программа для игры в нарды, написанная Джерри Тесауро, демонстрирует, что подкрепление (обучение) достаточно мощно, чтобы создать игровую программу уровня чемпионата, выгодно конкурируя с игроками мирового класса.
1991 г. Приложение планирования DART, развернутое во время первой войны в Персидском заливе, окупило 30- летние инвестиции DARPA в исследования ИИ.
1992 г. Кэрол Стокер и команда роботов NASA Ames изучают морскую жизнь в Антарктиде с помощью подводного робота Telepresence ROV, который управляется со льда возле залива Мак-Мердо в Антарктиде и удаленно через спутниковую связь из Моффетт-Филд, Калифорния.
1993 г. Ян Хорсвилл расширил робототехнику, основанную на поведении , создав Полли , первого робота, который перемещался с помощью зрения и работал со скоростью, подобной животной (1 метр в секунду).
Родни Брукс , Линн Андреа Штайн и Синтия Бризил вместе с многочисленными сотрудниками начали широко разрекламированный проект MIT Cog , пытаясь создать ребенка- гуманоида-робота всего за пять лет.
Корпорация ISX получает звание «Подрядчик года DARPA» за инструмент динамического анализа и перепланирования (DART), который, как сообщается, окупил все инвестиции правительства США в исследования ИИ с 1950-х годов.
1994 г. Лотфи Заде из Калифорнийского университета в Беркли создает « мягкие вычисления » и выстраивает мировую сеть исследований, сочетая нейронику и системы нейронных сетей , теорию нечетких множеств и нечеткие системы , эволюционные алгоритмы, генетическое программирование , теорию хаоса и хаотические системы («Нечеткие системы»). Логика, нейронные сети и мягкие вычисления, "Коммуникации ACM", март 1994 г., том 37, № 3, страницы 77–84).
С пассажирами на борту парные автомобили-роботы VaMP и VITA-2 производства Ernst Dickmanns и Daimler-Benz проезжают более тысячи километров по трехполосному шоссе в Париже в условиях стандартного интенсивного движения со скоростью до 130 км / ч. Они демонстрируют автономное вождение по свободным полосам, движение конвоя и смену полосы движения вправо и влево с автономным проездом других автомобилей.
Английские шашки ( шашки ) чемпион мира по Тинл ушел матч против компьютерной программы Chinook . Чинук победил Лафферти, второго по рейтингу игрока . Чинук выиграл национальный турнир США с самым большим отрывом в истории.
Синди Мейсон из НАСА организует первый семинар AAAI по искусственному интеллекту и окружающей среде.
1995 г. Синди Мейсон из НАСА организует Первый международный семинар IJCAI по ИИ и окружающей среде.
«Никаких рук через Америку»: полуавтономный автомобиль проехал от побережья к побережью через Соединенные Штаты с управляемым компьютером рулевым управлением на расстояние 2797 миль (4501 км) из 2849 миль (4585 км). Дроссельной заслонкой и тормозами управлял человек-водитель.
Одна из машин-роботов Эрнста Дикманна (с управляемой роботом дроссельной заслонкой и тормозами) проехала более 1000 миль от Мюнхена до Копенгагена и обратно, в пробках, со скоростью до 120 миль в час, иногда выполняя маневры, чтобы обогнать другие машины (только в нескольких критических случаях). ситуации, которые взял на себя водитель безопасности). Активное зрение использовалось для работы с быстро меняющимися уличными сценами.
1996 г. Стив Гранд , робототехник и ученый-компьютерщик, разрабатывает и выпускает Creatures , популярную симуляцию искусственных форм жизни с имитацией биохимии, неврологии с алгоритмами обучения и наследуемой цифровой ДНК.
1997 г. Deep Blue шахматная машина ( IBM ) побеждает (тогда) мира по шахматам чемпиона, Гарри Каспарова .
Первый официальный футбольный матч RoboCup с настольными матчами с участием 40 команд взаимодействующих роботов и более 5000 зрителей.
Программа Computer Othello Logistello победила чемпиона мира Такеши Мураками со счетом 6–0.
1998 г. Tiger Electronics ' Furby отпускании и становится первой успешной попытки производить тип AI для достижения внутренней обстановки .
Тим Бернерс-Ли опубликовал свою статью о дорожной карте Семантической паутины .
Улисес Кортес и Микель Санчес-Марре организуют первый в Европе семинар по окружающей среде и искусственному интеллекту ( ECAI) на тему « Связь между науками об окружающей среде и искусственным интеллектом».
Лесли П. Келблинг , Майкл Литтман и Энтони Кассандра представляют POMDP и масштабируемый метод их решения сообществу ИИ, давая импульс их широкому использованию в робототехнике и автоматизированном планировании и составлении графиков.
1999 г. Sony представляет улучшенного домашнего робота, похожего на Furby, AIBO становится одним из первых «домашних животных» с искусственным интеллектом, который также является автономным .
Конец 1990-х Поисковые роботы и другие программы извлечения информации на основе искусственного интеллекта становятся незаменимыми для широкого использования Всемирной паутины .
Демонстрация интеллектуальной комнаты и эмоциональных агентов в лаборатории искусственного интеллекта Массачусетского технологического института .
Начало работы над архитектурой Oxygen , которая соединяет мобильные и стационарные компьютеры в адаптивную сеть .

21-го века

2000-е

Дата Разработка
2000 г. Интерактивные робопеты (« умные игрушки ») становятся коммерчески доступными, воплощая в жизнь видение производителей игрушек 18-го века.
Синтия Бризил из Массачусетского технологического института публикует диссертацию на тему «Общительные машины», в которой описывается Кисмет (робот) с лицом, выражающим эмоции .
Nomad робот исследует отдаленные районы Антарктиды в поисках метеоритных образцов.
2002 г. IROBOT «S Roomba автономно пылесосит пол во время навигации и избегая препятствий.
2004 г. Рекомендация W3C по языку веб-онтологий OWL (10 февраля 2004 г.).
DARPA представляет DARPA Grand Challenge, требующий от участников производства автономных транспортных средств за денежные призы.
Роботы -вездеходы НАСА Spirit и Opportunity автономно перемещаются по поверхности Марса .
2005 г. Honda «s ASIMO робот, искусственно интеллектуальный робот - гуманоид, может идти так быстро , как человек, поставляя подносы к клиентам в настройках ресторана.
Технология рекомендаций, основанная на отслеживании веб-активности или использования СМИ, привносит ИИ в маркетинг. См. Предложения TiVo .
Родился проект Blue Brain по моделированию мозга в деталях на молекулярном уровне.
2006 г. Дартмутская конференция по искусственному интеллекту: следующие 50 лет (AI @ 50) AI @ 50 (14–16 июля 2006 г.)
2007 г. Один из старейших научных журналов мира « Философские труды» Королевского общества, B - Biology , выпускает специальный выпуск об использовании ИИ для понимания биологического интеллекта под названием « Модели естественного отбора».
Шашки будет решена группой исследователей в Университете Альберты .
DARPA запускает Urban Challenge для беспилотных автомобилей, чтобы они соблюдали правила дорожного движения и работали в городских условиях.
2008 г. Синтия Мейсон из Стэнфорда представляет свою идею об искусственном сострадательном интеллекте в своей статье «Предоставление роботам сострадания» .
2009 г. Google строит автономный автомобиль.

2010-е

Дата Разработка
2010 г. Microsoft выпустила Kinect для Xbox 360, первое игровое устройство, отслеживающее движения человеческого тела , с использованием только 3D-камеры и инфракрасного обнаружения, что позволяет пользователям играть на Xbox 360 по беспроводной сети. Отмеченная наградами технология машинного обучения для захвата движения человека для этого устройства была разработана группой Computer Vision в Microsoft Research , Кембридж.
2011 г. Мэри Лу Махер и Дуг Фишер организуют первый семинар AAAI по искусственному интеллекту и устойчивому развитию.
IBM «s Уотсон компьютер победил телевизионное игровое шоу Jeopardy! чемпионы Раттер и Дженнингс .
2011–2014 гг. Яблоко 's Siri (2011), Google ' s Google Now (2012) и Microsoft «s Кортана (2014) являются смартфон приложения , которые используют естественный язык для ответа на вопросы, рекомендации замыкающие и выполнять действия.
2013 Робот HRP-2 , построенный Schaft Inc в Японии , дочерней компании Google , поражений 15 команд , чтобы выиграть DARPA «s Trials Robotics призов . HRP-2 набрала 27 из 32 баллов за 8 задач, необходимых для реагирования на стихийные бедствия. Задачи: проехать на автомобиле, пройти по мусору, подняться по лестнице, убрать мусор, пройти через двери, прорезать стену, закрыть клапаны и подсоединить шланг.
NEIL , Never Ending Image Learner, выпущен в Университете Карнеги-Меллона для постоянного сравнения и анализа взаимосвязей между различными изображениями.
2015 г. Открытое письмо о запрете разработки и использования автономного оружия, подписанное Хокингом , Маском , Возняком и 3000 исследователей в области искусственного интеллекта и робототехники.
Google DeepMind «s AlphaGo (версия: Fan) победила 3 раз Европейской Go чемпиона 2 дана профессиональный Fan Hui от 5 игр 0.
2016 г. Google DeepMind «s AlphaGo (версия: Lee) победил Ли SEDOL 4-1. Ли Седол - профессиональный чемпион Кореи по го с 9 данами , выигравший 27 крупных турниров с 2002 по 2016 год.
2017 г. Асиломарская конференция по полезному ИИ была проведена для обсуждения этики ИИ и того, как создать полезный ИИ , избегая при этом экзистенциального риска со стороны общего искусственного интеллекта .
Deepstack это первый опубликованный алгоритм бить человека игроков в несовершенных информационных играх, как показано со статистической значимостью на хедз-ап по безлимитному покеру . Вскоре после этого покерный AI Libratus, созданный другой исследовательской группой, индивидуально победил каждого из четырех своих оппонентов - среди лучших игроков мира - с исключительно высоким совокупным винрейтом на статистически значимой выборке. В отличие от Chess and Go, покер - это игра с несовершенной информацией .
В мае 2017 года, Google DeepMind «s AlphaGo (версия: Master) бить Ke Jie , который в то время постоянно держал мир № 1 рейтинг в течение двух лет, выиграв каждую игру в матче три игры во время будущего саммита Go .
Программа для решения проблемы логической выполнимости (SAT) логики высказываний доказывает давнюю математическую гипотезу о пифагоровых троек над множеством целых чисел. Первоначальное доказательство, размером 200 ТБ, было проверено двумя независимыми сертифицированными программами автоматической проверки.
OpenAI -machined узнал боты играли на The International 2017 Dota 2 турнире в августе 2017. Он выиграл во время 1х1 демонстрации игры против профессионального Dota 2 игрока Денди .
Google DeepMind показал, что AlphaGo Zero - улучшенная версия AlphaGo - продемонстрировала значительный прирост производительности при использовании гораздо меньшего количества блоков тензорной обработки (по сравнению с AlphaGo Lee; он использовал такое же количество TPU, как AlphaGo Master). В отличие от предыдущих версий, которые изучали игру, наблюдая за миллионами человеческих движений, AlphaGo Zero училась, играя только против себя. Затем система обошла AlphaGo Lee 100 игр до нуля и победила AlphaGo Master с 89 до 11. Хотя обучение без учителя - это шаг вперед, многое еще предстоит узнать об общем интеллекте. AlphaZero осваивает шахматы за 4 часа, победив лучший шахматный движок StockFish 8. AlphaZero выиграла 28 из 100 игр, а остальные 72 игры закончились вничью.
2018 г. ИИ обработки языка Alibaba опережает лучших людей в тесте на чтение и понимание Стэнфордского университета, набрав 82,44 против 82,304 на наборе из 100 000 вопросов.
Европейская лаборатория обучения и интеллектуальных систем (также известная как Эллис) выступила в качестве общеевропейского конкурента американским усилиям в области искусственного интеллекта с целью предотвращения утечки талантов по примеру ЦЕРНа после Второй мировой войны.
Объявление о Google Duplex , сервисе, позволяющем AI-помощнику записываться на прием по телефону. The LA Times считает, что голос ИИ является «почти безупречной» имитацией речи, звучащей как человек.
2019 г. AlphaStar от DeepMind достигает уровня Грандмастера в StarCraft II, опережая 99,8% игроков-людей.

2020-е

Дата Разработка
2020 г. 2020 DeepSpeed - это библиотека оптимизации глубокого обучения Microsoft для PyTorch, на которой работает T-NLG.
В феврале 2020 года Microsoft представила свое поколение естественного языка Тьюринга (T-NLG), которое на тот момент было «крупнейшей из когда-либо опубликованных языковых моделей с 17 миллиардами параметров».
OpenAI «s GPT-3 , модель языка авторегрессии внедренный , что использование глубокого изучения для производства различных компьютерных кодов, поэзии и других задач языка исключительно подобных, и почти неотличимы от тех , которые написаны людьми. Его мощность была в десять раз больше, чем у T-NLG. Он был представлен в мае 2020 года и находился в стадии бета-тестирования в июне 2020 года.

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

Примечания

использованная литература

внешние ссылки