Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

Джон Маккарти
Джон Маккарти Stanford.jpg
Джон Маккарти на конференции в 2006 году
Родившийся( 1927-09-04 )4 сентября 1927 г.
Бостон, Массачусетс , США
Умер24 октября 2011 г. (2011-10-24)(84 года)
Стэнфорд, Калифорния , США
Альма-матерПринстонский университет , Калифорнийский технологический институт
ИзвестенИскусственный интеллект , Лисп , ограниченность , ситуационное исчисление
НаградыПремия Тьюринга (1971)
Премия пионера компьютеров (1985)
Премия IJCAI за научные достижения (1985)
Киотская премия (1988)
Национальная медаль науки (1990)
Медаль Бенджамина Франклина (2003)
Научная карьера
ПоляИнформатика
УчрежденияСтэнфордский университет , Массачусетский технологический институт , Дартмутский колледж , Принстонский университет
ДокторантСоломон Лефшец
ДокторантыРузена Байчи
Раманатан В. Гуха
Барбара Лисков
Радж Редди

Джон Маккарти (4 сентября 1927 - 24 октября 2011) был американским ученым-компьютерщиком и ученым-когнитивистом . Маккарти был одним из основоположников искусственного интеллекта . [1] Он был соавтором документа, который ввел термин « искусственный интеллект » (AI), разработал семейство языков программирования Lisp , значительно повлиял на дизайн языка программирования ALGOL , популяризировал разделение времени , изобрел сборку мусора и был очень оказал влияние на раннее развитие ИИ.

Маккарти провел большую часть своей карьеры в Стэнфордском университете . [2] Он получил множество наград и наград, таких как 1971 премии Тьюринга за его вклад в тему искусственного интеллекта, [3] США Национальная медаль науки и Киото премии .

Ранняя жизнь и образование [ править ]

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

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

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

Именно в Калифорнийском технологическом институте он посетил лекцию Джона фон Неймана, которая вдохновила его на дальнейшие начинания.

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

Академическая карьера [ править ]

После краткосрочных назначений в Принстонском и Стэнфордском университетах Маккарти в 1955 году стал доцентом в Дартмуте .

Годом позже Маккарти перешел в Массачусетский технологический институт осенью 1956 года в качестве научного сотрудника . К концу обучения в Массачусетском технологическом институте студенты уже ласково называли его «дядей Джоном». [12]

В 1962 году Маккарти стал профессором Стэнфорда, где оставался до своей пенсии в 2000 году.

Маккарти отстаивал математическую логику для искусственного интеллекта.

Вклад в информатику [ править ]

Маккарти в 2008 году

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

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

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

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

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

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

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

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

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

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

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

Другая деятельность [ править ]

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

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

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

Личная жизнь [ править ]

Маккарти был женат трижды. Его второй женой была Вера Уотсон , программист и альпинистка, которая умерла в 1978 году при попытке взойти на Аннапурну I Central в рамках женской экспедиции . Позже он женился на Кэролайн Талкотт , специалисте по информатике из Стэнфорда, а позже - из SRI International . [28] [29]

Маккарти считал себя атеистом. [30] [31] Выросший как коммунист , он стал консервативным республиканцем после двухдневного визита в Чехословакию в 1968 году после советского вторжения . [32] Маккарти умер в своем доме в Стэнфорде 24 октября 2011 года. [33]

Философия искусственного интеллекта [ править ]

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

Награды и награды [ править ]

  • Премия Тьюринга от Ассоциации вычислительной техники (1971).
  • Киотская премия (1988 г.).
  • Национальная медаль науки (США) в области математических, статистических и вычислительных наук (1990 г.). [36]
  • Введен в должность научного сотрудника Музея компьютерной истории «за то, что он соучредил области искусственного интеллекта (ИИ) и систем с разделением времени, а также за большой вклад в математику и информатику». (1999) [37]
  • Медаль Бенджамина Франклина в области компьютерных и когнитивных наук Института Франклина (2003 г.).
  • Введен в Зал славы искусственного интеллекта IEEE Intelligent Systems (2011 г.) за «значительный вклад в область ИИ и интеллектуальных систем». [38] [39]
  • Назван одним из инженеров Стэнфордского университета 2012 года . [40]

Основные публикации [ править ]

  • Маккарти, Дж. 1959. «Программы со здравым смыслом» на Wayback Machine (архивировано 4 октября 2013 г.). В материалах конференции Теддингтона по механизации мыслительных процессов , 756-91. Лондон: Канцелярские товары Ее Величества.
  • Маккарти, Дж. 1960. «Рекурсивные функции символьных выражений и их машинное вычисление» в Wayback Machine (архив 4 октября 2013 г.). Сообщения ACM 3 (4): 184-195.
  • Маккарти, Дж. 1963a "Основа математической теории вычислений". В компьютерном программировании и формальных системах . Северная Голландия.
  • Маккарти, Дж. 1963b. Ситуации, действия и причинные законы. Технический отчет, Стэнфордский университет.
  • Маккарти, Дж., И Хейс, П. Дж. 1969. Некоторые философские проблемы с точки зрения искусственного интеллекта на Wayback Machine (архивировано 25 августа 2013 г.). В Meltzer, B., and Michie, D., eds., Machine Intelligence 4. Edinburgh: Edinburgh University Press. 463-502.
  • Маккарти, Дж. 1977. "Эпистемологические проблемы искусственного интеллекта". В IJCAI , 1038-1044.
  • Маккарти, Дж (1980). «Обход: форма немонотонного рассуждения». Искусственный интеллект . 13 (1–2): 23–79. DOI : 10.1016 / 0004-3702 (80) 90011-9 .
  • Маккарти, Дж (1986). «Приложения ограничения к рассуждению здравого смысла». Искусственный интеллект . 28 (1): 89–116. CiteSeerX  10.1.1.29.5268 . DOI : 10.1016 / 0004-3702 (86) 90032-9 .
  • Маккарти, Дж. 1990. «Универсальность в искусственном интеллекте». В Лифшиц, В., изд., Формализация здравого смысла . Ablex. 226-236.
  • Маккарти, Дж. 1993. «Заметки о формализации контекста». В IJCAI , 555-562.
  • Маккарти, Дж. И Бувац, С. 1997. «Формализация контекста: расширенные примечания». В Алиседе, А .; van Glabbeek, R .; and Westerstahl, D., eds., Computing Natural Language . Стэндфордский Университет. Также имеется в виде Стэнфордской технической записки STAN-CS-TN-94-13.
  • Маккарти, Дж. 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.

См. Также [ править ]

  • Кристофер Стрейчи , в начале 1959 г. подал патент на разделение времени.
  • Рог изобилия
  • Проблема с рамой
  • Список пионеров информатики
  • Коток-Маккарти
  • Функция Маккарти 91
  • Формализм маккарти
  • Ватсон (компьютер)

Ссылки [ править ]

  1. ^ Беседы на переднем крае знаний и открытий , с Джеффри Mishlove
  2. ^ Маккарти, Джон. «Профессор Джон Маккарти» . jmc.stanford.edu .
  3. ^ "Джон Маккарти - лауреат премии AM Тьюринга" . amturing.acm.org .
  4. ^ Шаша, Деннис; Лазер, Кэти (1998). Из их разума: жизни и открытия 15 великих ученых-компьютерщиков . Springer . п. 23. ISBN 9780387982694. Проверено 27 февраля 2016 года .
  5. ^ «Ведущий академик, придумавший термин« искусственный интеллект » » . The Irish Times . Проверено 28 января, 2016 .
  6. ^ «История компьютеров и вычислительной техники, рождение современного компьютера, история программного обеспечения, LISP Джона Маккарти» . history-computer.com . Проверено 28 января, 2016 .
  7. ^ a b c Ву, Элейн (28 октября 2011 г.). «Джон Маккарти умирает в возрасте 84 лет; отец искусственного интеллекта» . Лос-Анджелес Таймс .
  8. ^ Хейс, Патрик Дж .; Моргенштерн, Леора (2007). «К 80-летию со дня рождения Джона Маккарти в честь его вклада» . Журнал AI . Ассоциация развития искусственного интеллекта . 28 (4): 93–102 . Проверено 24 ноября 2010 года .
  9. ↑ Уильямс, Сэм (5 марта 2002 г.). Аргументируя ИИ: Битва за науку двадцать первого века . Наугад. ISBN 978-0812991802.
  10. ^ Лестер Эрнест. «Премия AM Тьюринга: Джон Маккарти, США - 1971» . ACM . Проверено 5 сентября 2012 года .
  11. ^ Маккарти, Джон (1951). Проекционные операторы и уравнения в частных производных .
  12. ^ Стивен Леви, Хакеры, Герои компьютерной революции , Gutenberg.org, стр. 34
  13. ^ a b Робертс, Джейкоб (2016). «Мыслительные машины: поиски искусственного интеллекта» . Дистилляции . 2 (2): 14–23. Архивировано из оригинального 19 августа 2018 года . Проверено 20 марта 2018 года .
  14. ^ Маккарти, Джон (1960). «Рекурсивные функции символьных выражений и их машинное вычисление». Коммуникации ACM . 3 (4): 184–195. CiteSeerX 10.1.1.422.5235 . DOI : 10.1145 / 367177.367199 . S2CID 1489409 .  
  15. ^ Маккарти, Джон (август 1959). "Письмо редактору". Коммуникации ACM . 2 (8): 2–3. DOI : 10.1145 / 368405.1773349 . S2CID 7196706 . 
  16. ^ Jeuring, Йохан; Меертенс, Ламберт ; Гуттманн, Вальтер (17 августа 2016 г.). «Профиль Рабочей группы 2.1 ИФИП» . Фосвики . Проверено 4 октября 2020 года .
  17. ^ Swierstra, Doaitse; Гиббонс, Джереми ; Меертенс, Ламберт (2 марта 2011 г.). "ScopeEtc: IFIP21: Foswiki" . Фосвики . Проверено 4 октября 2020 года .
  18. ^ «Рекурсивные функции символьных выражений и их машинное вычисление» . Коммуникации ACM. Апрель 1960 . Проверено 29 марта 2009 года .
  19. ^ "Рекурсивные функции символьных выражений и их вычисление машиной, Часть I" . Архивировано из оригинала на 4 октября 2013 года . Проверено 24 ноября 2013 года .
  20. Перейти ↑ Garfinkel, Simson (1999). Абельсон, Хэл (ред.). Архитекторы информационного общества, тридцать пять лет лаборатории информатики Массачусетского технологического института . Кембридж: MIT Press. п. 1. ISBN 978-0-262-07196-3.
  21. ↑ Маккарти, Джон (31 июля 1994 г.). «Короткий космический мост» . sci.space.tech новостей Usenet сообщений . Группы Google.
  22. ↑ Маккарти, Джон (4 февраля 1995 г.). «Прогресс и его устойчивость» . form.stanford.edu. Архивировано из оригинала на 4 октября 2013 года . Проверено 24 ноября 2013 года .
  23. ^ «Тот, кто отказывается заниматься арифметикой, обречен на бессмыслицу» (поиск в группе новостей Usenet sci.environment).
  24. ^ "Джон Маккарти, 84 года, умер; пионер компьютерного дизайна" . Нью-Йорк Таймс . 26 октября 2011 г.
  25. ^ «Дерево студентов Джона Маккарти для выставок компьютерной истории» . infolab.Stanford.edu. 21 апреля 2012 года архивации с оригинала на 2 декабря 2013 года . Проверено 24 ноября 2013 года .
  26. ↑ Маккарти, Джон (28 июня 2001 г.). «Робот и младенец» . form.stanford.edu. Архивировано из оригинала на 4 октября 2013 года . Проверено 24 ноября 2013 года .
  27. ^ Томсон, Бочка J. (26 октября 2011). «Смерть НАСТОЯЩИХ технологических новаторов Д. Ричи и Дж. Маккарти - все же смерть Стива Джобса затмевает все» . Блог WordsWithMeaning .
  28. ^ Markoff, Джон (25 октября 2011). «Джон Маккарти, 84 года, умер; пионер компьютерного дизайна» . Нью-Йорк Таймс .
  29. ^ "Биография Кэролайн Талкотт" . Стэнфордский университет . Архивировано из оригинала на 2 декабря 2013 года .
  30. ^ «О Джоне Маккарти» . Стэндфордский Университет. Архивировано из оригинала на 4 октября 2013 года . Проверено 1 февраля 2013 года .
  31. ↑ Маккарти, Джон (7 марта 2003 г.). «Комментарий о мире, США и науке» . Стэндфордский Университет. Архивировано из оригинала на 4 октября 2013 года . Проверено 1 февраля 2013 года . Кстати я атеист.
  32. ^ Эрнест, Лес. «Биографии Джона Маккарти» . Стэнфордский университет . Проверено 14 февраля 2016 года .
  33. ↑ Майерс, Эндрю (25 октября 2011 г.). «Стэнфордский Джон Маккарти, выдающийся деятель искусственного интеллекта, умер в возрасте 84 лет» . Новости Стэнфордского университета . Проверено 26 октября 2011 года .
  34. ^ Маккарти, Дж. (1979) Приписывание умственных качеств машинам. В кн .: Философские перспективы в искусственном интеллекте, под ред. М. Рингл. Атлантик-Хайлендс, Нью-Джерси: Humanities Press.
  35. ^ Сирл, Джон R (1980). «Умы, мозги и программы» (PDF) . Поведенческие науки и науки о мозге . 3 (3): 417–457. DOI : 10.1017 / s0140525x00005756 .
  36. ^ "Национальная медаль президента науки: Сведения о получателе 1990" . Национальный фонд науки. 14 февраля 2006 . Проверено 27 сентября 2012 года .
  37. ^ CHM. «Джон Маккарти - обладатель премии стипендиата CHM» . Архивировано из оригинала 3 апреля 2015 года . Проверено 30 марта 2015 года .[1]
  38. ^ "Зал славы AI" (PDF) . Интеллектуальные системы IEEE . 26 (4): 5–15. 2011. doi : 10.1109 / MIS.2011.64 .
  39. ^ "Журнал компьютерного общества IEEE награждает лидеров искусственного интеллекта" . DigitalJournal.com . 24 августа 2011 . Проверено 18 сентября 2011 года .Источник пресс-релиза: PRWeb ( Vocus ).
  40. ↑ Беккет, Джейми (2 декабря 2012 г.). «Стэнфордская инженерная школа называет новых инженерных героев» . Стэнфордские новости . Проверено 2 декабря 2012 года .

Дальнейшее чтение [ править ]

  • Филип Дж. Хилтс, Научные темпераменты: три жизни в современной науке , Саймон и Шустер, 1982. Подробные профили Джона Маккарти, физика Роберта Р. Уилсона и генетика Марка Пташна.
  • Памела МакКордак , Машины, которые думают: личное исследование истории и перспектив искусственного интеллекта , 1979 г., второе издание 2004 г.
  • Памела Вайнтрауб, редактор, Omni Interviews , Нью-Йорк: Тикнор и Филдс, 1984. Сборник интервью, первоначально опубликованных в журнале Omni ; содержит интервью с Маккарти.

Внешние ссылки [ править ]

  • Стэнфордская домашняя страница Маккарти в Wayback Machine (архивировано 11 октября 2013 г.).
  • Джон Маккарти на сервере библиографии DBLP
  • Джон Маккарти в проекте « Математическая генеалогия»
  • Джон Маккарти в проекте AI Genealogy Project.
  • Празднование достижений Джона Маккарти в Стэнфордском университете .
  • Интервью с Гаем Стилом на OOPSLA 2008; Набор интервью:
  • Устное интервью истории с Джоном Маккарти в Институте Чарльза Бэббиджа , Университет Миннесоты, Миннеаполис. Маккарти обсуждает свою роль в развитии разделения времени в Массачусетском технологическом институте. Он также описывает свою работу в области искусственного интеллекта (ИИ), финансируемую Агентством перспективных исследовательских проектов, в том числе ИИ на основе логики (Lisp) и робототехнику.
  • Устное интервью истории с Марвином Мински в Институте Чарльза Бэббиджа, Университет Миннесоты, Миннеаполис. Мински описывает исследования искусственного интеллекта (ИИ) в Массачусетском технологическом институте (MIT), включая работу Джона Маккарти.
  • Устное интервью истории с Джеком Б. Деннисом в Институте Чарльза Бэббиджа, Миннесотский университет, Миннеаполис. Деннис обсуждает работу Джона Маккарти по разделению времени и влияние Управления методов обработки информации DARPA на развитие разделения времени.
  • Устное историческое интервью с Фернандо Дж. Корбато в Институте Чарльза Бэббиджа, Университет Миннесоты, Миннеаполис. Корбато обсуждает исследования в области компьютерных наук, особенно разделение времени, в Массачусетском технологическом институте (MIT), включая Джона Маккарти, и исследования разделения времени.
  • Джон Маккарти в книге " Найди могилу"
  • Биографические воспоминания Национальной академии наук
Предшественник
Люси Сачман		Медаль Бенджамина Франклина в области компьютерных и когнитивных наук
2003		Преемник
Ричард М. Карп