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

С первого взгляда кажется, что у этой программы — слишком сложная структура, поскольку нам не нравится думать, что значение простой фразы может содержать петли, проверку условий перехода на другую ветвь и другие подобные детали. Чтобы решить эту проблему, нам необходим такой внутренний язык, в котором петли и проверки были бы простейшими элементами и в котором представление процессов было бы так же просто, как и их описание. Программа, представленная на рис. 118, на языке ПЛАННЕР выглядела бы примерно так:

(ЦЕЛЬ (Есть ? кубик X1))

(ЦЕЛЬ (Цвет ? X1 красный))

(ЦЕЛЬ (Равномерный ? X1))

(ЦЕЛЬ (Есть ? пирамида Х2))

(ЦЕЛЬ (Есть ? кубик X1))

(ЦЕЛЬ (? X1 поддерживает ?Х2))

Петли блока-схемы подразумеваются в структуре контроля возврата. Правильность описания оценивается путем следования вниз по списку до тех пор, пока какая-нибудь из целей не окажется невыполнимой; тогда программа автоматически отступает к тому моменту, когда она приняла последнее решение, и пробует другой путь. Решение может быть принято всякий раз, когда вводится новое название предмета или новая ПЕРЕМЕННАЯ (отмеченная префиксом «?»). Переменные используются для сопоставления с образцом. Если они уже обозначают некий предмет, программа сопоставления проверяет, выполнима ли цель для данного предмета. Если нет, то эта программа ищет все возможные предметы, для которых эта цель выполнима, выбирая один предмет и совершая последующие шаги до тех пор, пока ей не придется отступить. В таком случае она начинает работать со следующим подходящим предметом. Таким образом, неявным является даже различие между выбором и проверкой. [80] Там же, стр. 171-2.

При разработке этой программы было принято важное стратегическое решение: не переводить полностью с английского на ЛИСП, а только частично — на ПЛАННЕР. Таким образом, поскольку интерпретатор ПЛАННЕР сам написан на ЛИСПе, между языком высшего уровня (английским) и языком низшего уровня (машинным) был введен новый промежуточный уровень (ПЛАННЕР). После того, как фрагмент английского предложения переводится в программу на ПЛАННЕРе, эта программа может быть послана на интерпретер ПЛАННЕРа, освобождая высший уровень ШРДЛУ для работы над другими задачами.

Постоянно приходится решать следующие проблемы: сколько уровней должно быть у системы? Сколько и какой тип «интеллекта» надо располагать на каждом из этих уровней? Сегодня эти проблемы — одни их самых трудных в ИИ. Поскольку мы знаем так мало о настоящем разуме, нам очень трудно решить, какой уровень искусственной разумной системы должен выполнять ту или иную часть задачи.

Это позволяет вам лучше понять те проблемы, что стоят за предыдущим Диалогом. В следующей главе мы рассмотрим новые смелые идеи в области ИИ.

Рис. 118. Процедурное представление фразы «красный кубик, который поддерживает пирамиду». (Roger Schank and Kenneth Colby, «Computer Models of Thought and Language», стр. 172)

Как-то субботним вечером Краб пригласил к себе нескольких друзей, чтобы посмотреть футбол по телевизору. Ахилл уже пришел, но Черепаха и ее приятель Ленивец запаздывают.

Ахилл : Не они ли это едут на странном одноколесном аппарате?

(Ленивец и Черепаха подъезжают, спрыгивают на землю и входят в дом)

Краб : Друзья мои, я так рад, что вы наконец здесь. Позвольте представить вам моего старого доброго товарища, Ленивца. Это Ахилл. С Черепахой, я думаю, вы все знакомы.

Ленивец : Я никогда раньше не встречал Бициклопа. Приятно с вами познакомиться, Ахилл. Я слышал много хорошего о Бициклопном роде.

Ахилл : Очень приятно. Могу ли я спросить вас, что это за элегантное средство передвижения, на котором вы прибыли?

Черепаха : Вы имеете в виду мой одноколесный тандем? Что же в нем элегантного? Просто машина, позволяющая двоим добраться от А до Б с одинаковой скоростью.

Ленивец : Он сделан той же компанией, которая производит мотоциклы «Зиг-зиг».

Ахилл : А, понятно. Для чего эта ручка?

Ленивец : Это переключатель скоростей.

Ахилл : Ага; и сколько же у этого аппарата скоростей?

Ленивец : Включая задний ход, одна. У большинства моделей скоростей меньше, но эта была сделана по спецзаказу.

Ахилл : Да, этот моно-тандем кажется отличной штукой… Кстати, м-р Краб, хотел вам сказать, что вчера вечером я получил неописуемое удовольствие от игры вашего оркестра.

Краб : Благодарю вас, Ахилл. А вы там не были, м-р Ленивец?

Ленивец : Нет, к сожалению, я не смог пойти. Я участвовал в смешанном одиночном турнире по пинг-пингу. Это было захватывающе интересно, моя команда разделила первое место сама с собой.

Ахилл : Вы получили какой-нибудь приз?

Ленивец : Конечно — медный двухсторонний лист Мёбиуса, посеребренный с одной стороны и позолоченный с другой.

Краб : Поздравляю вас, м-р Ленивец.

Ленивец : Благодарю. Прошу вас, расскажите мне об этом концерте.

Краб : Это было замечательно, мы играли композиции близнецов Бах —

Ленивец : Близнецы Бах? Знаменитые Иоганнс и Бастиан?

Краб : Они самые, схожие как две капли воды — словно один и тот же человек. Одна из пьес напомнила мне о вас, м-р Ленивец, — прелестный фортепианный концерт для двух левых рук. Его предпоследней (и единственной) частью была одноголосная фуга. Вы можете представить себе, насколько сложна подобная композиция. В завершение мы сыграли девятую дзенфонию Бетховена, после чего публика устроила нам овацию, хлопая одной рукой. Это было потрясающе!

Ленивец : Как жаль, что я такое пропустил. Как вы думаете, можно ли достать запись этого концерта? У меня есть отличный магнитофон — лучшая двухканальная моносистема, которую только можно достать за деньги.

Краб : Я уверен, что вы сможете найти где-нибудь эту запись. Друзья, игра вот-вот начнется!

Ахилл : Кто сегодня играет, м-р Краб?

Краб : Хозяева Поля против Местной Команды. Ах, нет — они играли на прошлой неделе. Сегодня Местная Команда играет против Гостей.

Ахилл : Я, как всегда, болею за Местную Команду.

Ленивец : Как банально… Что до меня, то я всегда болею за ту команду, которая живет ближе всего к антиподам.

Ахилл : А, так вы из Антиподов? Я слышал, что это прелестное местечко, чтобы там жить, но мне бы не хотелось там побывать. Слишком уж далеко…

Ленивец : Странно то, что в какую бы сторону вы ни ехали, вы к ним ничуть не приближаетесь!