ГЕДЕЛЬ, ЭШЕР, БАХ: эта бесконечная гирлянда
Шрифт:
33. Ета Ойн: Слева от коробки находились тогда пять кубиков.
Д-р Тире-Рвинога: «Тогда» должно относиться ко времени, упомянутом в последней фразе.
ШРДЛУ: НЕТ, ТОЛЬКО ЧЕТЫРЕ КРАСНЫЙ КУБ, ДВА БОЛЬШИХ ЗЕЛЕНЫХ КУБА И БОЛЬШОЙ КРАСНЫЙ КУБИК.
Д-р Тире-Рвинога: Раньше в разговоре информация о «принадлежности» была принята за чистую монету. Но ШРДЛУ знает, что в ее распоряжении — полная информация об основных свойствах предметов. Она проверяет высказывания о предметах и может с ними не согласиться.
34. Ета Ойн: Расположи голубую пирамиду на кубике в коробке.
Д-р Тире-Рвинога: Это предложение синтаксически двусмысленно, но оно понято без труда, поскольку разделение, соответствующее значению «расположи голубую пирамиду, которая стоит на кубике, в коробке» здесь бессмысленно, в то время как «расположи голубую пирамиду
ШРДЛУ: ХОРОШО.
35. Ета Ойн: Есть ли здесь что-нибудь что больше любой пирамиды, но не так широко, как то на чем оно стоит?
Д-р Тире-Рвинога: ШРДЛУ понимает такие слова как «каждый», «никакой», «что-нибудь» и так далее и выражения типа «больше, чем», «такой же широкий, как» и тому подобное. Здесь местоимение «оно» относится к группе существительных в том же предложении, но в программе синтаксического анализа оно находится двумя уровнями выше.
ШРДЛУ: ДА ГОЛУБОЙ КУБИК.
36. Ета Ойн: Расположена ли колокольня.
ШРДЛУ: ПРОСТИТЕ, Я НЕ ЗНАЮ СЛОВА «КОЛОКОЛЬНЯ».
Д-р Тире-Рвинога: ШРДЛУ немедленно перебивает, если она видит не знакомое слово.
37. Ета Ойн: «Колокольня» это башня, построенная из двух зеленых кубов и пирамиды.
Д-р Тире-Рвинога: Кавычки означают, что вы определяете новое слово. Определение добавляется к словарю ШРДЛУ в форме, совместимой с тем, что она уже знает.
ШРДЛУ: Я ПОНИМАЮ.
38. Ета Ойн: Есть ли сейчас здесь колокольни?
ШРДЛУ; НЕТ.
Д-р Тире-Рвинога: Новое определение используется как описание, чтобы отличать колокольни.
39. Ета Ойн: Построй ее.
ШРДЛУ: ХОРОШО.
Д-р Тире-Рвинога: Описания, данного в определении, достаточно для того, чтобы выработать план построения новых объектов, и для того, чтобы их узнавать. Слово «ее» означает «колокольню», и план приводится в исполнение. Сначала освобождается один из больших зеленых кубов — с него снимается красный куб и две пирамиды. Затем два зеленых куба и высокая красная пирамида ставятся друг на друга соответствующим описанию образом.
40. Ета Ойн: Называй наибольший кубик «суперкубиком».
ШРДЛУ: ХОРОШО.
Д-р Тире-Рвинога: Можно давать предметам имена.
41. Ета Ойн: Ты брала суперкубик с тех пор, как мы начали?
ШРДЛУ: ДА.
42. Ета Ойн: Почему ты его уронила?
ШРДЛУ: Я ЗАКЛЮЧАЮ, ЧТО ПОД «НИМ» ВЫ ИМЕЕТЕ В ВИДУ СУПЕРКУБИК. Я НЕ МОГУ ОБЪЯСНИТЬ НЕСЛУЧИВШЕЕСЯ СОБЫТИЕ.
Д-р Тире-Рвинога: В памяти ШРДЛУ нет записи об уроненном блоке. Рутинные процедуры ответа могут распознавать подобные «вопросы на засыпку», предполагающие ложную информацию.
43. Ета Ойн: Есть ли что-нибудь слева от красной пирамиды?
ШРДЛУ: ДА. ЧЕТЫРЕ ПРЕДМЕТА: КОРОБКА, КРАСНЫЙ КУБ, ГОЛУБАЯ ПИРАМИДА И БЛОК, НАЗЫВАЕМЫЙ СУПЕРКУБИКОМ.
Д-р Тире-Рвинога: Когда предмет получает название, оно затем используется в ответах для идентификации этого предмета.
44. Ета Ойн: Спасибо.
ШРДЛУ: ПОЖАЛУЙСТА!
Д-р Тире-Рвинога: Грамматика ШРДЛУ дает ей возможность распознавать идиоматические выражения.
ГЛАВА XVIII: Искусственный интеллект: взгляд в прошлое
В 1950 ГОДУ АЛАН ТЮРИНГ написал дерзкую и пророческую статью об искусственном интеллекте. Она называлась «Вычислительные машины и интеллект» и была опубликована в журнале «Mind». [60] Прежде чем говорить об этой статье, я хочу рассказать кое-что о самом Тюринге.
Рис. 113. Алан Матисон Тюринг.
60
Alan M. Turing «Computing Machinery and Intelligence», Mind, т LIX, номер 236 A950) Перепечатано в сборнике A. R. Anderson ed , «Minds and Machines».
Алан Матисон Тюринг родился в Лондоне в 1912 году. Он рос любопытным и веселым ребенком. У него оказались незаурядные способности к математике, и позже Алан поступил в Кембриджский университет, где его интересы в области техники и математической логики скрестились. Результатом этого плодотворного скрещивания была его знаменитая статья о «вычислимых числах» в которой он изобрел теорию машин Тюринга и показал неразрешимость проблемы остановки. Эта статья
была опубликована в 1937 году. В 1940-х годах интересы Тюринга перешли от теории вычислительных машин к созданию настоящих компьютеров. Он был одним из пионеров компьютерной техники в Англии и стал ярым защитником искусственного интеллекта, когда тот впервые подвергся нападкам. Среди его единомышленников и ближайших друзей был Дэвид Чемперноун (который позже стал работать над созданием музыкальных композиций при помощи компьютеров). Друзья были страстными шахматистами и придумали новый вариант этой игры, под названием «шахматы вокруг дома»: сделав ход, игрок должен обежать вокруг дома; если он вернется обратно до того, как его противник сделает ответный ход, он получает право пойти еще раз. В более серьезном плане, Тюринг и Чемперноун изобрели первую шахматную программу под названием «Тюрочем». Тюринг умер молодым, в возрасте 41 года — по-видимому, из-за несчастного случая с химикатами (есть мнение, что он покончил самоубийством). Его мать, Сара Тюринг, написала его биографию. Из приводимых ею отзывов о Тюринге складывается впечатление, что он был личностью весьма нестандартной и не умел вести себя в обществе; при этом он был честен, порядочен и легко уязвим. Он любил игры, шахматы, детей; катался на велосипеде и был хорошим бегуном на дальние дистанции. Во время учебы в Кембридже он купил себе подержанную скрипку и научился на ней играть. Хотя Алан не был особенно музыкален, он получал от игры большое удовольствие. Он был несколько эксцентричен и часто страстно увлекался самыми неожиданными вещами. Одним из его интересов являлся морфогенез в биологии. Согласно его матери, Тюринг «очень любил „Записки Пиквикского клуба“», но «поэзия, за исключением Шекспира, оставляла его совершенно равнодушным». Алан Тюринг был одним из основоположников компьютерного дела.Статья Тюринга начинается с фразы: «Рассмотрим вопрос: „Может ли машина думать?“» Поскольку, как он указывает, эти термины слишком многозначны, очевидно, что мы должны искать практическое решение проблемы. Для этого Тюринг предлагает игру, которую он называет «игрой в имитацию»; сегодня она известна под названием «тест Тюринга». Тюринг объясняет ее так:
Играют три человека: мужчина (А), женщина (Б) и ведущий (В), который может быть любого пола. Ведущий закрывается в отдельной комнате. Он должен, задавая вопросы, определить по ответам, кто из двух игроков — мужчина и кто — женщина. Он знает игроков только под именами X и Y; в конце игры он должен сказать либо «X — это A, a Y — это Б», либо «X — это Б, a Y — это А». Ведущий может задавать любые вопросы, например: В: X, скажите мне, пожалуйста, какой длины ваши волосы? Предположим, что под псевдонимом X скрывается А; тогда А должен отвечать. Его цель — стараться сбить ведущего с толку, чтобы тот дал неправильное определение. Поэтому он может ответить, например, так: «Мои волосы пострижены ступеньками, и самые длинные прядки — около 25 сантиметров.» Чтобы голос не выдал отвечающих, их ответы должны быть написаны или, еще лучше, напечатаны. Идеальным было бы установить сообщение между комнатами при помощи телепринтера. Вместо этого для передачи вопросов и ответов можно также использовать посредника. Цель игрока Б — помогать ведущему; лучшей стратегией для этого, возможно, являются правдивые ответы. Она может добавлять замечания вроде: «Женщина — это я; не слушайте его!» — но они мало чем помогут, поскольку мужчина может сказать тоже самое. Теперь мы спросим: «А что, если вместо А в этой игре будет участвовать машина?» Будет ли ведущий ошибаться так же часто, как и в игре, где участниками были мужчина и женщина? Эти вопросы заменяют наш первоначальный вопрос: «Могут ли машины думать?» [61]
61
Turing в сб. Anderson, стр. 5.
Разъяснив, в чем состоит его тест, Тюринг приводит по его поводу несколько замечаний, для того времени весьма тонких. Сначала он дает пример короткого диалога между спрашивающим и отвечающим: [62]
С: Напишите мне, пожалуйста, сонет, на тему «мост в Форте» (через залив Ферт-оф-Форт в Шотландии).
О: В этом на меня не рассчитывайте я никогда не был силен в поэзии.
С: Сложите 34 957 и 70 764.
О (После примерно полминутной паузы): 105 621.
С: Вы играете в шахматы?
О: Да.
С: Мой король стоит на e1, других фигур у меня нет. Ваш король — на еЗ и ладья — на а8. Как вы пойдете?
О: (Помедлив 15 секунд) Поставлю вам мат в один ход Ла1Х.
62
Там же, стр. 6.