Дартмутский семинар по искусственному интеллекту

Дартмутский семинар по искусственному интеллекту — научное мероприятие, проходившее с 18 июня по 17 августа 1956 года в Дартмутском колледже (Ганновер, штат Нью-Гэмпшир, США). Семинар считается отправной точкой искусственного интеллекта (ИИ) как самостоятельной научной дисциплины. Именно на этом семинаре впервые был официально введён и закреплён термин «искусственный интеллект» (artificial intelligence), предложенный его организатором Джоном Маккарти.

Предпосылки и организация

Научный контекст середины 1950-х годов

К середине 1950-х годов в науке и технике сложились предпосылки для обсуждения возможности создания «мыслящих машин». Развитие кибернетики (Норберт Винер), теории информации (Клод Шеннон), теории автоматов (Джон фон Нейман) и ранних работ по машинному переводу (Уоррен Уивер) создало теоретическую базу. Появились первые программы, способные решать логические задачи, например, «Логик-теоретик» (Logic Theorist), написанный Алленом Ньюэллом, Клиффом Шоу и Гербертом Саймоном в 1955–1956 годах.

Инициаторы и финансирование

Идея проведения семинара принадлежала Джону Маккарти (тогда — доцент математики в Дартмутском колледже), который в 1955 году подал заявку на финансирование в Фонд Рокфеллера. В заявке, поданной совместно с Марвином Мински (Гарвардский университет), Натаниэлем Рочестером (IBM) и Клодом Шенноном (Bell Labs), предлагалось провести «2-месячное исследование искусственного интеллекта». Фонд выделил грант в размере 7 500 долларов США (около 85 000 долларов в ценах 2024 года). Дополнительное финансирование и оборудование предоставила корпорация IBM.

Участники

В семинаре приняли участие 10 основных докладчиков и несколько приглашённых гостей. Ключевые фигуры:

• Джон Маккарти (организатор) — будущий создатель языка Lisp и концепции «разделения времени» (time-sharing).
• Марвин Мински — пионер нейронных сетей и фреймовых моделей, впоследствии — сооснователь Лаборатории ИИ Массачусетского технологического института (MIT).
• Натаниэль Рочестер — руководитель отдела исследований IBM, разработчик первого ассемблера.
• Клод Шеннон — создатель теории информации, автор работ по машинному обучению и игровым программам.
• Аллен Ньюэлл и Герберт Саймон (Карнеги-Меллон) — авторы «Логика-теоретика» и будущие лауреаты Нобелевской премии по экономике (1978) за исследования процессов принятия решений.
• Тренчард Мур — специалист по машинному переводу.
• Артур Сэмюэл — создатель первой программы для игры в шашки, обучавшейся с подкреплением (IBM).
• Рэй Соломон — математик, разработавший концепцию «индуктивного вывода» (теория Колмогорова — Соломонова).

Ход семинара и основные темы

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

Ключевые темы обсуждения

1. Автоматическое доказательство теорем. Ньюэлл и Саймон представили «Логика-теоретика» — программу, способную доказывать теоремы из «Principia Mathematica» Уайтхеда и Рассела. Это был первый случай, когда компьютер продемонстрировал поведение, которое можно назвать «интеллектуальным».
2. Нейронные сети. Марвин Мински обсуждал возможности перцептронов (хотя сам термин появился позже) и ограничения простых нейронных моделей. Впоследствии Мински стал известен как критик однослойных перцептронов.
3. Машинный перевод. Тренчард Мур и другие участники рассматривали проблемы автоматического перевода с одного естественного языка на другой, что было актуально в контексте холодной войны (перевод русских научных текстов).
4. Игры и обучение. Артур Сэмюэл продемонстрировал программу для игры в шашки, которая улучшала свою игру за счёт запоминания позиций и оценки функций. Это был ранний пример обучения с подкреплением.
5. Обработка естественного языка. Обсуждались возможности создания программ, понимающих и порождающих текст на естественном языке.
6. Творчество и абстракция. Рэй Соломон представил идеи о «машинном творчестве» и индуктивном выводе, предвосхитившие современные подходы к генеративным моделям.

Демонстрации

• «Логик-теоретик» (Ньюэлл, Саймон, Шоу) — программа доказала 38 из 52 теорем из второго тома «Principia Mathematica», причём для некоторых теорем нашла более изящные доказательства, чем у авторов.
• Программа для игры в шашки (Сэмюэл) — демонстрировала способность обучаться на опыте, что было революционно для того времени.
• Программа решения задач (Ньюэлл и Саймон) — зачатки будущей системы «General Problem Solver» (GPS).

Значение и последствия

Формирование дисциплины

Дартмутский семинар закрепил термин «искусственный интеллект» как название новой области исследований. До этого использовались термины «машинный интеллект», «логические машины» или «кибернетика». Семинар определил программу исследований на десятилетия вперёд: автоматическое доказательство, игры, обучение, обработка языка.

Создание научных центров

После семинара участники основали ведущие исследовательские группы:

• Лаборатория ИИ MIT (Мински, Маккарти) — один из крупнейших центров ИИ в мире.
• Группа по ИИ в Стэнфорде (Маккарти) — создание языка Lisp, разработка экспертных систем.
• Лаборатория робототехники и ИИ в Карнеги-Меллон (Ньюэлл, Саймон) — развитие когнитивной психологии и символьного ИИ.

Оптимизм и последующие спады

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

Критика и наследие

Современные историки науки отмечают, что Дартмутский семинар не был первым собранием, посвящённым «мыслящим машинам» (например, ранее существовали конференции по кибернетике). Однако именно он стал символическим началом ИИ как академической дисциплины. Критики (например, философ Хьюберт Дрейфус) указывали, что семинар заложил основы «символьного подхода» (GOFAI — Good Old-Fashioned AI), который впоследствии оказался неспособен решить многие практические задачи, что привело к переходу к статистическим и нейросетевым методам в 2000-х годах.

Интересные факты

• Название семинара было выбрано Джоном Маккарти, чтобы избежать ассоциаций с кибернетикой Норберта Винера, который, по мнению Маккарти, был слишком «антропоморфным» и «мистическим».
• Заявка на финансирование содержала фразу: «Мы предлагаем провести двухмесячное исследование искусственного интеллекта, в ходе которого 10 человек будут изучать, как заставить машины использовать язык, формировать абстракции и решать задачи, которые сейчас решаются только людьми».
• «Логик-теоретик» часто называют первой программой искусственного интеллекта, хотя некоторые исследователи отдают первенство программе «Шашки» Сэмюэла или «Восприятие и анализ» (Perceptron) Фрэнка Розенблатта.
• Марвин Мински впоследствии вспоминал, что семинар был «очень свободным» — участники часто спорили до глубокой ночи, и многие идеи рождались в неформальных беседах.
• Роль IBM была значительной: компания предоставила компьютеры IBM 704 и 701, а также оплатила часть расходов на проживание участников.

Источники

• McCarthy, J., Minsky, M. L., Rochester, N., & Shannon, C. E. (1955). A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence.
• Crevier, D. (1993). AI: The Tumultuous History of the Search for Artificial Intelligence. Basic Books.
• Russell, S., & Norvig, P. (2020). Artificial Intelligence: A Modern Approach (4th ed.). Pearson.
• McCorduck, P. (2004). Machines Who Think: A Personal Inquiry into the History and Prospects of Artificial Intelligence. A K Peters.
• Nilsson, N. J. (2009). The Quest for Artificial Intelligence: A History of Ideas and Achievements. Cambridge University Press.