Даглас Хофштадтер - ГЕДЕЛЬ, ЭШЕР, БАХ: эта бесконечная гирлянда

Д-р Тире-Рвинога: В памяти ШРДЛУ нет записи об уроненном блоке. Рутинные процедуры ответа могут распознавать подобные «вопросы на засыпку», предполагающие ложную информацию.

43. Ета Ойн: Есть ли что-нибудь слева от красной пирамиды?

ШРДЛУ: ДА. ЧЕТЫРЕ ПРЕДМЕТА: КОРОБКА, КРАСНЫЙ КУБ, ГОЛУБАЯ ПИРАМИДА И БЛОК, НАЗЫВАЕМЫЙ СУПЕРКУБИКОМ.

Д-р Тире-Рвинога: Когда предмет получает название, оно затем используется в ответах для идентификации этого предмета.

44. Ета Ойн: Спасибо.

ШРДЛУ: ПОЖАЛУЙСТА!

Д-р Тире-Рвинога: Грамматика ШРДЛУ дает ей возможность распознавать идиоматические выражения.

В 1950 ГОДУ АЛАН ТЮРИНГ написал дерзкую и пророческую статью об искусственном интеллекте. Она называлась «Вычислительные машины и интеллект» и была опубликована в журнале «Mind». [60] Alan M. Turing «Computing Machinery and Intelligence», Mind, т LIX, номер 236 A950) Перепечатано в сборнике A. R. Anderson ed , «Minds and Machines». Прежде чем говорить об этой статье, я хочу рассказать кое-что о самом Тюринге.

Рис. 113. Алан Матисон Тюринг.

Алан Матисон Тюринг родился в Лондоне в 1912 году. Он рос любопытным и веселым ребенком. У него оказались незаурядные способности к математике, и позже Алан поступил в Кембриджский университет, где его интересы в области техники и математической логики скрестились. Результатом этого плодотворного скрещивания была его знаменитая статья о «вычислимых числах» в которой он изобрел теорию машин Тюринга и показал неразрешимость проблемы остановки. Эта статья была опубликована в 1937 году. В 1940-х годах интересы Тюринга перешли от теории вычислительных машин к созданию настоящих компьютеров. Он был одним из пионеров компьютерной техники в Англии и стал ярым защитником искусственного интеллекта, когда тот впервые подвергся нападкам. Среди его единомышленников и ближайших друзей был Дэвид Чемперноун (который позже стал работать над созданием музыкальных композиций при помощи компьютеров). Друзья были страстными шахматистами и придумали новый вариант этой игры, под названием «шахматы вокруг дома»: сделав ход, игрок должен обежать вокруг дома; если он вернется обратно до того, как его противник сделает ответный ход, он получает право пойти еще раз. В более серьезном плане, Тюринг и Чемперноун изобрели первую шахматную программу под названием «Тюрочем». Тюринг умер молодым, в возрасте 41 года — по-видимому, из-за несчастного случая с химикатами (есть мнение, что он покончил самоубийством). Его мать, Сара Тюринг, написала его биографию. Из приводимых ею отзывов о Тюринге складывается впечатление, что он был личностью весьма нестандартной и не умел вести себя в обществе; при этом он был честен, порядочен и легко уязвим. Он любил игры, шахматы, детей; катался на велосипеде и был хорошим бегуном на дальние дистанции. Во время учебы в Кембридже он купил себе подержанную скрипку и научился на ней играть. Хотя Алан не был особенно музыкален, он получал от игры большое удовольствие. Он был несколько эксцентричен и часто страстно увлекался самыми неожиданными вещами. Одним из его интересов являлся морфогенез в биологии. Согласно его матери, Тюринг «очень любил „Записки Пиквикского клуба“», но «поэзия, за исключением Шекспира, оставляла его совершенно равнодушным». Алан Тюринг был одним из основоположников компьютерного дела.

Статья Тюринга начинается с фразы: «Рассмотрим вопрос: „Может ли машина думать?“» Поскольку, как он указывает, эти термины слишком многозначны, очевидно, что мы должны искать практическое решение проблемы. Для этого Тюринг предлагает игру, которую он называет «игрой в имитацию»; сегодня она известна под названием «тест Тюринга». Тюринг объясняет ее так:

Играют три человека: мужчина (А), женщина (Б) и ведущий (В), который может быть любого пола. Ведущий закрывается в отдельной комнате. Он должен, задавая вопросы, определить по ответам, кто из двух игроков — мужчина и кто — женщина. Он знает игроков только под именами X и Y; в конце игры он должен сказать либо «X — это A, a Y — это Б», либо «X — это Б, a Y — это А». Ведущий может задавать любые вопросы, например: В: X, скажите мне, пожалуйста, какой длины ваши волосы? Предположим, что под псевдонимом X скрывается А; тогда А должен отвечать. Его цель — стараться сбить ведущего с толку, чтобы тот дал неправильное определение. Поэтому он может ответить, например, так: «Мои волосы пострижены ступеньками, и самые длинные прядки — около 25 сантиметров.» Чтобы голос не выдал отвечающих, их ответы должны быть написаны или, еще лучше, напечатаны. Идеальным было бы установить сообщение между комнатами при помощи телепринтера. Вместо этого для передачи вопросов и ответов можно также использовать посредника. Цель игрока Б — помогать ведущему; лучшей стратегией для этого, возможно, являются правдивые ответы. Она может добавлять замечания вроде: «Женщина — это я; не слушайте его!» — но они мало чем помогут, поскольку мужчина может сказать тоже самое. Теперь мы спросим: «А что, если вместо А в этой игре будет участвовать машина?» Будет ли ведущий ошибаться так же часто, как и в игре, где участниками были мужчина и женщина? Эти вопросы заменяют наш первоначальный вопрос: «Могут ли машины думать?» [61] Turing в сб. Anderson, стр. 5.

Разъяснив, в чем состоит его тест, Тюринг приводит по его поводу несколько замечаний, для того времени весьма тонких. Сначала он дает пример короткого диалога между спрашивающим и отвечающим: [62] Там же, стр. 6.

С: Напишите мне, пожалуйста, сонет, на тему «мост в Форте» (через залив Ферт-оф-Форт в Шотландии).

О: В этом на меня не рассчитывайте я никогда не был силен в поэзии.

С: Сложите 34 957 и 70 764.

О (После примерно полминутной паузы): 105 621.

С: Вы играете в шахматы?

О: Да.

С: Мой король стоит на e1, других фигур у меня нет. Ваш король — на еЗ и ладья — на а8. Как вы пойдете?

О: (Помедлив 15 секунд) Поставлю вам мат в один ход Ла1Х.

Мало кто из читателей замечает, что в арифметической задаче не только время раздумья слишком длинно, но и сам ответ ошибочен! Это было бы легко объяснить, если бы отвечающий был человеком — человеку свойственно ошибаться. Если же отвечала машина, то этому возможны разные объяснения, например:

(1) ошибка на уровне аппаратуры во время прогона программы (случайная и невоспроизводимая осечка),

(2) непреднамеренная ошибка на уровне аппаратуры или программы, результатом которой являются воспроизводимые арифметические ошибки,