Рождение ИИ
1950-е–1970-е · Дартмутская конференция и первая волна
Летом 1956 года в маленьком городке в штате Нью-Гэмпшир, США, собралась группа молодых учёных, чтобы обсудить возможность наделить машины человеческим интеллектом. Термин «artificial intelligence» уже присутствовал в проектном предложении 1955 года; Дартмутский семинар помог превратить эту исследовательскую программу в основу нового академического направления.
Последующее десятилетие учёные были преисполнены оптимизма в отношении нейронных сетей, систем логического вывода и робототехники, открыв первую золотую эру ИИ. Хотя многие мечты этой эпохи не сбылись сразу, проделанная работа заложила важную основу для последующего развития ИИ.
Исследования ИИ этой эпохи сосредоточились на трёх направлениях: символизм (логика и правила), коннекционизм (нейронные сети) и бихевиоризм (циклы восприятия и действия). Эти три направления попеременно доминировали в истории развития ИИ.
Ключевые вехи
Дартмутская конференция
Летний Дартмутский семинар 1956 года помог закрепить название «artificial intelligence» и исследовательскую программу как идентичность нового академического направления; термин уже содержался в предложении 1955 года.
Джон Маккарти (1927–2011)
Logic Theorist
Аллен Ньюэлл и Герберт Саймон разработали «Logic Theorist» — одну из ранних практических программ ИИ. Эта программа могла доказывать теоремы из «Principia Mathematica» и часто упоминается среди ранних программ искусственного интеллекта. Ньюэлл и Саймон получили премию Тьюринга в 1975 году.
Аллен Ньюэлл и Герберт Саймон
Перцептрон
Фрэнк Розенблатт предложил модель перцептрона — раннюю влиятельную модель искусственной нейронной сети. Перцептрон — это простой линейный бинарный классификатор, который обучается классифицировать входные данные путём подбора весов.
Фрэнк Розенблатт (1928–1971)
Язык Lisp
Джон Маккарти разработал Lisp в МТИ — один из ранних высокоуровневых языков программирования, специально созданный для исследований в области ИИ. Гибкость Lisp и мощные возможности символьных вычислений сделали его языком выбора для исследований ИИ.
Джон Маккарти
Универсальный решатель задач
Ньюэлл и Саймон разработали Универсальный решатель задач (GPS) — первую программу ИИ, пытавшуюся имитировать человеческое решение задач. GPS разбивал решение на декомпозицию целей и поиск подцелей.
Аллен Ньюэлл и Герберт Саймон
Теорема сходимости перцептрона
Фрэнк Розенблатт доказал свойство сходимости алгоритма обучения перцептрона, показав, что если данные линейно разделимы, перцептрон обязательно сойдётся.
Фрэнк Розенблатт
Первый промышленный робот
Unimate стал первым роботом, работавшим на сборочной линии. В 1961 году General Motors установила его на заводе в Трентоне, штат Нью-Джерси, для разгрузки машины литья под давлением — робот снимал с неё ещё горячие отливки. Unimation выпускала эти машины для работ, трудных, опасных или однообразных для человека.
Unimate
Машинное восприятие трёхмерных тел
В докторской диссертации МТИ 1963 года Ларри Робертс описал систему интерпретации по изображениям сцен с простыми многогранными телами — важную раннюю основу трёхмерного компьютерного зрения.
Ларри Робертс
Запуск Project MAC
МТИ запустил Project MAC в 1963 году под руководством Роберта Фано для исследований разделения времени, вычислений и машинной поддержки познания. Основанный в 1959 году проект МТИ по ИИ позднее вошёл в его работу; это не была единая лаборатория, основанная в 1959 году.
Роберт Фано
ELIZA
Джозеф Вейценбаум создал ELIZA в МТИ — одного из ранних чат-ботов. ELIZA имитировала разговор психотерапевта с помощью сопоставления шаблонов, вызвав глубокие размышления о взаимодействии человека и компьютера.
Джозеф Вейценбаум (1923–2008)
Робот Shakey
SRI International разработала Shakey — одного из ранних автономных мобильных роботов, способного воспринимать окружающую среду, планировать маршруты и выполнять задачи. Shakey объединял компьютерное зрение, обработку естественного языка и алгоритмы планирования.
SRI International
Теория фреймов
Марвин Мински опубликовал «статью о фреймах», предложив теорию фреймов для представления знаний. Эта теория повлияла на последующее объектно-ориентированное программирование и методы представления знаний.
Марвин Мински
Ключевые фигуры
Джон Маккарти
Отец ИИ
Маккарти был одним из основателей ИИ. Он ввёл термин «искусственный интеллект» и разработал язык программирования Lisp. Получил премию Тьюринга в 1971 году и известен как «отец ИИ». Маккарти также предложил концепцию «разделения времени».
Марвин Мински
Пионер архитектуры ИИ
Мински был сооснователем Лаборатории ИИ МТИ. Он внёс важный вклад в нейронные сети, здравый смысл и теорию фреймов. Получил премию Тьюринга в 1969 году.
Аллен Ньюэлл и Герберт Саймон
Когнитивные учёные
Ньюэлл и Саймон совместно разработали Logic Theorist и General Problem Solver, объединив информатику и когнитивную психологию. Саймон получил Нобелевскую премию по экономике 1978 года, а вместе с Ньюэллом — премию Тьюринга 1975 года.
Фрэнк Розенблатт
Пионер нейронных сетей
Розенблатт был изобретателем перцептрона. Хотя исследования нейронных сетей пережили зиму, его работы заложили основу для современного глубокого обучения.
Джозеф Вейценбаум
Пионер взаимодействия человек-компьютер
Вейценбаум создал ELIZA. Хотя технически она была проста, она вызвала глубокие философские дискуссии о взаимодействии человека с компьютером и машинном интеллекте. Позднее Вейценбаум стал одним из первых сторонников этики ИИ.
Известные цитаты
Будет предпринята попытка найти, как заставить машины использовать язык, формировать абстракции и понятия, решать виды задач, которые в настоящее время доступны только людям, и самосовершенствоваться.
В течение двадцати лет машины смогут выполнять любую работу, которую может делать человек.