Введение

Джон Маккарти (John McCarthy; 4 сентября 1927 – 24 октября 2011) – американский ученый, специалист в области компьютерных наук и когнитивной науки. Он был одним из основателей дисциплины искусственного интеллекта. Он был соавтором документа, в котором впервые был использован термин «искусственный интеллект» (ИИ), разработал семейство языков программирования Lisp, оказал значительное влияние на разработку языка ALGOL, популяризировал технологию разделения времени и изобрел сборку мусора. Маккарти провел большую часть своей карьеры в Стэнфордском университете. Он был удостоен множества наград и премий, включая Премию Тьюринга 1971 года за вклад в развитие ИИ, Национальную медаль науки США и Киотскую премию.

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

Джон Маккарти родился в Бостоне, штат Массачусетс, 4 сентября 1927 года в семье ирландского иммигранта, отца, и литовской еврейской иммигрантки, матери, Джона Патрика и Иды (Глатт) Маккарти. Во время Великой депрессии семье приходилось часто переезжать, пока отец Маккарти не нашёл работу организатором в Объединённом профсозе работников швейной промышленности в Лос-Анджелесе, штат Калифорния. Его отец родом из Кромана, небольшой рыбацкой деревни в графстве Керри, Ирландия. Мать умерла в 1957 году. Оба родителя были активными членами Коммунистической партии в 1930-х годах и поощряли обучение и критическое мышление. До поступления в старшую школу Маккарти заинтересовался наукой, прочитав перевод книги «100 000 почему», популярной русской научно-популярной книги для детей. Он свободно владел русским языком и подружился с советскими учёными во время нескольких поездок в Советский Союз, но отдалился после посещения стран Восточного блока, что привело к его переходу к консервативным республиканским взглядам. Маккарти окончил старшую школу Белмонт на два года раньше и был принят в Калифорнийский технологический институт (Калтех) в 1944 году. Он проявил ранние способности к математике; в подростковом возрасте он самостоятельно изучал математику университетского уровня, используя учебники, применяемые в соседнем Калифорнийском технологическом институте. Благодаря этому он смог пропустить первые два года математического курса в Калтеке. Он был отстранён от учёбы в Калтеке за пропуск занятий по физической культуре. Затем он служил в армии США и был восстановлен, получив степень бакалавра математики в 1948 году. Именно в Калтеке он посетил лекцию Джона фон Неймана, которая вдохновила его на будущие исследования. Маккарти завершил обучение в аспирантуре в Калифорнийском технологическом институте, после чего перешёл в Принстонский университет, где в 1951 году получил докторскую степень по математике, защитив диссертацию «Проекционные операторы и частные дифференциальные уравнения» под руководством Дональда С. Спенсера.

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

После краткосрочных стажировок в Принстонском и Стэнфордском университетах, Маккарти в 1955 году стал ассистент-профессором в Дартмуте. Год спустя, осенью 1956 года, он перешел в МТИ в качестве научного сотрудника. К концу работы в МТИ студенты уже ласково называли его "дядей Джоном". В 1962 году он стал полным профессором в Стэнфорде, где и оставался до выхода на пенсию в 2000 году. Маккарти поддерживал развитие таких математических дисциплин, как лямбда-исчисление, и разработал логические системы для реализации здравого смысла в искусственном интеллекте.

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

Джон Маккарти является одним из "отцов-основателей" искусственного интеллекта, наряду с Аланом Тьюрингом, Марвином Мински, Алленом Ньюэллом и Гербертом А. Саймоном. Маккарти, Мински, Натаниэль Рочестер и Клод Э. Шеннон предложили термин "искусственный интеллект" в предложении, которое они написали для знаменитой Дартмутской конференции летом 1956 года. Эта конференция положила начало развитию ИИ как области знаний. (Мински позже присоединился к Маккарти в МТИ в 1959 году.) В 1958 году он предложил систему "советчик", которая вдохновила последующие работы по поиску ответов на вопросы и логическому программированию. В конце 1950-х годов Маккарти обнаружил, что примитивные рекурсивные функции могут быть расширены для работы с символическими выражениями, что привело к созданию языка программирования Lisp. Эта основополагающая работа по функциональному программированию также представила лямбда-нотацию, заимствованную из синтаксиса лямбда-исчисления, на основе которой позднее строилась семантика таких диалектов, как Scheme. Lisp вскоре стал языком программирования по умолчанию для приложений ИИ после публикации в 1960 году. В 1958 году Маккарти вошел в состав специального комитета Ассоциации вычислительной техники по языкам, который впоследствии стал частью комитета, разработавшего ALGOL 60. В августе 1959 года он предложил использовать рекурсию и условные выражения, которые были включены в ALGOL. Затем он занялся разработкой международных стандартов в области программирования и информатики, став членом Рабочей группы 2.1 по алгоритмическим языкам и вычислениям Международной федерации по обработке информации (IFIP), которая определяет, поддерживает и развивает стандарты ALGOL 60 и ALGOL 68. Около 1959 года он изобрел так называемые методы "сбора мусора" – разновидность автоматического управления памятью – для решения проблем в Lisp. Во время работы в MIT он способствовал созданию проекта MAC, а в Стэнфордском университете помог основать Стэнфордскую лабораторию искусственного интеллекта, которая на протяжении многих лет являлась дружественным соперником проекта MAC. Маккарти сыграл ключевую роль в создании трех первых систем разделения времени (Compatible Time Sharing System, BBN Time Sharing System и Dartmouth Time Sharing System). Его коллега Лестер Эрнест рассказал Los Angeles Times:

"Интернет не появился бы так быстро, если бы не то, что Джон начал разработку систем разделения времени. Мы постоянно придумываем новые названия для разделения времени. Сначала это были серверы, а теперь – облачные вычисления. Но это по-прежнему просто разделение времени. Джон положил начало этому. Идея компьютерной или информационной утилиты была очень популярна в конце 1960-х годов, но к середине 1990-х годов утратила актуальность. Однако с 2000 года эта идея возродилась в новых формах (см. поставщик приложений, вычислительные сети и облачные вычисления). В 1966 году Маккарти и его команда в Стэнфорде написали компьютерную программу, которая использовалась для игры в серию шахматных партий с советскими коллегами; команда Маккарти проиграла две партии и сыграла вничью две (см. Kotok McCarthy). С 1978 по 1986 год Маккарти разрабатывал метод обхода немонотонного рассуждения. В 1982 году ему, по-видимому, пришла в голову идея космического фонтана – типа башни, простирающейся в космос и удерживаемой вертикально внешней силой потока гранул, выбрасываемых с Земли по некоему конвейеру, который возвращает гранулы обратно на Землю. Полезные грузы поднимались бы по этому конвейеру."

Прочая деятельность

Маккарти часто комментировал мировые события на форумах Usenet. Некоторые из его идей можно найти на его веб-странице, посвященной устойчивому развитию, которая "направлена на то, чтобы показать, что человеческий материальный прогресс желателен и устойчив". Маккарти был заядлым читателем, оптимистом и твердым сторонником свободы слова. Лучшие примеры его дискуссий в Usenet можно найти в архивах rec.arts.books. Он активно посещал встречи читателей r.a.b. в районе залива Сан-Франциско, в Пало-Альто, известные как rab fests. Он также выступал в защиту свободы слова, критикуя европейские этнические шутки в Стэнфорде. Маккарти осознавал важность математики и математического образования. На протяжении многих лет его подпись в Usenet гласила: "Тот, кто отказывается от арифметики, обречен говорить бессмыслицу"; на обложке его номерного знака было написано, в том же духе: "Реши задачу по арифметике, иначе будешь обречен говорить бессмыслицу". Он руководил диссертациями 30 аспирантов. Его рассказ 2001 года "Робот и младенец" в сатирической форме исследовал вопрос о том, должны ли роботы обладать (или имитировать) эмоции, и предсказал некоторые аспекты интернет-культуры и социальных сетей, которые стали особенно заметными в последующие десятилетия.

Личная жизнь

Маккарти был женат трижды. Его второй женой была Вера Уотсон, программист и альпинистка, погибшая в 1978 году при попытке восхождения на Аннапурну I Центральную в составе чисто женской экспедиции. Позже он женился на Кэролин Талкотт, специалисте по компьютерным наукам из Стэнфорда, а затем из SRI International. Маккарти заявил о своей атеистичности в речи об искусственном интеллекте в Стэнфордской мемориальной церкви. Выросший в семье коммуниста, он стал консервативным республиканцем после посещения Чехословакии в 1968 году, после советского вторжения. Он умер у себя дома в Стэнфорде 24 октября 2011 года.

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

Маккарти, Дж. 1959. В материалах Тэддингтонской конференции по механизации мыслительных процессов, 756–91. Лондон: Издательство Ее Величества. Маккарти, Дж. 1960. Communications of the ACM 3(4):184–195. Маккарти, Дж. 1963a. "Основа для математической теории вычислений". В книге "Компьютерное программирование и формальные системы". North Holland. Маккарти, Дж. 1963b. Ситуации, действия и законы причинности. Технический отчет, Стэнфордский университет. Маккарти, Дж., и Хейс, П. Дж. 1969. В: Meltzer, B., и Michie, D., eds., Machine Intelligence 4. Эдинбург: Издательство Эдинбургского университета, 463–502. Маккарти, Дж. 1977. "Эпистемологические проблемы искусственного интеллекта". В: IJCAI, 1038–1044. Маккарти, Дж. 1990. "Общность в искусственном интеллекте". В: Lifschitz, V., ed., Formalizing Common Sense. Ablex, 226–236. Маккарти, Дж. 1993. "Заметки о формализации контекста". В: IJCAI, 555–562. Маккарти, Дж., и Бувак, С. 1997. "Формализация контекста: расширенные заметки". В: Aliseda, A.; van Glabbeek, R.; и Westerstahl, D., eds., Computing Natural Language. Стэнфордский университет. Также доступно как техническая записка Стэнфорда STAN CS TN 94-13. Маккарти, Дж. 1998. "Допустимость детализации". В материалах Четвертого международного симпозиума по логической формализации здравого смысла, Commonsense 1998. Костелло, Т., и Маккарти, Дж. 1999. "Полезные контрфакты". Electronic Transactions on Artificial Intelligence 3(A):51–76. Маккарти, Дж. 2002. "Действия и другие события в исчислении ситуаций". В: Fensel, D.; Giunchiglia, F.; McGuinness, D.; и Williams, M., eds., Proceedings of KR 2002, 615–628.