Джон Маккарти (специалист по информатике)

редактировать
Американский ученый-компьютерщик и когнитивист

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

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

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

Содержание

  • 1 Ранняя жизнь и образование
  • 2 Академическая карьера
  • 3 Вклад в информатику
  • 4 Другая деятельность
  • 5 Личная жизнь
  • 6 Философия искусственного интеллекта
  • 7 Награды и награды
  • 8 Основные публикации
  • 9 См. также
  • 10 Ссылки
  • 11 Дополнительная литература
  • 12 Внешние ссылки

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

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

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

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

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

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

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

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

Год спустя Маккарти перешел в Массачусетский технологический институт научным сотрудником осенью 1956.

В 1962 году Маккарти стал полноправным профессором в Стэнфорде, где он оставался до выхода на пенсию в 2000 году. К концу его первых дней в Массачусетском технологическом институте его студенты уже ласково называли «дядей Джоном».

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

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

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

Джон Маккарти является одним из «отцов-основателей» искусственного интеллекта вместе с Аланом Тьюрингом, Марвином Мински, Аллен Ньюэлл и Герберт А. Саймон. Маккарти, Мински, Натаниэль Рочестер и Клод Э. Шеннон придумали термин «искусственный интеллект» в предложении, которое они написали для знаменитой Дартмутской конференции летом 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 году он, кажется, положил начало идее космического фонтана., тип башни, простирающейся в космос и удерживаемой в вертикальном положении за счет внешней силы потока гранул, движущихся с Земли по своего рода конвейерной ленте, которая возвращает гранулы на Землю. Полезные грузы будут перемещаться по конвейерной ленте вверх.

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

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

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

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

Личная жизнь

Маккарти был женат трижды. Его второй женой была Вера Уотсон, программист и альпинист, которая умерла в 1978 году, пытаясь масштабировать Центральную Аннапурну как часть. Позже он женился на Кэролин Талкотт, ученом-информатике из Стэнфорда, а позже в 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 «Основа математической теории вычислений». В компьютерном программировании и формальных системах. Северная Голландия.
  • McCarthy, J. 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.
  • McCarthy, J (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.
  • 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.

См. также

  • Портал биографии

Ссылки

Дополнительная литература

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

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

На Викискладе есть средства массовой информации, связанные с Джоном Маккарти.
Викицитатник содержит цитаты, связанные с: Джоном Маккарти
, предшествовавшие. Люси Сучман Медаль Бенджамина Франклина в области компьютерных и когнитивных наук . 2003Преемник. Ричард М. Карп
Последняя правка сделана 2021-05-24 13:46:56
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте