Фреймы для представления знаний

Большинство читателей понимает, что Джейн нужны деньги, чтобы купить Джеку в подарок воздушный змей, что в ее копилке нет для этого денег. Е.Чарняк предлагает ряд способов для облегчения вывода подобных фактов, например: использовать "демон" подарок с помощью которого может выполняться поиск вещей приобретаемых за деньги, или демон, связанный с копикой, который "знает", что если ее трясут и из нее не доносится никаких звуков, то она пуста, и т.д. Демон (Е.Чарняк, 1974) - это утверждение процедурального типа, ассоциируемое с некоторым понятием семантической сети. Например, демон "дерево" может быть связан с понятием весна н отражать следующую причинно-следственную связь: "Когда весна полностью вступает в свои права, начинают цвести плодовые деревья ". Несмотря на то что теперь слово подарок активирует понятие деньги, сами они в рассказе не фигурируют и это может вызвать удивление. Подарок определенно связан с днем рождения, а деньги - с копилкой, но каким образом строятся эти длинные цепочки рассуждении? Это еще одна из проблем, затронутых в работе Е. Чарняка. Приятель говорит Джейн:

У него уже есть воздушный змей

Он заставит тебя отнести его обратно.

Какой воздушный змей надо будет отнести обратно?! Мы не хотели бы, чтобы Джейн вернула старый змей Джека. Чтобы разобраться в том, какое слово заменено здесь местоимением "его", нужно, в рамках предполагаемого сценария понять очень многие вещи. Ясно, что слово "его" относится к новому воздушному змею, который должна купить Джейн. Но каким образом мы об этом узнаем? (Заметьте, что совсем не обязательно требовать единственного объяснения). Обычно местоимения относятся к последнему из упомянутых ранее объектов, но, как показывает данный пример, это отношение не определяется просто лишь локальным синтаксисом.

Предположим, что мы пытаемся заполнить конкретными заданиями пробелы в субфрейме "покупка подарка". Само по себе слово "его" недостаточно информативно, но группа слов "взять его обратно" вполне подошла бы для согласования соответствующего терминала сценария покупка. Поскольку задания этого терминала должны одновременно удовлетворять маркерам терминала "подарок", мы убеждаемся в правильности вхождения слова "его" (подарок) в словосочетание "отнести Х обратно". Таким образом, тот факт, что отнести следует новый воздушный змей. устанавливается автоматически. Конечно, так же, как и у всех других, у искомого терминала имеются свои собственные ограничения. Субфрейму "покупка подарка" для идиомы "отнести его обратно" должно быть известно, что действие "отнести Х обратно" предполагает следующее:

X куплен недавно.

Возврат производится по месту покупки.

У вас должен быть товарный чек и т.д.

Если текущий сценарий не содержит терминала "отнести его обратно", следует найти и использовать другой сценарий, сохранив по возможности наибольшее числе прежних заданий. Отметим, что при нормальном выполнении процесса согласования вопрос о старом воздушное змее здесь попросту не возникнет. Ощущение двусмысленности появляется только тогда, когда рассматриваются отклонения, близкие к неправдоподобным.

Е. Чарняк предложил аналогичное решение; он, однако, подчеркивает важность понимания того факта, что поскольку у Джека уже есть воздушный змей, ему вряд ли нужен будет еще один. Е. Чарняк предлагает использовать следующие правила, связанные со словом "подарок":

(A) Если мы видим, что подарок Х не нравится лицу Р, то следует ожидать возврата Х в магазин, где он был куплен.

(B) Если возврат Х в магазин предполагается или является установленным фактом, то причина этого в том, что Х не нравится Р.

Автор этих правил считает, что подобные "советы" процедурального типа должны реализовываться как дополнение к сведениям декларативного характера, хранящимся в базах данных, и вызываться в ситуациях, соответствующих определенным контекстам. Если все предшествующие условия для таких "советов" выполнены, то включенные в них действия привнесут то количество информации (о Джеке, о воздушном змее), которое достаточно, например, для правильного разрешения вопроса с местоимением "его".