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

Джон Маккарти
Джон Маккарти 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) был американским ученым-компьютерщиком и ученым-когнитивистом . Маккарти был одним из основоположников искусственного интеллекта . Он был соавтором документа, который ввел термин « искусственный интеллект » (AI), разработал семейство языков программирования Lisp , значительно повлиял на дизайн языка программирования ALGOL , популяризировал разделение времени и изобрел сборку мусора .

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

ранняя жизнь и образование

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

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

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

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

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

Академическая карьера

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

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

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

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

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

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

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

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

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

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

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

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

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

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

-  Ву, Элейн

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

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

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

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

Другие занятия

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

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

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

Личная жизнь

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

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

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

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

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

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

  • Маккарти, Дж. 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. «Толерантность к разработке». В рабочих статьях Четвертого Международного симпозиума по логическим формализациям здравого смысла , Здравый смысл-1998.
  • Костелло, Т., и Маккарти, Дж. 1999. «Полезные контрфакты». Электронные транзакции по искусственному интеллекту 3 (A): 51-76
  • Маккарти, Дж. 2002. «Действия и другие события в ситуационном исчислении». In Fensel, D .; Giunchiglia, F .; McGuinness, D .; and Williams, M., eds., Proceedings of KR-2002 , 615-628.

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

использованная литература

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

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

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

Предшествует
 Медаль Бенджамина Франклина в области компьютерных и когнитивных наук
2003 		Преемник