Джон Маккарти и искусственный интеллект

1.

Джон Маккарти и
искусственный интеллект

2.

Джон Маккарти (4 сентября 1927 — 24 октября 2011) —
американский информатик, автор термина
«искусственный интеллект» (1956), изобретатель языка
Лисп (1958), основоположник функционального
программирования, лауреат премии Тьюринга (1971) за
огромный вклад в область исследований искусственного
интеллекта.

3.

Биография
Родился в семье иммигрантов — ирландца Джона Патрика Маккарти и литовской еврейки
Иды Глатт. Рано проявил склонности к математике, в юности самостоятельно изучал её по
университетским учебникам, которые использовались в расположенном неподалёку
Калифорнийском технологическом институте. В 16 лет он подал документы в этот
университет, а в мотивационном письме написал только одно предложение: «Я
собираюсь стать профессором математики». Маккарти впервые задумался об
искусственном интеллекте в 1948 году — после посещения конференции, на которой
компьютер сравнивался с человеческим мозгом. В 1948 году получил степень бакалавра
математики в Калифорнийском технологическом институте, в 1951 году — степень
кандидата наук по математике в Принстоне.

4.

Достижения
В 1956 году Маккарти организовал
Дартмутскую конференцию. Там Маккарти
впервые представил миру термин
«искусственный интеллект» и впоследствии
дал его определение:
«Искусственный интеллект — наука и
технология создания интеллектуальных
машин, особенно интеллектуальных
компьютерных программ».
Марвин Минский, Клод Шеннон, Рэй Соломонов и
другие участники Дартмутского семинара

5.

«Мы предлагаем исследование
искусственного интеллекта сроком в 2
месяца с участием 10 человек. Исследование
основано на предположении, что любое
свойство интеллекта может быть столь
точно описано, что машина сможет его
симулировать. Мы попытаемся понять, как
обучить машины использовать
естественные языки, формировать
абстракции и концепции, решать задачи,
сейчас подвластные только людям, и
улучшать самих себя. Мы считаем, что
существенное продвижение в одной или
более из этих проблем вполне возможно,
если специально подобранная группа учёных
будет работать над этим в течение лета»
Заявка на проведение Дартмутского
семинара

6.

Лисп (LISP, от англ. LISt Processing language
— «язык обработки списков»)
Лисп стал вторым высокоуровневым языком
программирования и первым функциональным
языком программирования. То есть в нем
описывается не последовательность команд, а
взаимодействие между ними и подпрограммами.
Маккарти создавал Лисп для его использования в
сфере ИИ и до сих пор Лисп является самым
востребованным инструментом в этой сфере. С
другой стороны, Лисп считается достаточно сложным
языком. Применяется он и как средство обычного
промышленного программирования, от встроенных
скриптов до веб-приложений массового
использования, хотя популярным его назвать нельзя.
Пример программы

7.

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

8.

Итоги
Джон Маккарти работал в Стэнфорде и
продолжал изобретать вплоть до выхода на
пенсию в 1994 году. В 2011 году он умер. Спустя
год после этого Стэнфордский университет
включил Маккарти в список своих «инженерных
героев». Таким образом, за долгие годы своей
жизни Джон Маккарти внёс большой вклад в
общий технологический прогресс и в
особенности в будущее развития искусственного
интеллекта, который в настоящее время
становится всё более и более востребованным
направлением, которое активно
совершенствуют. Многие элементы и подходы,
которые придумал Джон, используются в
компьютерных системах и сегодня.