Тест Тьюринга
В 1950 году британский математик Алан Тьюринг опубликовал статью «Computing Machinery and Intelligence» в философском журнале Mind. Вместо расплывчатого вопроса «Могут ли машины мыслить?» он предложил проверяемый критерий — игру в имитацию (позднее названную тестом Тьюринга).
Суть игры:
- Судья переписывается в чате с двумя «участниками», не видя их
- Один участник — человек, второй — машина
- Если судья не может надёжно отличить машину от человека, машина считается «мыслящей» по данному критерию
Тьюринг предсказывал, что к 2000 году машины смогут обманывать судей в 30% случаев после пяти минут разговора. Современные языковые модели иногда проходят ослабленные версии теста, но сам тест критикуют: он измеряет способность имитировать человеческие ответы, а не понимать смысл. Философ Джон Сёрль проиллюстрировал это мысленным экспериментом «Китайская комната»: человек, механически подбирающий иероглифы по инструкции, не понимает китайский язык — хотя со стороны кажется, что понимает.
Несмотря на ограничения, тест Тьюринга стал первым серьёзным ответом на вопрос о возможности машинного интеллекта.
Конференция в Дартмуте (1956)
Официальной датой рождения ИИ как научного направления считается лето 1956 года. Молодой математик Джон Маккарти вместе с Марвином Минским, Клодом Шенноном (создателем теории информации) и Натаниэлем Рочером организовал в Дартмутском колледже летний исследовательский проект.
В заявке 1955 года — «A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence» — впервые появился сам термин «искусственный интеллект» (artificial intelligence). Авторы предположили, что «каждый аспект обучения или любой другой черты интеллекта может быть описан настолько точно, что машина сможет его симулировать».
Ключевые участники семинара:
- Джон Маккарти — автор термина, создатель языка LISP
- Марвин Минский — будущий глава лаборатории ИИ в MIT
- Аллен Ньюэлл и Герберт Саймон — авторы Logic Theorist и будущие лауреаты премии Тьюринга
- Артур Самуэль — создатель самообучающейся программы для шашек
Участники не пришли к единому методу, но сформировали сообщество, которое на десятилетия определило повестку исследований.
Первые программы
Первые ИИ-системы появились ещё до Дартмутской конференции и сразу после неё:
- Logic Theorist (1955–1956, Ньюэлл, Саймон и Клифф Шоу) — программа, доказывающая теоремы математической логики. Она самостоятельно нашла доказательство теоремы из «Principia Mathematica» Рассела и Уайтхеда — причём более элегантное, чем у авторов.
- General Problem Solver (1957) — попытка создать универсальный решатель задач методом «средство — цель».
- Шашки Артура Самуэля (1952–1959) — программа училась на партиях и улучшала игру, обыгрывая своего автора. Самуэль одним из первых употребил термин «машинное обучение» (machine learning).
- LISP (1958, Маккарти) — язык программирования, ставший главным инструментом исследований ИИ на три десятилетия.
Общий подход той эпохи — символьный ИИ: знание кодируется правилами и логическими конструкциями, а рассуждение сводится к манипуляции символами.
Ожидания и амбиции первых исследователей
Пионеры ИИ были настроены чрезвычайно оптимистично:
- Герберт Саймон в 1965 году заявлял, что «машины будут способны делать всё, что умеет человек, в течение ближайших двадцати лет»
- Марвин Минский в 1970-м обещал, что «за одно поколение мы создадим машину с разумом среднего человека»
Реальность оказалась суровее. Компьютеры тех лет имели считанные килобайты памяти, а наивные переборные алгоритмы упирались в комбинаторный взрыв: число вариантов росло экспоненциально и быстро превышало любые вычислительные мощности. Машинный перевод давал комичные ошибки, простые с виду задачи (понимание картинки или детского рассказа) оказались неподъёмными.
Завышенные обещания обернутся разочарованием финансирующих организаций — это приведёт к первой «зиме ИИ», о которой пойдёт речь в уроке 5.
Проверьте себя
- В чём заключается тест Тьюринга и почему его считают ограниченным критерием интеллекта?
- Кто и когда ввёл термин «искусственный интеллект»?
- Чем известны программы Logic Theorist и шашки Самуэля?