Гёдель, Эшер, Бах. Эта бесконечная гирлянда

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

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

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

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

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

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

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

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

ШРДЛУ: НЕТ.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

21. Ета Ойн: Поставь на него наименьшую пирамиду.

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

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

22. Ета Ойн: Сколько вещей стоит на зеленых кубах?

ШРДЛУ: Я НЕ СОВСЕМ ПОНИМАЮ, ЧТО ВЫ ИМЕЕТЕ В ВИДУ ПОД «НА» ВО ФРАЗЕ «НА ЗЕЛЕНЫХ КУБАХ». ВЫ ХОТИТЕ СКАЗАТЬ:

1 — ПРЯМО НА ПОВЕРХНОСТИ,

2 — ГДЕ ЛИБО НА НИХ?