Джон Маккарти (англ. John McCarthy; 4 сентября 1927, Бостон — 24 октября 2011^[6][7][8], Стэнфорд) — американский информатик, автор термина «искусственный интеллект» (1956), изобретатель языка Лисп (1958), основоположник функционального программирования, лауреат премии Тьюринга (1971) за огромный вклад в область исследований искусственного интеллекта.

Член Национальной академии наук США (1989)^[9].

Откройте мир искусственного интеллекта с "Белоснежка | ChatGPT для всех" — сервисом, который делает взаимодействие с AI максимально доступным и удобным!

🚀 БЕЗ РЕГИСТРАЦИИ: Перейдите в Телеграм и погрузитесь в мир AI без лишних формальностей. Экономьте свое время на то, что действительно важно для вас!

📍 ДОСТУП В РОССИИ: Забудьте о VPN! Наш сервис работает в России без ограничений. Наслаждайтесь надежностью и комфортом "Белоснежка | ChatGPT для всех" уже сегодня.

🎙 УДОБНЫЙ ГОЛОСОВОЙ ВВОД: Оперативность и удобство — вот наши приоритеты. Говорите, и Белоснежка выполнит всё за вас!

👥 СПЕЦИАЛЬНО НАСТРОЕННЫЕ ПОМОЩНИКИ: Наши AI-помощники готовы к работе! Они помогут вам сосредоточиться и достичь новых высот в любой задаче.

🤖 ПРОДВИНУТЫЙ AI: Используйте нашу индивидуально настроенную платформу ChatGPT и откройте для себя всё многообразие искусственного интеллекта!

Не упустите шанс — присоединяйтесь к "Белоснежка | ChatGPT для всех" прямо сейчас и откройте для себя новые горизонты возможностей!

Биография

Родился в семье иммигрантов — ирландца Джона Патрика Маккарти и литовской еврейки Иды Глатт (1893—1957). Отец был профсоюзным деятелем, мать — журналисткой. Во время Великой депрессии семья была вынуждена часто менять место жительства, пока, наконец, отец Маккарти не нашёл работу в Лос-Анджелесе.

Рано проявил склонности к математике, в юности самостоятельно изучал её по университетским учебникам, которые использовались в расположенном неподалёку Калифорнийском технологическом институте. В результате, поступив в университет, смог сразу пропустить два первых года по математике^[10]. В 1948 году получил степень бакалавра математики в Калифорнийском технологическом институте, в 1951 году — степень Ph.D. по математике в Принстоне. После кратковременных должностей в Принстонском и Стэнфордском университетах, Дартмутском колледже и Массачусетском технологическом институте, стал профессором в Стэнфорде в 1962 году, где и оставался до ухода на пенсию в конце 2000 года.

Отстаивал использование математической логики для искусственного интеллекта. В 1958 году предложил систему «принятия советов», которая позже вдохновила работы по ответам на запросы и логическому программированию.

В том же году он разработал язык программирования Лисп^[11] и опубликовал его описание в журнале Communications of the ACM в апреле 1960 года^[12].

В 1961 году публично предположил, что компьютерная технология разделения времени может привести к будущему, в котором вычислительные ресурсы и даже определённые приложения могут распространяться с использованием бизнес-модели сферы коммунальных услуг (подобно воде или электричеству). Эта идея была очень популярна в конце 1960 годов, но вышла из моды к середине 1970 годов, так как стало ясно, что аппаратные, программные и коммуникационные технологии того времени были просто ещё не готовы к этому. Тем не менее, начиная с 2000-х годов эта идея получила воплощение в новых формах, в частности таких, как облачные вычисления^[13].

Награды

• Стипендия Слоуна (1957—59)
• Премия Тьюринга (1971)
• Пионер компьютерной техники (1985)
• Премия Киото (1988)
• Национальная научная медаль США (1990)
• Медаль Бенджамина Франклина (2003)^[14]

Джон Маккарти Отец искусственного интеллекта, автор языка LISP

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

Отец искусственного интеллекта, автор языка LISP

LISP был для нас не просто языком, который используют для определенных целей, им можно было полюбоваться, как прелестной вещью. Поэтому существовала постоянная напряженность в отношениях между теми, кто восхищался LISPom за его чистоту, и теми, кто стремился использовать его для различных вычислений. Безусловно, с помощью LISPa проделано множество вычислений. Но в самом начале было не так. Часто говорили, что главная цель LISPa — делать больше LISPa.

Пол Абрахамс

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

Слова, вынесенные в эпиграф, принадлежат бывшему дипломнику Джона Маккарти в период разработки нового языка программирования. Для специалистов по информатике эти слова неудивительны, т. к. имя Джона Маккарти известно во всем мире. Его называют отцом искусственного интеллекта, он первый ввел термин "искусственный интеллект" и создал первый язык искусственного интеллекта.

Джон Маккарти сыграл решающую роль в основании двух самых известных научных центров США по исследованию проблем искусственного интеллекта — в Массачусетском университете в 1957 году и в Стэнфордском университете в 1963 году. Среди его многочисленных работ, внесших значительный вклад в науку, наиболее важные относятся к концу 50-х годов, когда он работал в Массачусетском Технологическом институте. Именно там в 1959 году Маккарти предложил концепцию разделения времени — режима работы компьютера, который позволяет нескольким программистам, работая за разными терминалами, одновременно использовать его память и процессор. Помимо всего прочего, это означало, что исследователи в области искусственного интеллекта получили возможность составлять и проверять экспериментальные программы непосредственно, не ожидая по нескольку часов и дней, пока их задания, заложенные среди других в пакеты перфокарт, будут обработаны единственным оператором вычислительной машины.

В 80-х годах главный научный интерес Джона Маккарти — это формализация так называемых "знаний здравого смысла".

Джон Маккарти родился 4 сентября 1927 года в Бостоне, штат Массачусетс, в семье профсоюзного деятеля-марксиста. Уже в возрасте 8 лет он твердо знал, что непременно будет ученым. Не имея возможности и опыта работы с компьютером, Маккарти интересовался техническими новинками и строил планы на будущие. В 1944 году Джон поступил в Калифорнийский технологический университет (Cal-Tech), но был отчислен за многочисленные пропуски по физкультуре, которая давалась ему с большим трудом. В 1945 году он был призван на службу в армию. После возвращения из армии Маккарти повторно зачислили в Калифорнийский технологический университет. Окончив его, Джон продолжил свое образование в Принстоне, где и получил степень доктора наук.

В начале 50-х годов Маккарти разделял взгляды коммунистов, а десятилетием позже стал радикалом с длинными волосами и лентой на лбу. В 70-е годы он взбирался на горы, летал на самолете и иногда, для разнообразия, прыгал с парашютом. 80-е годы Маккарти встретил одетым в строгий костюм и высказывающим столь же "строгие" консервативные взгляды. Одно в нем было неизменно, Маккарти был поистине генератором самых фантастических идей, которые он разбрасывал с такой скоростью, с какой вводил информацию в компьютер у себя дома или на работе. Один журналист описал его как "человека поразительной внешности, седовласого патриарха с бородкой обольстителя… и шокирующими манерами, например привычкой поворачиваться и уходить, оборвав разговор на полуслове".

Задолго до того, как разгорелись споры в области искусственного интеллекта, исследователям пришлось преодолеть ряд серьезных трудностей в применении компьютеров. При взаимодействии человека с компьютером наиболее важны два момента: во-первых, по возможности более легкий доступ к машинам, во-вторых, более совершенные языки программирования. В решение обеих задач в конце 50-х годов существенный вклад внес Джон Маккарти, именно он первым ввел термин "искусственный интеллект". В 1956 году Маккарти организовал Дартмутскую конференцию. Эта конференция объединила многих экспертов в области машинного интеллекта, которые и заложили основу для будущих исследований в области искусственного интеллекта, а именно так они назвали науку и практику создания интеллектуальных компьютерных программ. Маккарти был по праву назван отцом искусственного интеллекта.

В 1956–1959 годах Джон Маккарти вместе со студентами Массачусетского технологического института (МТИ) разработал новый изящный язык для работы со списками, которому и дал имя LISP. Причем многие студенты внесли существенный вклад в эту разработку. В частности, Д. Эдвардс запрограммировал процесс очистки памяти от ненужных массивов, так называемой сборки мусора (garbage collection), являющийся фундаментальным понятием в LISP, да и в других языках.

Название язык получил от сокращения английских слов LISP Processing (LISP), что означает "обработка списков".

После своего появления LISP присваивали много эпитетов, отражающих его черты, — это язык функций, символьный язык, язык обработки списков, рекурсивный язык. С позиций сегодняшнего дня LISP определяют как язык программирования функционального типа, в основу которого положен метод ?-исчисления (метод ?-исчисления разработан в 30-е годы А. Черчем в качестве строгой математической модели для вычисления функций).

Программы и данные LISP существуют в форме символьных выражений, которые хранятся в виде списковых структур. LISP имеет дело с двумя видами объектов: атомами и списками. Атомы — это символы, используемые для идентификации объектов, которые могут быть числовыми или символьными (понятия, материалы, люди и т. д.). Список — это последовательность из нуля или более элементов, заключенных в круглые скобки, каждый из которых является либо атомом, либо списком. LISP манипулирует списками путем использования трех примитивных функций: CAR, CDR и CONS, из которых получаются все другие функции обработки списков. В функции CAR в качестве значения аргумента используется первый элемент списка; значением аргумента в функции CDR является оставшаяся часть списка после удаления первого элемента, а функция CONS собирает вновь то, что CAR и CDR разбили на части. Интересно отметить, что слова "CAR" и "CDR" остались в LISP на память от первой реализации языка на ламповом компьютере IBM 704. Они являются сокращением английских слов, означающих "содержимое адресной части регистра" и "содержимое уменьшаемой части регистра", соответственно, терминами, характерными для машин первого поколения.

Во многих отношениях LISP отличается от других языков прежде всего тем, что выполнение программы не состоит в последовательности шагов, как в других языках. В основном LISP относится к языкам интерпретирующего типа, однако в некоторых его диалектах имеется функция COMPILE, которая может быть использована для компилирования LISP-npoграмм.

В 1962 году Джон Маккарти переехал в Стэнфорд. В этот период он решил первые проблемы в разделе математики, называемом семантикой вычислений. Маккарти уделял большое внимание проблемам общности. Он пишет: "Еще в 1958 году было очевидно, что системы искусственного интеллекта страдают отсутствием общности. Первый явный симптом состоит в том, что небольшое добавление к идее программы часто приводит к переписыванию заново всего начала со структурами данных". Некоторый прогресс был достигнут с появлением модульности структур данных, но по-прежнему невозможно было обходиться без переписывания программ. Другим симптомом, по мнению Маккарти, являлся тот факт, что никто не знал, как создать такую базу данных, содержащую общеполезные знания об окружающем мире, которую могла бы использовать любая программа, нуждающаяся в этих знаниях. В 1963 году Маккарти публикует статью, посвященную именно проблемам общности в системах искусственного интеллекта. В ней он выдвигает предположение, что, может быть, стоило бы попробовать что-нибудь более похожее на генетическую эволюцию, например, дублировать подпрограммы, одни копии модифицировать, а другие оставлять неизменными. Обучающаяся система экспериментировала бы: а не лучше ли заменить некоторые вызовы начальных подпрограмм вызовами модифицированных подпрограмм? Может быть, потребовалось бы зарезервировать для модификаций некоторое количество параметров подпрограмм. Однако все способы представления знаний с помощью программ сталкивались с возникновением такого вопроса, насколько скоро придется комбинировать несопоставимые знания или создавать программы, модифицирующие знания. Маккарти считал, что малые модификации поведения в большинстве случаев можно описать как малые изменения представлений о мире и для этого необходима система, точно отражающая эти представления.

Он писал: "Если вы хотите, чтобы машина могла выводить абстракции, скорее всего, это значит, что она должна уметь представлять эти абстракции некоторым достаточно простым способом".

Еще тогда возникла идея увеличения общности, которая заключается в том, чтобы воспользоваться логикой для такого описания фактов, которое не зависело бы от того, как эти факты будут использоваться впоследствии. Тогда Маккарти казалось (как, впрочем, и сейчас), что люди по объективным причинам предпочитают общаться с помощью декларативных предложений, а не языков программирования, все равно, является ли субъект общения человеком, существом с Альфа Центавра или компьютерной программой. Более того, и для внутреннего представления проявляются преимущества декларативной информации.

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

В это же время Маккарти вместе с Хэйесом занимался проблемами эпистемологических и эвристических аспектов задач искусственного интеллекта. Они предположили, что изучать проблемы общности гораздо проще в рамках эпистемологического подхода. Разница состоит в том, что при эпистемологическом подходе требуется полный набор фактов, гарантирующий, что некоторая стратегия достигает цели, в то время как эвристический подход предполагает поиск приемлемой стратегии исходя из наличных фактов.

Основная идея работы состояла в создании базы данных "здравого смысла" общего назначения. Информацию "здравого смысла", имеющуюся у людей, предполагалось записать в логической форме и включить в базу данных. Любая программа целенаправленного поиска могла бы обратиться к ней за фактами, необходимыми для того, чтобы решить, как достигнуть поставленной цели. Наиболее значимыми фактами базы данных должны были быть факты с результатами действий робота, пытающегося перемещать объекты с одного места на другое.

Джон Маккарти (80-е годы)

Изучение этой проблемы привело к созданию в 1960 году "исчисления ситуаций", целью которого было нахождение способа описания результатов действий вне зависимости от проблемной области. Однако ситуационное вычисление было применимо только в том случае, когда рассуждения о дискретных событиях, результатом каждого из которых является новая общая ситуация, имеют смысл. Непрерывные события и события, происходящие одновременно, теорией не охватывались. Оказалось, что, к сожалению, практически невозможно использовать ситуационное исчисление даже для довольно ограниченных задач. Использование универсальных программ для доказательства теорем приводило к слишком медленной работе программы, потому что в 1969 году программы для доказательства теорем не имели средств управления поиском. Все это привело к созданию системы STRIPS, в которой использовались только логические рассуждения в рамках конкретной ситуации. Формализм системы STRIPS был более ограниченным, чем исчисление ситуаций в полном объеме. Чтобы избежать противоречий, необходимо было аккуратно выбирать факты, входившие в число аксиом. Эти противоречия могли возникать при невозможности удалить высказывание, которое не являлось бы истинным в результате действия происшедшей ситуации.

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

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

Примечания

1. ↑ Маккарти Джон // Большая советская энциклопедия: [в 30 т.] / под ред. А. М. Прохорова — 3-е изд. — М.: Советская энциклопедия, 1969.
2. ↑ Перейти обратно:^{1 2 3} http://amturing.acm.org/award_winners/mccarthy_0239596.cfm
3. ↑ Перейти обратно:^{1 2} John McCarthy // Internet Speculative Fiction Database (англ.) — 1995.
4. ↑ http://news.stanford.edu/news/2011/october/john-mccarthy-obit-102511.html
5. ↑ Математическая генеалогия (англ.) — 1997.
6. ↑ Creator Of Lisp, John McCarthy, Dead At 84
7. ↑ Morre John McCarthy, pioneiro da Inteligência Artificial e pai do Lisp
8. ↑ Stanford Engineering confirmed McCarthy’s death on twitter.
9. ↑ John McCarthy (англ.)
10. ↑ Hayes, Patrick J.; Leora Morgenstern. On John McCarthy's 80th Birthday, in Honor of his Contributions (англ.) // AI Magazine : journal. — 2007. — Vol. 28, no. 4.
11. ↑ John McCarthy et al. LISP 1.5 Programmers Manual. MIT Press, 1962.
12. ↑ Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I, 1960.
13. ↑ http://cs.stanford.edu/People/faculty Список преподавательского состава факультета информатики Стэнфордского университета на сайте Стэнфорда
14. ↑ http://www.fi.edu/winners/2003/mccarthy_john.faw?winner_id=4368 Архивная копияот 29 сентября 2007 на Wayback Machine Сайт института Франклина, страница с описанием награды (медали Франклина) за 2003 год

Литература

• McCarthy John. Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I. — Communications of the ACM, 1960. — Т. 3, № 4. — С. 184—195.