stringtranslate.com

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

Джон Маккарти (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] Затем он стал участвовать в разработке международных стандартов в области программирования и информатики, будучи членом рабочей группы 2.1 IFIP Международной федерации обработки информации (IFIP) по алгоритмическим языкам и исчислениям, [18] которая определяла , поддерживает и поддерживает ALGOL. 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] не соглашаясь с Маккарти и заняв позицию, согласно которой машины не могут иметь убеждения просто потому, что они не обладают сознанием. Сирл утверждает, что машинам не хватает интенциональности . Огромное количество литературы [ нужен пример ] было написано в поддержку той или иной стороны.

Награды и отличия

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

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

Рекомендации

  1. ↑ Мишлов, Джеффри (3 ноября 2011 г.). Джон Маккарти (1927-2011): Искусственный интеллект (полностью) – мышление разрешено. YouTube видео). Архивировано из оригинала 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. ↑ abc Woo, Элейн (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. ^ Аб Робертс, Джейкоб (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 г.). «Область применения: 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 sci.environment).
  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] Архивировано 3 апреля 2015 г. в Wayback Machine.
  43. ^ «Зал славы ИИ» (PDF) . Интеллектуальные системы IEEE . 26 (4): 5–15. 2011. дои : 10.1109/MIS.2011.64. Архивировано из оригинала (PDF) 16 декабря 2011 года . Проверено 4 сентября 2015 г.
  44. ↑ Беккет, Джейми (2 декабря 2012 г.). «Стэнфордская инженерная школа называет новых инженерных героев». Стэнфордские новости . Проверено 2 декабря 2012 г.

дальнейшее чтение

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

Викискладе есть медиафайлы, связанные с Джоном Маккарти .
В Wikiquote есть цитаты, связанные с Джоном Маккарти .