Искусственный интеллект: открытия и наследие Джона Маккарти

Стал «дядей» для студентов MIT и создал первый функциональный язык программирования

Джон МакКарти провел в MIT шесть лет — одних из самых продуктивных в своей карьере. Именно в этот период, а точнее в 1958 году, он изобрел Лисп.

Курс Python.
Цю мову програмування використовують від базових концепцій до складних застосувань у сферах штучного інтелекту. Після проходження курсу гарантовано отримай роботу в ІТ.
Більше про курс.

Лисп стал вторым после FORTRAN высокоуровневым языком программирования и первым функциональным языком программирования. То есть в нем описывается не последовательность команд, а взаимодействие между ними и подпрограммами. К таким языкам также относится Haskell и частично — Scala.

Ближе к концу пребывания в MIT, Джон МакКарти совместно с Марвином Минским также поучаствовал в создании университетской лаборатории искусственного интеллекта.

Ранние годы и образование

Джон Маккарти родился в Бостон, Массачусетс, 4 сентября 1927 года, ирландскому отцу-иммигранту и литовской еврейской матери-иммигрантке Джону Патрику и Иде (Глатт) Маккарти. Семья была вынуждена часто переезжать во время Великой депрессии, пока отец Маккарти не нашел работу организатором Amalgamated Clothing Workers в Лос-Анджелесе, Калифорния. Его отец происходил из рыбацкой деревни Кроман в графстве Керри, Ирландия. Его мать умерла в 1957 году.

Маккарти был исключительно умен и окончил Белмонтскую среднюю школу на два года раньше. Маккарти был принят в Калифорнийский технологический институт в 1944 году.

Маккарти рано проявил склонность к математике ; в подростковом возрасте он сам изучал математику в колледже, изучая учебники, используемые в близлежащем Калифорнийском технологическом институте (Калифорнийский технологический институт). В результате он смог пропустить первые два года обучения математике в Калтехе. Маккарти был отстранен от занятий в Калифорнийском технологическом институте за непосещение курсов физического воспитания. Затем он служил в армии США и был повторно принят, получив BS по математике в 1948 году.

Он учился в Калифорнийском технологическом институте. лекция Джона фон Неймана, которая вдохновила его на будущее.

Маккарти сначала закончил аспирантуру Калифорнийского технологического института, а затем перешел в Принстонский университет. Он получил докторскую степень математики в Принстоне в 1951 году после завершения докторской диссертации под названием «Операторы проектирования и уравнения в частных производных » под руководством Дональд С. Спенсер.

Награды Джона

На протяжении своей карьеры Джон Маккарти получал множество наград, которые признавали его новаторский вклад в область информатики и ИИ, подчеркивали влияние его работы на широкое научное сообщество и мир в целом.

В 1971 году Маккарти получил премию Тьюринга от Ассоциации вычислительной техники (ACM) за новаторскую работу в области искусственного интеллекта, включая разработку языка программирования Lisp и концепции разделения времени. Ученые называют эту премию «Нобелевской премией в области вычислительной техники».

В 1988 году Маккарти был удостоен Киотской премии в области передовых технологий — одной из самых престижных международных наград в областях, которые традиционно не признаются Нобелевскими премиями. Он также стал лауреатом Национальной медали науки — высшей награды, которую правительство США присуждает ученым и инженерам.

Философия искусственного интеллекта

В 1979 году Маккарти написал статью под названием «Приписывание психических качеств машинам». В нем он писал: «Можно сказать, что такие простые машины, как термостаты, обладают убеждениями, а наличие убеждений, по-видимому, является характеристикой большинства машин, способных решать проблемы». В 1980 году философ Джон Сирл ответил своим знаменитым аргументом Китайская комната, не согласившись с Маккарти и заняв позицию, согласно которой машины не могут иметь убеждений просто потому, что они не обладают сознанием. Сирл утверждает, что машинам не хватает «понимания» или «интенциональности » (термин, обычно используемый в философии разума). В поддержку той или иной стороны написано огромное количество литературы.

Наследие Маккарти

Маккарти верил, что однажды машины смогут имитировать человеческий интеллект, и посвятил свою жизнь тому, чтобы воплотить это видение в жизнь. Джон скончался в 2011 году, но его идеи и открытия продолжают до сих пор влиять на развитие области ИИ:

  • Lisp повлиял на разработку Python и JavaScript и остается до сих пор популярным языком программирования для исследований ИИ;

  • концепция разделения времени заложила основу для современных облачных вычислений и коренным образом изменила то, как человечество использует компьютеры;

  • Дартмутский семинар собрал самые яркие умы и определил программу исследований ИИ на десятилетия вперед;

  • термин «искусственный интеллект» вошел в наш повседневный лексикон;

  • в SAIL были разработаны многие революционные технологии, и она продолжает оставаться ведущим центром исследований в области ИИ.

Другая деятельность

Маккарти часто комментировал мировые события на форумах Usenet. Некоторые из его идей можно найти на его веб-странице устойчивого развития, которая «направлена ​​на то, чтобы показать, что человеческий материальный прогресс желателен и устойчив». Маккарти был серьезным читателем, оптимистом и стойким сторонником свободы слова. Его лучшее взаимодействие с Usenet можно увидеть в архивах rec.arts.books. И Маккарти активно посещал ужины в районе залива Сан-Франциско в Пало-Альто из р.а.б. читатели называли раб-фест. Он продолжал защищать критику свободы слова, включающую европейские этнические анекдоты в Стэнфорде.

Маккарти понимал важность математики и математического образования. Его Usenet .sig в течение многих лет звучало так: «Тот, кто отказывается заниматься арифметикой, обречен говорить чушь»; на обложке его номерного знака также было написано: «Делай арифметические операции, иначе будешь обречён говорить ерунду»

Он посоветовал 30 аспирантам.

В его рассказе 2001 г. «Робот и младенец» был фарс исследован вопрос о том, должны ли роботы иметь (или имитировать) эмоции, а также предполагаемые аспекты интернет-культуры и социальных сетей. сети, которые становятся все более заметными в последующие десятилетия.

Основные публикации

  • Маккарти, Дж. 1963a «Основа математической теории вычислений». В компьютерном программировании и формальных системах. Северная Голландия.
  • McCarthy, J. 1963b. Ситуации, действия и причинные законы. Технический отчет, Стэнфордский университет.
  • Маккарти, Дж. 1977. “Эпистемологические проблемы искусственного интеллекта”. В IJCAI, 1038-1044.
  • Маккарти, Дж. 1990. «Общее в искусственном интеллекте». В Лифшиц, В., изд., Формализация здравого смысла. Ablex. 226–236.
  • Маккарти, Дж. 1993. «Заметки о формализации контекста». В IJCAI, 555-562.
  • McCarthy, J., and Buvac, S. 1997. «Формализация контекста: расширенные примечания». В Алиседе, А.; van Glabbeek, R.; and Westerstahl, D., eds., Computing Natural Language. Стэндфордский Университет. Также доступно как Стэнфордское техническое примечание STAN-CS-TN-94-13.
  • McCarthy, J. 1998. «Допуск на проработку». В рабочих документах Четвертого Международного симпозиума по логическим формализациям здравого смысла, Commonsense-1998.
  • Костелло, Т., и Маккарти, Дж. 1999. «Полезные контрфакты». Электронные транзакции по искусственному интеллекту 3 (A): 51-76
  • Маккарти, Дж. 2002. «Действия и другие события в ситуационном исчислении». In Fensel, D.; Giunchiglia, F.; McGuinness, D.; and Williams, M., eds., Proceedings of KR-2002, 615-628.

Вклад в информатику

Джон Маккарти является одним из «отцов-основателей» искусственного интеллекта вместе с Аланом Тьюрингом, Марвином Мински, Аллен Ньюэлл и Герберт А. Саймон. Маккарти, Мински, Натаниэль Рочестер и Клод Э. Шеннон придумали термин «искусственный интеллект» в предложении, которое они написали для знаменитой Дартмутской конференции летом 1956 года. Эта конференция начала ИИ как область. (Позже Мински присоединился к Маккарти в Массачусетском технологическом институте в 1959 году.)

В 1958 году он предложил советчика, который вдохновил более поздние работы по вопросам ответов на вопросы и логическому программированию.

Маккарти. изобрел Лисп в конце 1950-х. Основанный на лямбда-исчислении, Lisp вскоре стал предпочтительным языком программирования для приложений ИИ после его публикации в 1960 году.

В 1958 году Маккарти работал в Специальном комитете ACM по языкам, который впоследствии стал часть комитета, разработавшего АЛГОЛ 60. В августе 1959 года он предложил использовать рекурсию и условные выражения, которые стали частью АЛГОЛА. Затем он стал участвовать в разработке международных стандартов в программировании и информатике в качестве члена Международной федерации обработки информации (IFIP) Рабочей группы 2.1 IFIP по алгоритмам. Языки и вычисления, в которых указан, поддерживают и поддерживают ALGOL 60 и ALGOL 68.

Примерно в 1959 году он изобрел так называемые методы «сборки мусора » для решения проблем. в Лиспе.

Он помог мотивировать создание Project MAC в MIT, когда он там работал, а в Стэнфордском университете он помог создать Stanford Лаборатория искусственного интеллекта, долгие годы являвшаяся дружественным соперником Project MAC.

Маккарти сыграл важную роль в создании трех самых первых систем разделения времени (Совместимая система разделения времени, Система разделения времени BBN и Дартмутская система разделения времени ). Его коллега Лестер Эрнест сказал Los Angeles Times: «Интернет не появился бы так быстро, как это произошло, за исключением того факта, что Джон инициировал разработку систем с разделением времени. Мы продолжаем придумывать новые названия для разделение времени. Это стало называться серверами… Теперь мы называем это облачными вычислениями. Это все еще просто разделение времени. Джон начал это ».

В 1961 году он, возможно, был первым, кто предложил публично идея служебных вычислений в речи, произнесенной по случаю столетия Массачусетского технологического института: эта компьютерная технология разделения времени может привести к будущему, в котором вычислительные мощности и даже определенные приложения могут быть проданы через бизнес-модель коммунального предприятия (например, вода или электричество ). Идея компьютера или информационной утилиты была очень популярна в конце 1960-х годов, но к середине 1990-х она исчезла. Однако с 2000 года эта идея появилась в новых формах (см. поставщик услуг приложений, грид-вычисления и облачные вычисления ).

В 1966 году Маккарти и его команда из Стэнфорда написали компьютерную программу, которая использовалась для проведения серии шахмат игр с аналогами в Советском Союзе ; Команда Маккарти проиграла две игры и сыграла вничью две игры (см. Коток-Маккарти ).

С 1978 по 1986 год Маккарти разработал метод ограничения немонотонных рассуждений.

В 1982 году он, кажется, положил начало идее космического фонтана., тип башни, простирающейся в космос и удерживаемой в вертикальном положении за счет внешней силы потока гранул, движущихся с Земли по своего рода конвейерной ленте, которая возвращает гранулы на Землю. Полезные грузы будут перемещаться по конвейерной ленте вверх.

Like this post? Please share to your friends: