Джон Маккарти

Джон Маккарти (англ. John McCarthy; 4 сентября 1927, Бостон, Массачусетс — 24 октября 2011, Стэнфорд, Калифорния) — американский учёный в области информатики, один из основоположников искусственного интеллекта, создатель языка программирования Лисп (Lisp) и лауреат Премии Тьюринга (1971). Маккарти ввёл в научный обиход сам термин «искусственный интеллект» (artificial intelligence) в 1956 году при организации знаменитой Дартмутской конференции, которая считается отправной точкой развития этой дисциплины.

Биография

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

Джон Маккарти родился в семье ирландских иммигрантов. Его отец, Джон Патрик Маккарти, был профсоюзным активистом и рыбаком, мать, Айда Глатт, работала журналисткой. Семья часто переезжала, и юный Маккарти сменил несколько школ. Он рано проявил выдающиеся математические способности: самостоятельно изучал высшую математику по учебникам колледжа, а в 1944 году, в возрасте 16 лет, поступил в Калифорнийский технологический институт (Калтех). Первые два курса Маккарти был освобождён от обязательных занятий по математике, что позволило ему углублённо заниматься физикой и инженерными дисциплинами.

В 1948 году он получил степень бакалавра по математике, а в 1951 году — докторскую степень (Ph.D.) по математике в Принстонском университете. Его диссертация была посвящена проекту «Project Euclid» — задаче о представлении математических знаний в виде, пригодном для автоматического доказательства теорем. Уже в этот период Маккарти заинтересовался возможностью создания «думающих машин».

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

После защиты диссертации Маккарти работал в Принстонском университете (1951–1955), затем в Дартмутском колледже (1955–1957) и в Массачусетском технологическом институте (МТИ, 1957–1962). В МТИ он совместно с Марвином Мински основал Лабораторию искусственного интеллекта (MIT AI Lab), которая стала одним из ведущих мировых центров по изучению ИИ.

В 1962 году Маккарти перешёл в Стэнфордский университет, где проработал до выхода на пенсию в 2000 году. В Стэнфорде он основал Стэнфордскую лабораторию искусственного интеллекта (SAIL). Под его руководством лаборатория занималась широким спектром проблем: от робототехники и компьютерного зрения до логического программирования и теории вычислений. Маккарти оставался активным исследователем до конца жизни, продолжая публиковать статьи и участвовать в научных дискуссиях.

Вклад в науку

Термин «искусственный интеллект»

В 1955 году Маккарти, совместно с Марвином Мински, Натаниэлем Рочестером и Клодом Шенноном, подготовил заявку на проведение летнего исследовательского семинара в Дартмутском колледже. В заявке впервые был использован термин «искусственный интеллект» (artificial intelligence) для описания цели семинара: «заставить машину вести себя так, чтобы это поведение можно было назвать разумным, если бы оно было проявлено человеком». Дартмутская конференция (июнь–август 1956 года) собрала ведущих учёных того времени и заложила основы новой научной дисциплины. Сам Маккарти впоследствии объяснял, что выбрал этот термин, чтобы избежать ассоциаций с кибернетикой Норберта Винера (которая делала акцент на обратной связи) и с теорией автоматов.

Язык программирования Лисп (Lisp)

В 1958 году Маккарти разработал язык программирования Лисп (Lisp, от LISt Processing — обработка списков). Лисп стал вторым после Фортрана языком программирования высокого уровня и первым языком, ориентированным на символьные вычисления, а не на численные. Ключевые особенности Лиспа:

• Списки как основная структура данных: программы и данные в Лиспе представлены в виде списков, что делает язык чрезвычайно гибким для обработки символьной информации.
• Автоматическое управление памятью (сборка мусора): Маккарти ввёл в Лисп механизм автоматического освобождения неиспользуемой памяти, что стало революцией для своего времени и предвосхитило современные языки (Java, C#, Python).
• Функциональная парадигма: Лисп поддерживал функции как объекты первого класса, что позволяло передавать функции в качестве аргументов и возвращать их из других функций.
• Макросы: возможность расширять синтаксис языка самим программистом.

Лисп оказал огромное влияние на развитие информатики: он стал основным языком для исследований в области искусственного интеллекта на протяжении 1960–1980-х годов. На Лиспе были написаны такие системы, как программы автоматического доказательства теорем, экспертные системы (например, MYCIN) и ранние системы обработки естественного языка.

Вклад в теорию вычислений и логику

Маккарти внёс фундаментальный вклад в несколько областей теоретической информатики:

• Временное исчисление (Temporal Logic): в 1960-х годах он разработал формальную логику для рассуждений о времени и действиях, что стало основой для планирования в ИИ.
• Ситуационное исчисление (Situation Calculus): формальная модель для описания изменений в мире в результате выполнения действий. Эта модель используется в робототехнике и планировании.
• Теория контекстов: Маккарти предложил формальный аппарат для представления контекста в логике, что важно для понимания естественного языка и разрешения неоднозначностей.
• Логика умолчаний (Default Logic): в 1980 году он ввёл понятие немонотонной логики — логики, в которой выводы могут быть отменены при поступлении новой информации. Это позволило моделировать «здравый смысл» человека.

Проект «Система с разделением времени» (CTSS)

В начале 1960-х годов в МТИ Маккарти был одним из пионеров концепции разделения времени (time-sharing). Он предложил идею, при которой один мощный компьютер обслуживает множество пользователей одновременно, быстро переключаясь между ними. Под его руководством была разработана ранняя версия системы CTSS (Compatible Time-Sharing System), которая позволила нескольким программистам работать на одной машине через удалённые терминалы. Эта концепция стала предшественницей современных операционных систем и облачных вычислений.

Другие достижения

• Первый шахматный матч между компьютером и человеком: в 1966 году Маккарти организовал матч между своей шахматной программой (работавшей на компьютере IBM 7090) и гроссмейстером Дэвидом Бронштейном. Хотя программа проиграла, это был один из первых публичных экспериментов по игре компьютера в шахматы.
• Публикация «Программирование на Лиспе» (1962): первый учебник по языку Лисп, который стал стандартным справочником для поколений программистов.
• Работа по автоматическому планированию: его алгоритмы планирования (например, система STRIPS) легли в основу многих современных систем управления роботами.

Награды и признание

• Премия Тьюринга (1971) — высшая награда в области информатики — за «глубокое влияние на область искусственного интеллекта, включая создание языка Лисп и разработку теории разделения времени».
• Национальная медаль науки США (1990) — за вклад в фундаментальные основы информатики.
• Премия Киото (1988) — за достижения в области передовых технологий.
• Член Национальной академии наук США (1989) и Национальной инженерной академии США (1987).
• Почётные докторские степени многих университетов, включая Стэнфордский, Гарвардский и Эдинбургский.

Критика и споры

Несмотря на огромный вклад, взгляды Маккарти на искусственный интеллект подвергались критике. Он был убеждённым сторонником символьного подхода к ИИ (логицизма), полагая, что разум можно моделировать исключительно с помощью формальных символов и правил их преобразования. Этот подход доминировал в 1960–1970-х годах, но к 1980-м годам столкнулся с серьёзными трудностями: системы не справлялись с задачами, требующими «здравого смысла» и обучения на больших объёмах данных. Возникновение альтернативных направлений — нейронных сетей (коннекционизм) и вероятностных методов — поставило под сомнение универсальность подхода Маккарти. Сам он скептически относился к нейросетям, считая их «неинтеллектуальными» и неспособными к логическим рассуждениям.

Также Маккарти был известен своими неоднозначными политическими взглядами. Он выступал против государственного регулирования науки, поддерживал идеи либертарианства и скептически относился к социальным программам. В 2000-х годах он публично критиковал концепцию «сильного ИИ» (strong AI) и утверждал, что машины никогда не смогут обладать сознанием в человеческом смысле.

Наследие

Джон Маккарти считается одним из «отцов-основателей» искусственного интеллекта. Его идеи — от термина «ИИ» до языка Лисп и логического программирования — продолжают оказывать влияние на современные технологии. Лисп остаётся востребованным в академической среде и в некоторых специализированных областях (например, в Emacs Lisp, AutoLISP). Концепции разделения времени и облачных вычислений, которые он предвосхитил, стали основой современной IT-инфраструктуры. Его работы по немонотонной логике и рассуждениям о действиях используются в современных системах планирования и робототехнике.

Источники

• McCarthy, J. (1960). Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I. Communications of the ACM.
• McCarthy, J. (1980). Circumscription — A Form of Non-Monotonic Reasoning. Artificial Intelligence.
• McCarthy, J., & Hayes, P. J. (1969). Some Philosophical Problems from the Standpoint of Artificial Intelligence. Machine Intelligence.
• Russell, S., & Norvig, P. (2020). Artificial Intelligence: A Modern Approach (4th ed.). Pearson.
• Crevier, D. (1993). AI: The Tumultuous History of the Search for Artificial Intelligence. Basic Books.
• John McCarthy: A Biographical Memoir by Edward A. Feigenbaum (National Academy of Sciences, 2013).