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

1. Ета Ойн: Возьми большой красный кубик (См. рис. 110)

ШРДЛУ: ХОРОШО

Д-р Тире-Рвинога: ШРДЛУ отвечает «хорошо», когда она выполняет команду. Чтобы взять красный кубик, ей пришлось его освободить, найдя место для зеленого кубика и положив его туда.

2. Ета Ойн: Возьми эту пирамиду.

ШРДЛУ: Я НЕ ПОНИМАЮ, КОТОРУЮ ПИРАМИДУ ВЫ ИМЕЕТЕ В ВИДУ.

Д-р Тире-Рвинога: На столе стоят три пирамиды, а ШРДЛУ знает, что предложения со словом «этот» относятся к определенному предмету, который говорящий имеет в виду.

Рис. 110. «Возьми большой красный кубик» (Terri Winograd «Understanding Natural Language», cтp. 8)

3. Eтa Ойн: найди кубик выше, чем тот, что ты держишь, и положи его в коробку. (См. рис. 111.)

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

ШРДЛУ: ПОД «ЕГО» ВЫ, ВЕРОЯТНО, ИМЕЕТЕ В ВИДУ КУБИК, КОТОРЫЙ ВЫШЕ, ЧЕМ ТОТ, ЧТО Я ДЕРЖУ.

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

ШРДЛУ: ХОРОШО.

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

Рис. 111. «Найди кубик выше, чем тот, что ты держишь, и положи его в коробку». (Terri Winograd, «Understanding Natural Language», стр. 9)

4. Ета Ойн: Что находится в коробке?

ШРДЛУ: ГОЛУБАЯ ПИРАМИДА И ГОЛУБОЙ КУБ.

5. Ета Ойн: На что опирается эта пирамида?

Д-р Тире-Рвинога: Раньше ШРДЛУ ответила на слова «эта пирамида», сказав «Я НЕ ПОНИМАЮ, КОТОРУЮ ПИРАМИДУ ВЫ ИМЕЕТЕ В ВИДУ.» Теперь она подразумевает, что вы имеете в виду только что упомянутую пирамиду.

ШРДЛУ: НА КОРОБКУ.

6. Ета Ойн: Сколько кубиков находится не в коробке?

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

ШРДЛУ: ЧЕТЫРЕ.

7. Ета Ойн: Правда ли, что по крайней мере один из них уже, чем тот, который я попросила тебя взять?

Д-р Тире-Рвинога: Выражение «по крайней мере один из них» должно быть проанализировано по отношению к предыдущему вопросу; «тот, который» должно также относиться к кубикам. Группы существительных могут иметь сложное число, как например «по крайней мере, один», «больше трех», «ровно семь» и так далее. Память о прошлых событиях используется, чтобы понять выражение «тот, который я попросила тебя взять». Обратите внимание на сложную синтаксическую структуру, в которой слово «тот» является дополнением придаточного предложения, находящегося двумя уровнями глубже. Программа синтаксического анализа ШРДЛУ включает грамматику, обобщенно решающую такие проблемы.

ШРДЛУ: ДА. КРАСНЫЙ КУБ.

8. Ета Ойн: Он на что-то опирается?

ШРДЛУ: ДА. НА СТОЛ.

Д-р Тире-Рвинога: ШРДЛУ умеет определять, какая информация важна для собеседника, даже если тот не спрашивает об этом прямо.

9. Ета Ойн: Может ли стол брать кубики?

ШРДЛУ: НЕТ.

Д-р Тире-Рвинога: Семантические правила ШРДЛУ включают знания о том, что «брать» что-либо может только некто одушевленный, и что стол — предмет неодушевленный.

10. Ета Ойн: Может ли пирамида стоять на кубике?

ШРДЛУ: ДА.

Д-р Тире-Рвинога: Дедуктивная система ШРДЛУ находит пример подобного положения, так что она знает, что это возможно.

11. Ета Ойн: Может ли пирамида стоять на пирамиде?

ШРДЛУ: Я НЕ ЗНАЮ.

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

12. Ета Ойн: Положи одну пирамиду на другую.

ШРДЛУ: Я НЕ МОГУ.

Д-р Тире-Рвинога: ШРДЛУ попыталась это сделать, но у нее ничего не получилось.

13. Ета Ойн: Голубая пирамида моя.

ШРДЛУ: Я ПОНИМАЮ.

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

14. Ета Ойн: Мне принадлежат все не красные кубики, но мне не принадлежит ничего, что поддерживало бы пирамиду.

ШРДЛУ: Я ПОНИМАЮ.

Д-р Тире-Рвинога: Результатом понимания этих предложений является создание новых процедур в ШРДЛУ, которые выясняют, что вам принадлежит.

15. Ета Ойн: Принадлежит ли мне эта коробка?

ШРДЛУ: НЕТ.

Д-р Тире-Рвинога: На коробку опирается все, что в ней находится, включая пирамиду.

16. Ета Ойн: Принадлежит ли мне что-нибудь из находящегося в коробке?

ШРДЛУ: ДА. ДВЕ ВЕЩИ: ГОЛУБОЙ КУБИК И ГОЛУБАЯ ПИРАМИДА.

17. Ета Ойн: He поставишь ли ты друг на друга оба красных кубика и зеленый куб или пирамиду? (См. рис. 112)

ШРДЛУ: ХОРОШО.

Д-р Тире-Рвинога: Логические связки такие как «и», «или» и так далее, понимаются как на уровне грамматики, так и на уровне семантики. Команда выполняется, даже если она выглядит как вопрос. Эта команда выполняется в несколько шагов. ШРДЛУ кладет зеленый куб на большой красный кубик (при этом она выбирает тот зеленый куб, на котором ничего не стоит), затем убирает маленькую пирамиду с маленького красного куба, чтобы иметь возможность использовать его для окончания постройки требуемой башни.

Рис. 112. «Не поставишь ли ты друг на друга оба красных кубика и зеленый куб или пирамиду?» (Terri Winograd, «Understanding Natural Language», стр. 12)

18. Ета Ойн: Какой куб лежит на столе?

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

Д-р Тире-Рвинога: Обычно ШРДЛУ удовлетворилась бы фразой «БОЛЬШОЙ ЗЕЛЕНЫЙ КУБ», но поскольку вы спросили «какой куб», она должна быть более точной, называя его. В ней имеются также процедуры для опускания существительных или замены их место имениями, чтобы сделать ее речь более естественной.

19. Ета Ойн: Есть ли большой кубик за пирамидой?

ШРДЛУ: ДА. ТРИ ИЗ НИХ. БОЛЬШОЙ КРАСНЫЙ, БОЛЬШОЙ ЗЕЛЕНЫЙ и БОЛЬШОЙ ГОЛУБОЙ.

20. Ета Ойн: Положи маленький на зеленый кубик, на котором стоит пирамида.

Д-р Тире-Рвинога:«Маленький» должно соотноситься с вашей предыдущей фразой «большой кубик», так что это значит «маленький кубик».