Джон Маккарти (ученый-компьютерщик)

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

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

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

Молодость образование и ​

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

Оба родителя были активными членами Коммунистической партии в 1930-е годы, и они поощряли обучение и критическое мышление. Прежде чем пойти в среднюю школу, Маккарти заинтересовался наукой, прочитав перевод 100 000 почему» . русской научно-популярной книги для детей « [7] Он свободно говорил по- русски и подружился с российскими учёными во время многочисленных поездок в Советский Союз , но дистанцировался после визитов в страны советского блока , что привело к тому, что он стал консервативным республиканцем . [8]

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

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

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

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

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

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

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

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

Маккарти отстаивал такую ​​математику, как лямбда-исчисление , и изобрел логику для достижения здравого смысла в искусственном интеллекте.

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

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

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

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

В конце 1950-х годов Маккарти обнаружил, что примитивно-рекурсивные функции можно расширить для вычислений с помощью символьных выражений, создав язык программирования Лисп . [16] В этой основополагающей статье по функциональному программированию также была представлена ​​лямбда-нотация, заимствованная из синтаксиса лямбда-исчисления , на котором основывалась его семантика более поздних диалектов, таких как Scheme . Lisp вскоре стал предпочтительным языком программирования для приложений искусственного интеллекта после его публикации в 1960 году.

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

Примерно в 1959 году он изобрел так называемые методы « сборки мусора » — своего рода автоматическое управление памятью , для решения проблем в Лиспе. [20] [21]

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

Маккарти сыграл важную роль в создании трех самых ранних систем разделения времени ( Совместимая система разделения времени , система разделения времени BBN и Дартмутская система разделения времени ). Его коллега Лестер Эрнест рассказал Los Angeles Times:

Интернет не появился бы так скоро, если бы не тот факт, что Джон инициировал разработку систем разделения времени. Мы продолжаем изобретать новые названия для разделения времени. Это стало называться серверами... Теперь мы называем это облачными вычислениями. Это все еще просто разделение времени. Джон начал это. [9]

— Элейн Ву

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

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

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

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

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

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

Маккарти видел важность математики и математического образования. Его Usenet подпись в течение многих лет гласила: «Тот, кто отказывается заниматься арифметикой, обречен говорить чепуху»; На обложке его номерного знака было написано: «Выполняйте арифметику, иначе будете обречены говорить чепуху». [27] [28] Он консультировал 30 аспирантов. [29]

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

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

Маккарти был женат трижды. Его второй женой была Вера Уотсон , программистка и альпинистка , которая погибла в 1978 году при попытке покорить Центральную Аннапурну в составе женской экспедиции . Позже он женился на Кэролайн Талкотт , ученом-компьютерщике из Стэнфорда, а затем из SRI International . [32] [33]

Маккарти объявил себя атеистом в речи об искусственном интеллекте в Стэнфордской мемориальной церкви . [34] [35] [36] Воспитанный как коммунист , он стал консервативным республиканцем после визита в Чехословакию в 1968 году после советского вторжения . [37] Он умер в своем доме в Стэнфорде 24 октября 2011 года. [38]

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

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

Награды и почести [ править ]

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

  • Маккарти, Дж. 1959. «Программы со здравым смыслом» в Wayback Machine (архивировано 4 октября 2013 г.). В материалах Теддингтонской конференции по механизации мыслительных процессов , 756–91. Лондон: Канцелярия Ее Величества.
  • Маккарти, Дж. 1960. «Рекурсивные функции символических выражений и их машинное вычисление» на Wayback Machine (архивировано 4 октября 2013 г.). Сообщения ACM 3(4):184-195.
  • Маккарти, Дж. 1963a «Основы математической теории вычислений». В области компьютерного программирования и формальных систем . Северная Голландия.
  • Маккарти, Дж. 1963b. Ситуации, действия и причинные законы. Технический отчет, Стэнфордский университет.
  • Маккарти Дж. и Хейс П.Дж. 1969. Некоторые философские проблемы с точки зрения искусственного интеллекта в Wayback Machine (архивировано 25 августа 2013 г.). Мельцер Б. и Мичи Д., ред., Machine Intelligence 4. Эдинбург: Издательство Эдинбургского университета. 463–502.
  • Маккарти, Дж. 1977. «Эпистемологические проблемы искусственного интеллекта». В IJCAI , 1038–1044 гг.
  • Маккарти, Дж (1980). «Ограничение: форма немонотонного рассуждения». Искусственный интеллект . 13 (1–2): 23–79. дои : 10.1016/0004-3702(80)90011-9 .
  • Маккарти, Дж (1986). «Применение ограничений к рассуждениям здравого смысла». Искусственный интеллект . 28 (1): 89–116. CiteSeerX   10.1.1.29.5268 . дои : 10.1016/0004-3702(86)90032-9 .
  • Маккарти, Дж. 1990. «Общие положения в области искусственного интеллекта». В изд. Лифшица В. «Формализация здравого смысла» . Алекс. 226–236.
  • Маккарти, Дж. 1993. «Заметки о формализации контекста». В IJCAI , 555–562.
  • Маккарти Дж. и Бувак С. 1997. «Формализация контекста: расширенные примечания». В Алиседа, А.; ван Глаббек, Р.; и Вестершталь, Д., ред., Вычисление естественного языка . Стэнфордский университет. Также доступно как Стэнфордское техническое примечание STAN-CS-TN-94-13.
  • Маккарти, Дж. 1998. «Толерантность к разработке». В рабочих документах Четвертого международного симпозиума по логическим формализациям здравого смысла , Commonsense-1998.
  • Костелло Т. и Маккарти Дж. 1999. «Полезные контрфакты». Электронные транзакции по искусственному интеллекту 3(A):51-76
  • Маккарти, Дж. 2002. «Действия и другие события в ситуационном исчислении». В Фензеле, Д.; Джунчилья, Ф.; МакГиннесс, Д.; и Уильямс, М., ред., Proceedings of KR-2002 , 615–628.

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

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

  1. ^ Мишлов, Джеффри (3 ноября 2011 г.). Джон Маккарти (1927-2011): Искусственный интеллект (полностью) – Мышление разрешено . Ютуб (видео). Архивировано из оригинала 24 марта 2013 года . Проверено 8 августа 2022 г. Также, с тем же названием . Архив призраков . Архивировано из оригинала 31 июля 2021 года . Проверено 8 августа 2022 г. {{cite AV media}}: CS1 maint: bot: исходный статус URL неизвестен ( ссылка )
  2. ^ Маккарти, Джон. «Профессор Джон Маккарти» . jmc.stanford.edu .
  3. ^ «Джон Маккарти – лауреат премии А.М. Тьюринга» . amturing.acm.org .
  4. ^ Шаша, Деннис; Лазер, Кэти (1998). Они сошли с ума: жизнь и открытия 15 великих ученых-компьютерщиков . Спрингер . п. 23. ISBN  9780387982694 . Проверено 27 февраля 2016 г.
  5. ^ «Ведущий учёный, придумавший термин «искусственный интеллект» » . Ирландские Таймс . Проверено 28 января 2016 г.
  6. ^ «История компьютеров и вычислительной техники, рождение современного компьютера, история программного обеспечения, LISP Джона Маккарти» . история-компьютер.com . Проверено 28 января 2016 г.
  7. ^ Нильссон, Нильс Дж. «Биографические мемуары» (PDF) . Национальная академия наук . Проверено 20 февраля 2022 г.
  8. ^ Эрнест, Лес. «Советский захват Чехословакии в 1968 году, засвидетельствованный Джоном Маккарти; письмо Лесу Эрнесту от 1 ноября 1968 года» (PDF) . Хвастовство и ошибки Лестера Дональда Эрнеста . Проверено 20 февраля 2022 г.
  9. ^ Jump up to: Перейти обратно: а б с Ву, Элейн (28 октября 2011 г.). «Джон Маккарти умирает в 84 года; отец искусственного интеллекта» . Лос-Анджелес Таймс .
  10. ^ Хейс, Патрик Дж.; Моргенштерн, Леора (2007). «К 80-летию Джона Маккарти, в честь его вклада» . Журнал ИИ . 28 (4). Ассоциация по развитию искусственного интеллекта : 93–102. Архивировано из оригинала 23 сентября 2011 года . Проверено 24 ноября 2010 г.
  11. ^ Уильямс, Сэм (5 марта 2002 г.). Спор об искусственном интеллекте: битва за науку двадцать первого века . В Случайном порядке. ISBN  978-0812991802 .
  12. ^ Лестер Эрнест. «Премия А. М. Тьюринга: Джон Маккарти, США – 1971» . АКМ . Проверено 5 сентября 2012 г.
  13. ^ Маккарти, Джон (1951). Операторы проектирования и уравнения в частных производных .
  14. ^ Стивен Леви, Хакеры, герои компьютерной революции , Gutenberg.org, стр. 34
  15. ^ Jump up to: Перейти обратно: а б Робертс, Джейкоб (2016). «Мыслящие машины: поиск искусственного интеллекта» . Дистилляции . 2 (2): 14–23. Архивировано из оригинала 19 августа 2018 года . Проверено 20 марта 2018 г.
  16. ^ Маккарти, Джон (1960). «Рекурсивные функции символьных выражений и их машинное вычисление». Коммуникации АКМ . 3 (4): 184–195. CiteSeerX   10.1.1.422.5235 . дои : 10.1145/367177.367199 . S2CID   1489409 .
  17. ^ Маккарти, Джон (август 1959 г.). «Письмо в редакцию». Коммуникации АКМ . 2 (8): 2–3. дои : 10.1145/368405.1773349 . S2CID   7196706 .
  18. ^ Журинг, Йохан; Меертенс, Ламберт ; Гутманн, Вальтер (17 августа 2016 г.). «Профиль Рабочей группы ИФИП 2.1» . Фосвики . Проверено 4 октября 2020 г.
  19. ^ Свирстра, немец; Гиббонс, Джереми ; Меертенс, Ламберт (2 марта 2011 г.). «ScopeEtc: IFIP21: Foswiki» . Фосвики . Проверено 4 октября 2020 г.
  20. ^ Маккарти, Джон (апрель 1960 г.). «Рекурсивные функции символьных выражений и их машинное вычисление» . Коммуникации АКМ . 3 (4): 184–195. дои : 10.1145/367177.367199 . S2CID   1489409 .
  21. ^ «Рекурсивные функции символьных выражений и их машинное вычисление, Часть I» . Архивировано из оригинала 4 октября 2013 года . Проверено 24 ноября 2013 г.
  22. ^ Гарфинкель, Симсон (1999). Абельсон, Хэл (ред.). Архитекторы информационного общества, тридцать пять лет Лаборатории компьютерных наук Массачусетского технологического института . Кембридж: MIT Press. п. 1. ISBN  978-0-262-07196-3 .
  23. ↑ Лекция под названием «Компьютерные системы с разделением времени» находится на стр. 220–248 в журнале «Менеджмент и компьютер будущего » (под редакцией Мартина Гринбергера), опубликованном в 1962 году, позже переизданном как «Компьютеры и мир будущего» (1965).
  24. ^ Маккарти, Джон (31 июля 1994 г.). «Короткометражка «Космический мост» . sci.space.tech групп новостей Usenet Сообщения . Группы Google.
  25. ^ Маккарти, Джон (4 февраля 1995 г.). «Прогресс и его устойчивость» . формальный.stanford.edu. Архивировано из оригинала 4 октября 2013 года . Проверено 24 ноября 2013 г.
  26. ^ Маккарти, Джон (12 мая 1997 г.). «Попытка цензуры электронных библиотек в Стэнфордском университете в 1989 году» . формальный.stanford.edu . Проверено 5 декабря 2023 г.
  27. ^ «Тот, кто отказывается заниматься арифметикой, обречен говорить чепуху» (группа новостей Usenet, поиск по научной среде).
  28. ^ «Умер Джон Маккарти, 84 года; пионер компьютерного дизайна» . Нью-Йорк Таймс . 26 октября 2011 г.
  29. ^ «Дерево студентов Джона Маккарти для выставки по истории компьютеров» . infolab.Stanford.edu. 21 апреля 2012. Архивировано из оригинала 2 декабря 2013 года . Проверено 24 ноября 2013 г.
  30. ^ Маккарти, Джон (28 июня 2001 г.). «Робот и ребенок» . формальный.stanford.edu. Архивировано из оригинала 4 октября 2013 года . Проверено 24 ноября 2013 г.
  31. ^ Томсон, Каск Дж. (26 октября 2011 г.). «Смерть НАСТОЯЩИХ технологических новаторов Д. Ричи и Дж. Маккарти – однако смерть Стива Джобса затмевает все» . Блог WordsWithMeaning . Архивировано из оригинала 26 апреля 2012 года.
  32. ^ Маркофф, Джон (25 октября 2011 г.). «Умер Джон Маккарти, 84 года; пионер компьютерного дизайна» . Нью-Йорк Таймс .
  33. ^ «Биография Кэролайн Талкотт» . Стэнфордский университет . Архивировано из оригинала 2 декабря 2013 года.
  34. ^ «Пионер компьютеров обсуждает атеизм и искусственный интеллект» . 23 января 2023 г.
  35. ^ «О Джоне Маккарти» . Стэнфордский университет. Архивировано из оригинала 4 октября 2013 года . Проверено 1 февраля 2013 г.
  36. ^ Маккарти, Джон (7 марта 2003 г.). «Комментарий к событиям мира, США и науки» . Стэнфордский университет. Архивировано из оригинала 4 октября 2013 года . Проверено 1 февраля 2013 г. Я, кстати, атеист.
  37. ^ Эрнест, Лес. «Биографии Джона Маккарти» . Стэнфордский университет . Проверено 14 февраля 2016 г.
  38. ^ Майерс, Эндрю (25 октября 2011 г.). «Джон Маккарти из Стэнфорда, выдающийся деятель искусственного интеллекта, умирает в возрасте 84 лет» . Новости Стэнфордского университета . Проверено 26 октября 2011 г.
  39. ^ Маккарти, Дж. (1979) Приписывание машинам умственных качеств. В: Философские перспективы искусственного интеллекта, под ред. М. Рингл. Атлантик-Хайлендс, Нью-Джерси: Humanities Press.
  40. ^ Сирл, Джон Р. (1980). «Умы, мозг и программы» (PDF) . Поведенческие и мозговые науки . 3 (3): 417–457. дои : 10.1017/s0140525x00005756 . S2CID   55303721 .
  41. ^ «Национальная медаль президента в области науки: сведения о получателе, 1990 г.» . Национальный научный фонд. 14 февраля 2006 года . Проверено 27 сентября 2012 г.
  42. ^ ЧМ. «Джон Маккарти – лауреат премии CHM Fellow Award» . Архивировано из оригинала 3 апреля 2015 года . Проверено 30 марта 2015 г. [1]
  43. ^ «Зал славы ИИ» (PDF) . Интеллектуальные системы IEEE . 26 (4): 5–15. 2011. дои : 10.1109/MIS.2011.64 . Архивировано из оригинала (PDF) 16 декабря 2011 года . Проверено 4 сентября 2015 г.
  44. ^ Беккет, Джейми (2 декабря 2012 г.). «Стэнфордская инженерная школа называет новых инженерных героев» . Стэнфордские новости . Проверено 2 декабря 2012 г.

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

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

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

Викискладе есть медиафайлы, связанные с Джоном Маккарти .
В Wikiquote есть цитаты, связанные с Джоном Маккарти .
Предшественник Медаль Бенджамина Франклина в области компьютерных и когнитивных наук
2003 		Преемник
Retrieved from "https://en.wikipedia.org/w/index.php?title=John_McCarthy_(computer_scientist)&oldid=1226327816"