Просмотр

Материал из MachineLearning.

У вас нет прав на выполнение этой операции по следующим причинам:

• Запрошенное действие могут выполнять только участники из групп emailconfirmed, Администраторы.
• Вы должны подтвердить ваш адрес электронной почты перед правкой страниц. Пожалуйста, введите и подтвердите ваш адрес эл. почты на странице настроек.

Вы можете просмотреть и скопировать исходный текст этой страницы:

{{well|Статья написана с использованием LLM '''DeepSeek-V4''' и проверена участником [[Участник:Vokov|К.В.Воронцов]] 14:04, 14 июня 2026 (MSD)}} {{TOCright}} '''Дартмутский семинар''' (англ. Dartmouth Summer Research Project on Artificial Intelligence) — летний исследовательский проект, проходивший в июне–августе 1956 года в [[Дартмутский колледж|Дартмутском колледже]] ([[Хановер (Нью-Гэмпшир)|Хановер]], штат [[Нью-Гэмпшир]], [[Соединённые Штаты Америки|США]]). Семинар считается официальной точкой рождения [[Искусственный интеллект|искусственного интеллекта]] (ИИ) как самостоятельной научной дисциплины. Именно на нём [[Маккарти, Джон|Джон Маккарти]] предложил сам термин «искусственный интеллект» и сформулировал амбициозную программу исследований, объединившую пионеров вычислительной техники, [[Когнитивная наука|когнитивной психологии]] и [[Теория информации|теории информации]]. Организованный небольшой группой учёных, семинар не привёл к немедленным эпохальным открытиям, но задал направления развития ИИ на десятилетия вперёд: [[Машинное обучение|машинное обучение]], [[Понимание естественного языка|понимание естественного языка]], [[Компьютерное зрение|компьютерное зрение]], [[Автоматическое доказательство теорем|автоматическое доказательство теорем]] и [[Нейронные сети|нейронные сети]]. Многие из его участников стали ведущими фигурами в информатике и лауреатами [[Премия Тьюринга|премии Тьюринга]]. == Предыстория и научный контекст == К середине 1950‑х годов в разных областях уже существовали предпосылки для появления ИИ. [[Тьюринг, Алан|Алан Тьюринг]] в 1950 году опубликовал работу «Вычислительные машины и разум», в которой предложил [[Тест Тьюринга|тест]] для оценки машинного интеллекта<ref>{{статья |автор=Turing A. M. |заглавие=Computing Machinery and Intelligence |издание=Mind |год=1950 |том=59 |номер=236 |страницы=433–460 |doi=10.1093/mind/LIX.236.433}}</ref>. В [[Математическая логика|математической логике]] активно развивались формальные системы, а [[Нейрофизиология|нейрофизиологи]] строили первые модели нейронов ([[Мак-Каллок, Уоррен|Мак-Каллок]] и [[Питтс, Уолтер|Питтс]], 1943). [[Кибернетика]] [[Винер, Норберт|Норберта Винера]] предложила общий язык для описания управления и связи в машинах и живых организмах. Появление первых электронных вычислительных машин ([[ENIAC]], [[IAS-машина]]) вселило уверенность, что интеллектуальные процессы можно моделировать алгоритмически. [[Ньюэлл, Аллен|Аллен Ньюэлл]] и [[Саймон, Герберт|Герберт Саймон]] в 1955–1956 годах создали программу [[Logic Theorist]], способную доказывать теоремы из «Principia Mathematica», что стало первой демонстрацией автоматического рассуждения. Именно эта работа во многом вдохновила организаторов семинара. == Организаторы и предложение == Инициаторами семинара стали четверо учёных, впоследствии признанных отцами-основателями ИИ: * '''[[Маккарти, Джон|Джон Маккарти]]''' ([[Дартмутский колледж]], позже [[Стэнфордский университет]]) — автор самого термина «искусственный интеллект», создатель языка [[Лисп]]. * '''[[Мински, Марвин|Марвин Мински]]''' ([[Гарвардский университет]], позже [[Массачусетский технологический институт|МТИ]]) — теоретик нейронных сетей и один из авторов книги «Перцептроны». * '''[[Рочестер, Натаниэль|Натаниэль Рочестер]]''' ([[IBM]]) — ведущий инженер, разработавший один из первых ассемблеров. * '''[[Шеннон, Клод|Клод Шеннон]]''' ([[Bell Labs]], [[Массачусетский технологический институт|МТИ]]) — основатель теории информации, ранее предложивший идею [[Шахматная программа|шахматной программы]]. В августе 1955 года они направили в [[Фонд Рокфеллера]] заявку «Предложение Дартмутского летнего исследовательского проекта по искусственному интеллекту» (англ. ''A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence'')<ref name="proposal">{{статья |автор=McCarthy J., Minsky M. L., Rochester N., Shannon C. E. |заглавие=A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence |год=1955 |ссылка=http://www-formal.stanford.edu/jmc/history/dartmouth/dartmouth.html}} (Перепечатано в AI Magazine, vol. 27, no. 4, 2006)</ref>. Это предложение, по сути, стало первым программным документом ИИ. В нём формулировалась смелая гипотеза: <blockquote>«Исследование должно исходить из предположения, что в принципе любой аспект обучения или другая характеристика интеллекта могут быть описаны настолько точно, что можно создать машину для их симуляции»<ref name="proposal"/>.</blockquote> В заявке перечислялись ключевые темы для обсуждения: автоматическое программирование, [[нейронные сети]], [[Теория сложности вычислений|теория сложности вычислений]], самосовершенствование алгоритмов, абстракции, сенсорное восприятие и творчество. Фонд Рокфеллера выделил грант в размере 7500 долларов. == Участники == Помимо четырёх организаторов, в семинаре приняли участие около двадцати исследователей. Среди них были как уже известные учёные, так и молодые аспиранты, впоследствии определившие облик информатики: * '''[[Ньюэлл, Аллен|Аллен Ньюэлл]]''' и '''[[Саймон, Герберт|Герберт Саймон]]''' — продемонстрировали Logic Theorist, первую программу искусственного интеллекта, и развили концепцию [[Физическая символьная система|физических символьных систем]]. * '''[[Сэмюэл, Артур|Артур Сэмюэл]]''' — представил программу для игры в [[Шашки|шашки]], способную к самообучению; считается пионером [[Машинное обучение|машинного обучения]] и, в частности, [[Обучение с подкреплением|обучения с подкреплением]]. * '''[[Селфридж, Оливер|Оливер Селфридж]]''' — один из «отцов» [[Распознавание образов|распознавания образов]], предложивший архитектуру «Пандемониум». * '''[[Соломонофф, Рэй|Рэй Соломонофф]]''' — заложил основы [[Алгоритмическая теория информации|алгоритмической теории информации]] и [[Байесовский вывод|байесовского вывода]] в машинном обучении. * '''[[Мур, Эдвард (математик)|Эдвард Мур]]''' — автор первых работ по [[Конечный автомат|конечным автоматам]]. * '''[[Рочестер, Натаниэль|Натаниэль Рочестер]]''' представлял IBM, впоследствии руководил разработкой ранних трансляторов. * Среди участников также были молодые математики, психологи и инженеры, в том числе студент МТИ [[Бьюкенен, Брюс|Брюс Бьюкенен]] и будущий нобелевский лауреат по экономике [[Нэш, Джон Форбс|Джон Нэш]] (присутствие последнего не подтверждено протоколами, но часто упоминается в исторических обзорах). == Ход семинара == Семинар проходил с 18 июня по 17 августа 1956 года на территории Дартмутского колледжа. Формат не был строго регламентирован; основное время занимали неформальные обсуждения, мозговые штурмы и демонстрации программ. Маккарти арендовал помещение на верхнем этаже математического факультета, участники жили в общежитиях. Основные направления дискуссий следовали разделам предложения: * '''Автоматическое доказательство теорем''' — доминирующая тема благодаря недавнему успеху Logic Theorist. Обсуждались [[Эвристический поиск|эвристический поиск]] и формализация математических рассуждений. * '''[[Обработка естественного языка]] и [[Понимание естественного языка|понимание естественного языка]]''' — первые идеи о синтаксическом анализе и машинном переводе; позже эти обсуждения переросли в разработку систем вопросно-ответного взаимодействия, а различие между технической обработкой текста и глубинным пониманием смысла оформилось значительно позднее. * '''[[Нейронные сети]] и обучение''' — Мински и Рочестер представили модели на основе случайно соединённых нейроподобных элементов; Маккарти критиковал этот подход, что позже привело к классическому противостоянию [[Символьный ИИ|символьного]] и [[Коннективизм|нейросетевого]] ИИ. * '''Самосовершенствование и креативность''' — обсуждались возможности программ, способных улучшать собственный код, и природа творческих способностей. * '''[[Машинное обучение]]''' — Сэмюэл продемонстрировал игру в шашки с временно́й разностью, заложив основы обучения с подкреплением. Несмотря на высокий энтузиазм, многие ожидания оказались преждевременными. Семинар не породил единой теории, и участники быстро осознали, что большинство задач (зрение, понимание языка, абстрактное мышление) невероятно сложны. Тем не менее, были заложены первые формальные постановки и установлены ключевые исследовательские программы. == Основные результаты и изменение приоритетов == Главным итогом семинара стало признание искусственного интеллекта как самостоятельной области науки со своим названием, сообществом и программой. Конкретные результаты включали: * Формализацию и демонстрацию первых программ интеллектуального поведения: [[Logic Theorist]] и шашечная программа Сэмюэла. * Постановку долгосрочных целей: моделирование рассуждений, обучения, восприятия и понимания языка. * Формирование исследовательского сообщества, которое вскоре возглавило ведущие лаборатории ИИ в [[Стэнфордский университет|Стэнфорде]], [[Массачусетский технологический институт|МТИ]] и [[Университет Карнеги — Меллон|Карнеги-Меллон]]. После семинара приоритеты в исследованиях ИИ заметно сместились. * Произошёл переход от кибернетического подхода, ориентированного на моделирование нервной системы, к символьной парадигме: интеллект рассматривался прежде всего как манипуляция символами по формальным правилам. Это привело к доминированию [[Эвристический поиск|эвристического поиска]], логического вывода и [[Представление знаний|представления знаний]]. * Проблема машинного обучения отошла на второй план по сравнению с задачами доказательства теорем и игр, что объяснялось как успехом Logic Theorist, так и разочарованием в ранних нейронных сетях (перцептронах). * Началось выделение подобластей: [[Компьютерное зрение]], обработка естественного языка, планирование, робототехника — каждая из них оформилась в самостоятельное направление к концу 1960‑х годов. Таким образом, семинар запустил «золотую эру» ИИ (1956–1974), характеризовавшуюся щедрым финансированием и оптимистическими прогнозами, но одновременно заложил противоречия, которые позже привели к первой «[[Зима искусственного интеллекта|зиме ИИ]]». == Критика и неоправдавшиеся ожидания == С позиций современной науки многие предпосылки Дартмутского семинара оказались чрезмерно упрощёнными. * '''Переоценка символьной логики.''' Предполагалось, что интеллект можно свести к формальному оперированию символами, а здравый смысл — к набору логических аксиом. Практика показала, что [[символьный ИИ]] сталкивается с проблемами комбинаторного взрыва, хрупкостью и неспособностью работать с неопределённостью и зашумлёнными данными реального мира. * '''Недооценка сложности восприятия и моторики.''' Задачи, кажущиеся человеку простыми (зрение, ходьба, манипуляция предметами), оказались на порядок сложнее игры в шахматы. [[Парадокс Моравека]] (сформулированный позже) подтверждает, что высокоуровневое мышление требует гораздо меньше вычислительных ресурсов, чем сенсомоторные навыки. * '''Игнорирование роли данных и статистических методов.''' Большинство участников придерживалось дедуктивного подхода, основанного на правилах. Вероятностные и [[Байесовский вывод|байесовские методы]], предложенные Р. Соломоноффом, оставались маргинальными вплоть до 1990‑х годов. Сегодня же машинное обучение, особенно [[глубокое обучение]], немыслимо без огромных датасетов и статистических моделей. * '''Отсутствие предвидения глубоких архитектур.''' Хотя нейронные сети обсуждались, никто не предполагал, что обучение многослойных сетей ([[глубокое обучение]]) станет возможным и произведёт революцию. [[Перцептрон]] Розенблатта, представленный чуть позже, вызвал кратковременный интерес, но вскоре был дискредитирован М. Минским и С. Пейпертом, что затормозило нейросетевые исследования на десятилетие. * '''Не были предсказаны:''' обучение без учителя, [[генеративно-состязательные сети]], [[обучение с подкреплением]] в сложных средах (хотя истоки лежат в работах Сэмюэла), [[вероятностное программирование]], а также социальные и этические последствия ИИ. Таким образом, многие конкретные направления, предложенные на семинаре, не оправдали себя в первоначальном виде, а действительный прогресс был достигнут за счёт идей, остававшихся на периферии внимания его участников. == Параллельные исследования в Советском Союзе == В середине 1950‑х годов, одновременно с Дартмутским семинаром, в [[СССР]] происходило становление научных школ, близких по тематике к искусственному интеллекту, хотя сам этот термин в советской науке не использовался до 1970‑х. Преимущественно говорили о «[[Кибернетика|кибернетике]]», «эвристическом программировании» и «распознавании образов». Ключевые фигуры и направления: * '''[[Ляпунов, Алексей Андреевич (математик)|Алексей Ляпунов]]''' — один из инициаторов возрождения кибернетики в СССР; в 1954 году организовал семинар по кибернетике в [[Московский государственный университет|МГУ]], где обсуждались теория автоматов, программирование и биологические аналогии. Ляпунов сформулировал принципы машинного перевода и эвристического поиска. * '''[[Глушков, Виктор Михайлович|Виктор Глушков]]''' — основатель [[Институт кибернетики имени В. М. Глушкова НАН Украины|Института кибернетики]] в Киеве, разрабатывал теорию цифровых автоматов и первые системы автоматического доказательства теорем. Под его руководством в 1960‑е годы создавались программы, способные выводить геометрические теоремы. * '''[[Ивахненко, Алексей Григорьевич|Алексей Ивахненко]]''' — в 1965 году предложил [[Метод группового учёта аргументов|метод группового учёта аргументов]] (МГУА), который стал одним из первых алгоритмов обучения глубоких многослойных нейронных сетей. В отличие от символьного подхода, Ивахненко делал ставку на индуктивное обучение и самоорганизацию моделей, что перекликается с современными нейросетевыми парадигмами<ref>{{книга |автор=Ивахненко А. Г. |заглавие=Самообучающиеся системы распознавания и автоматического управления |место=Киев |издательство=Техніка |год=1969 |allpages=456}}</ref>. * '''[[Бонгард, Михаил Моисеевич|Михаил Бонгард]]''' — разрабатывал алгоритмы распознавания образов и эвристического поиска; его задача «Кора» (алгоритм поиска закономерностей) предвосхитила некоторые идеи индуктивного вывода. * '''[[Журавлёв, Юрий Иванович|Юрий Журавлёв]]''' и научная школа [[Вычислительный центр имени А. А. Дородницына РАН|ВЦ АН СССР]] — развивали алгебраический подход к задачам распознавания, что привело к созданию теории [[Алгебраическая теория распознавания|алгебраического распознавания]]. Сравнение с результатами Дартмутского семинара выявляет как сходства, так и различия. * '''Общие темы:''' автоматическое доказательство теорем, распознавание образов, машинное обучение, эвристический поиск. Обе научные традиции осознавали необходимость моделирования интеллектуальных процессов. * '''Различия в парадигмах:''' западные участники семинара быстро сконцентрировались на символьном ИИ (языки ЛИСП, логические представления), в то время как советские учёные дольше сохраняли связь с кибернетикой и аналоговыми моделями, в том числе нейронными сетями. Работы Ивахненко по глубокому обучению на десятилетия опередили аналогичные исследования на Западе, но из‑за «железного занавеса» остались неизвестными мировому сообществу. * '''Институциональная изоляция:''' советские учёные не участвовали в Дартмутском семинаре, их публикации редко переводились на английский язык. Это привело к параллельному развитию двух научных культур, воссоединившихся лишь в 1990‑е годы. * '''Терминология и статус:''' если Дартмутский семинар провозгласил создание «искусственного интеллекта», то в СССР аналогичные работы велись под эгидой кибернетики и прикладной математики, что иногда давало большую свободу, но и лишало их единой идентичности. Таким образом, советские школы внесли значительный вклад в теорию обучения, распознавания и эвристического поиска, заложив основы для будущих нейросетевых революций, однако их изоляция не позволила им в равной мере влиять на мировую повестку вплоть до конца XX века. == Наследие == Несмотря на все ограничения, Дартмутский семинар остаётся поворотным моментом в истории науки. Он запустил процесс институционализации ИИ, определил основные темы исследований и дал имена тем направлениям, которые сегодня образуют ядро машинного обучения и когнитивной информатики. К 50‑летию семинара в 2006 году в Дартмуте прошла юбилейная конференция «AI@50», подытожившая развитие области<ref>{{статья |автор=Moor J. |заглавие=The Dartmouth College Artificial Intelligence Conference: The Next Fifty Years |издание=AI Magazine |год=2006 |том=27 |номер=4 |страницы=87–91 |ссылка=https://ojs.aaai.org/index.php/aimagazine/article/view/1911}}</ref>. Сегодня, когда ИИ переживает расцвет, корни многих современных достижений можно проследить до идей, впервые высказанных тем летом в Хановере. == См. также == * [[Искусственный интеллект]] * [[История искусственного интеллекта]] * [[Logic Theorist]] * [[Джон Маккарти]] * [[Марвин Мински]] * [[Машинное обучение]] * [[Тест Тьюринга]] * [[Зима искусственного интеллекта]] == Примечания == {{примечания}} == Литература == * {{статья |автор=McCarthy J., Minsky M. L., Rochester N., Shannon C. E. |заглавие=A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence |год=1955 |ссылка=http://www-formal.stanford.edu/jmc/history/dartmouth/dartmouth.html}} (Оригинал заявки; перепечатан в AI Magazine, vol. 27, no. 4, 2006, pp. 12–14.) * {{книга |автор=Russell S., Norvig P. |заглавие=Artificial Intelligence: A Modern Approach |издание=4th ed. |место=Upper Saddle River |издательство=Pearson |год=2020 |allpages=2145 |isbn=978-0-13-461099-3}} — Глава 1, исторический обзор. * {{книга |автор=Nilsson N. J. |заглавие=The Quest for Artificial Intelligence: A History of Ideas and Achievements |место=Cambridge |издательство=Cambridge University Press |год=2010 |allpages=562 |isbn=978-0-521-11639-8}} * {{статья |автор=McCorduck P. |заглавие=Machines Who Think: A Personal Inquiry into the History and Prospects of Artificial Intelligence |издание=2nd ed. |место=Natick |издательство=A K Peters |год=2004 |allpages=565 |isbn=978-1-56881-205-0}} * {{статья |автор=Kline R. |заглавие=Cybernetics, Automata Studies, and the Dartmouth Conference on Artificial Intelligence |издание=IEEE Annals of the History of Computing |год=2011 |том=33 |номер=4 |страницы=5–16 |doi=10.1109/MAHC.2010.44}} * {{книга |автор=Поспелов Д. А. (ред.) |заглавие=Очерки истории информатики в России |место=Новосибирск |издательство=Научно-издательский центр ОИГГМ СО РАН |год=1998 |allpages=664 |isbn=5-7692-0170-3}} * {{книга |автор=Ивахненко А. Г. |заглавие=Самообучающиеся системы распознавания и автоматического управления |место=Киев |издательство=Техніка |год=1969 |allpages=456}}

• Шаблон:Mbox
• Шаблон:TOCright
• Шаблон:Well
• Шаблон:Книга
• Шаблон:Переводы
• Шаблон:Примечания
• Шаблон:Статья

Возврат к странице Дартмутский семинар.