Давайте посмотрим, что делает система с простым описанием, например, «красный кубик, который поддерживает пирамиду». Это описание использует понятия БЛОК, КРАСНЫЙ, ПИРАМИДА, и РАВНОМЕРНЫЙ, каждое из которых является частью категоризации мира, лежащей в основе системы. Результат может быть представлен в виде блока-схемы, как на рис. 118. Обратите внимание, что это программа предназначена для нахождения предмета, совпадающего с данным описанием. Затем она будет включена в команду сделать нечто с данным предметом или в вопрос об этом предмете. Или же, если это описание будет частью предложения, оно станет частью программы, созданной для представления этого значения для его дальнейшего использования. Заметьте, что этот кусок программы также мог бы быть использован для проверки того, совпадает ли предмет с данным описанием, если бы первая команда НАЙТИ была заранее ограничена поисками нужного нам предмета.
С первого взгляда кажется, что у этой программы — слишком сложная структура, поскольку нам не нравится думать, что значение простой фразы может содержать петли, проверку условий перехода на другую ветвь и другие подобные детали. Чтобы решить эту проблему, нам необходим такой внутренний язык, в котором петли и проверки были бы простейшими элементами и в котором представление процессов было бы так же просто, как и их описание. Программа, представленная на рис. 118, на языке ПЛАННЕР выглядела бы примерно так:
(ЦЕЛЬ (Есть ? кубик X1))
(ЦЕЛЬ (Цвет ? X1 красный))
(ЦЕЛЬ (Равномерный ? X1))
(ЦЕЛЬ (Есть ? пирамида Х2))
(ЦЕЛЬ (Есть ? кубик X1))
(ЦЕЛЬ (? X1 поддерживает ?Х2))
Петли блока-схемы подразумеваются в структуре контроля возврата. Правильность описания оценивается путем следования вниз по списку до тех пор, пока какая-нибудь из целей не окажется невыполнимой; тогда программа автоматически отступает к тому моменту, когда она приняла последнее решение, и пробует другой путь. Решение может быть принято всякий раз, когда вводится новое название предмета или новая ПЕРЕМЕННАЯ (отмеченная префиксом «?»). Переменные используются для сопоставления с образцом. Если они уже обозначают некий предмет, программа сопоставления проверяет, выполнима ли цель для данного предмета. Если нет, то эта программа ищет все возможные предметы, для которых эта цель выполнима, выбирая один предмет и совершая последующие шаги до тех пор, пока ей не придется отступить. В таком случае она начинает работать со следующим подходящим предметом. Таким образом, неявным является даже различие между выбором и проверкой.[80]
При разработке этой программы было принято важное стратегическое решение: не переводить полностью с английского на ЛИСП, а только частично — на ПЛАННЕР. Таким образом, поскольку интерпретатор ПЛАННЕР сам написан на ЛИСПе, между языком высшего уровня (английским) и языком низшего уровня (машинным) был введен новый промежуточный уровень (ПЛАННЕР). После того, как фрагмент английского предложения переводится в программу на ПЛАННЕРе, эта программа может быть послана на интерпретер ПЛАННЕРа, освобождая высший уровень ШРДЛУ для работы над другими задачами.
Постоянно приходится решать следующие проблемы: сколько уровней должно быть у системы? Сколько и какой тип «интеллекта» надо располагать на каждом из этих уровней? Сегодня эти проблемы — одни их самых трудных в ИИ. Поскольку мы знаем так мало о настоящем разуме, нам очень трудно решить, какой уровень искусственной разумной системы должен выполнять ту или иную часть задачи.
Это позволяет вам лучше понять те проблемы, что стоят за предыдущим Диалогом. В следующей главе мы рассмотрим новые смелые идеи в области ИИ.
Рис. 118. Процедурное представление фразы «красный кубик, который поддерживает пирамиду». (Roger Schank and Kenneth Colby, «Computer Models of Thought and Language», стр. 172)
Как-то субботним вечером Краб пригласил к себе нескольких друзей, чтобы посмотреть футбол по телевизору. Ахилл уже пришел, но Черепаха и ее приятель Ленивец запаздывают.
Ахилл: Не они ли это едут на странном одноколесном аппарате?
(Ленивец и Черепаха подъезжают, спрыгивают на землю и входят в дом)
Краб: Друзья мои, я так рад, что вы наконец здесь. Позвольте представить вам моего старого доброго товарища, Ленивца. Это Ахилл. С Черепахой, я думаю, вы все знакомы.
Ленивец: Я никогда раньше не встречал Бициклопа. Приятно с вами познакомиться, Ахилл. Я слышал много хорошего о Бициклопном роде.
Ахилл: Очень приятно. Могу ли я спросить вас, что это за элегантное средство передвижения, на котором вы прибыли?
Черепаха: Вы имеете в виду мой одноколесный тандем? Что же в нем элегантного? Просто машина, позволяющая двоим добраться от А до Б с одинаковой скоростью.
Ленивец: Он сделан той же компанией, которая производит мотоциклы «Зиг-зиг».
Ахилл: А, понятно. Для чего эта ручка?
Ленивец: Это переключатель скоростей.
Ахилл: Ага; и сколько же у этого аппарата скоростей?
Ленивец: Включая задний ход, одна. У большинства моделей скоростей меньше, но эта была сделана по спецзаказу.
Ахилл: Да, этот моно-тандем кажется отличной штукой… Кстати, м-р Краб, хотел вам сказать, что вчера вечером я получил неописуемое удовольствие от игры вашего оркестра.
Краб: Благодарю вас, Ахилл. А вы там не были, м-р Ленивец?
Ленивец: Нет, к сожалению, я не смог пойти. Я участвовал в смешанном одиночном турнире по пинг-пингу. Это было захватывающе интересно, моя команда разделила первое место сама с собой.
Ахилл: Вы получили какой-нибудь приз?
Ленивец: Конечно — медный двухсторонний лист Мёбиуса, посеребренный с одной стороны и позолоченный с другой.
Краб: Поздравляю вас, м-р Ленивец.
Ленивец: Благодарю. Прошу вас, расскажите мне об этом концерте.
Краб: Это было замечательно, мы играли композиции близнецов Бах —
Ленивец: Близнецы Бах? Знаменитые Иоганнс и Бастиан?
Краб: Они самые, схожие как две капли воды — словно один и тот же человек. Одна из пьес напомнила мне о вас, м-р Ленивец, — прелестный фортепианный концерт для двух левых рук. Его предпоследней (и единственной) частью была одноголосная фуга. Вы можете представить себе, насколько сложна подобная композиция. В завершение мы сыграли девятую дзенфонию Бетховена, после чего публика устроила нам овацию, хлопая одной рукой. Это было потрясающе!
Ленивец: Как жаль, что я такое пропустил. Как вы думаете, можно ли достать запись этого концерта? У меня есть отличный магнитофон — лучшая двухканальная моносистема, которую только можно достать за деньги.
Краб: Я уверен, что вы сможете найти где-нибудь эту запись. Друзья, игра вот-вот начнется!
Ахилл: Кто сегодня играет, м-р Краб?
Краб: Хозяева Поля против Местной Команды. Ах, нет — они играли на прошлой неделе. Сегодня Местная Команда играет против Гостей.
Ахилл: Я, как всегда, болею за Местную Команду.
Ленивец: Как банально… Что до меня, то я всегда болею за ту команду, которая живет ближе всего к антиподам.
Ахилл: А, так вы из Антиподов? Я слышал, что это прелестное местечко, чтобы там жить, но мне бы не хотелось там побывать. Слишком уж далеко…
Ленивец: Странно то, что в какую бы сторону вы ни ехали, вы к ним ничуть не приближаетесь!
Черепаха: Ну и местечко — как раз в моем вкусе!
Краб: Пора включать телевизор!
(Он подходит к огромному ящику с экраном, под которым находится панель управления, напоминающая по сложности приборную доску самолета. Краб нажимает на кнопку. На экране оживает цветное изображение футбольного поля.)
Комментатор: Добрый вечер, дорогие телезрители. Пришло время снова встретиться на футбольном поле Местной Команде с Командой Гостей; сейчас мы станем свидетелями еще одного дружеского, но непримиримого матча. Сегодня весь день накрапывал дождь, и поле мокрое; но, несмотря на погоду, матч обещает быть захватывающе интересным. Обратите внимание на великолепную четверку четвертьзащитников, играющих за Местную Команду: Буратинов, Бибигонов, Незнайкин и Дюймовочкин, краса и гордость клуба «Унинамо». А вот и защитник наших ворот, великолепный Пилипик. Свисток… игра началась! Мяч у Бузюлюкина… Местные переходят в наступление, Бузюлюкин передает мяч Голяшкину, тот пасует Чебурашкину… Удар по воротам! Голкиперу Гостей на этот раз удается спасти свою команду.
