Сказанное выше об активности фрагментов сети знаков-фреймов требует введения некоторого метауровня по отношению к уровням иерархической сети знаков-фреймов. Для того, чтобы активизировать какие-то процедуры для устранения диссонанса, необходимо видеть сеть знаков-фреймов «сверху», как бы «с высоты птичьего полета». Другими словами, необходим некоторый метауровень, на котором фрагменты сети знаков-фреймов рассматриваются как знаки.
Для подобного метауровня уровень сети знаков-фреймов выступает в качестве того ментального мира, который содержит денотаты для формирования метазнаков. Такими денотатами могут быть определенные фрагменты сети знаков-фреймов. На рис.9 внизу показан фрагмент сети знаков-фреймов, совпадающий с тем, который был показан на рис.7а. Этот фрагмент несет в себе конфликт, который может иметь имя «Конфликт из-за собаки». На метауровне возникает знак (или метазнак) с таким именем. Ему соответствует треугольник в верхней части рис.9. Активизация вершины- имени вызывает активизацию двух других вершин треугольника. Вершина-понятие несет в себе информацию о смысле конфликта, его семантике. И прежде всего информацию о том, чем опасен подобный конфликт, чем он грозит Джону (если именно ментальные представления Джона отражены на рис.9). Наконец, вершина-представление не просто рисует нам картину последствий этого конфликта, как это было для знаков обычного уровня. Она несет в себе и информацию о способах преодоления конфликта, т.е. информацию о тех процедурах, которые можно использовать для устранения конфликта.
Таким образом, метазнаки, в отличие от знаков, несут в себе «заряд активности». Одним из примеров метазнаков можно считать правила или продукции – специальные конструкции из инструментария ИИ, связанные с выполнением определенных действий. Они обычно имеют вид [21,27]
C; Если A, то B; H
Основной частью продукции (ее обычно называют ядром) является секвенция «Если A, то B», понимаемая в ИИ значительно шире того, как понимается секвенция в логике. В системах искусственного интеллекта вполне могут встречаться, например, такие продукции [27]:
Если звезды зажигают, то это кому-то нужно.
Если враг не сдается, то его уничтожают.
Если я заболею, то к врачам обращаться не стану.
Если прошел дождь, то асфальт будет мокрым.
Легко заметить, что при одинаковой форме, приведенные в качестве примеров продукции имеют различный смысл. Первая продукция из наличия некоторого факта делает вывод о намерениях того, кто создал этот факт. Вторая продукция из некоторого факта делает вывод о необходимости выполнения некоторого действия. В третьей продукции в качестве заключения выступает информация об отказе от совершения определенного действия, а последняя продукция связывает два факта причинно-следственной связью. Напомним, что в логике секвенция говорит лишь о том, как два утверждения связаны с точки зрения их истинности.
Две остальные компоненты в задании продукции, отличные от ядра, показывают условия при которых активизируется продукция (C) и те последствия, которые возникнут после применения продукции (H).
Вернемся к рис.9. В треугольнике, показанном наверху, роль A играет информация о наличии конфликта из-за собаки. В зависимости от того, чем опасен такой конфликт, выполняется или не выполняется условие C. Информация о нем хранится в верхней вершине треугольника для метазнака. Если Джон считает, что конфликт опасен и не нужно оттеснять его из активной зоны внимания, то реализуется B, информация о котором представляется той вершиной треугольника, которая на рис.9 названа «Что делать?». В ней имеется информация о возможных (согласно рис.7) процедурах, которые могут вывести из конфликта. Анализируя постусловия применения этих процедур (т.е. результаты, к которым может привести их применение), Джон выберет для исполнения ту из них, которая соответствует наиболее благоприятному для него значению H.
Вершины, используемые в треугольниках, соответствующих метазнакам, можно назвать так, как это часто делают в семиотике, когда хотят подчеркнуть неразрывность трех сторон в каждом знаке: синтаксис, семантика и прагматика. Синтаксис определяет способ кодирования знака, семантика – его значение для субъекта, а прагматика – те процедуры, которые так или иначе связаны с этим знаком, предписываются им.
На рис.10 мы имеем ситуацию, в чем-то сходную с той, которая была показана на рис.1. Только теперь вместо денотата реального мира имеется определенный фрагмент из сети знаков-фреймов. Этот фрагмент обладает собственным именем, специальным кодом, выделяющим данный метазнак среди остальных метазнаков. Знания о свойствах выделенного фрагмента составляют понятие об этом фрагменте, т.е. определяют семантику метазнака, а рекомендации о действиях в виде записей по типу продукций позволяют реализовать тот раздел знака-фрейма, который назывался в параграфе 7 «условия активности». Каждый элемент этого раздела имеет вид: (условие i; имя процедуры). Используя обозначения, принятые для продукций, можно представить эти элементы в виде:
(Ci, Ai, Hi; Bi).
Здесь в результате анализа условий применимости продукции Ci, когда Ai активизировалось, и с учетом оценки последствий Hi принимается решение об активизации процедуры с именем Bi .
Метауровень в знаковых представлениях нужен не только для реализации активности. Наличие метауровня позволяет делать гораздо большее. С помощью метазнаков можно проводить рассуждения о знаках, отвечать на вопросы о том, как устроена знаковая система (например, как выглядит или насколько сложна сеть из знаков-фреймов). Таким образом, появление метауровня позволяет реализовать свойство рефлексии или способности к самонаблюдению и самоанализу. Возможность рефлексивных рассуждений [28] существенно приближает знаковые системы к тем, которыми пользуется в своей повседневной практике человек.
Вернемся к рис.10. Как и в базовом треугольнике, определяющем знак, в треугольнике, определяющем метазнак, имеются внутренние связи. Связь, обозначенная цифрой 4, позволяет по имени (синтаксическому выражению знака) получать всю имеющуюся информацию о той сущности, с которой субъект столкнулся. И наоборот, некоторое описание, хранящееся в метазнаке, может получить при необходимости соответствующее ему синтаксическое выражение.
Связь, отмеченная цифрой 5, позволяет делать объяснения причин выполненных процедур («я хотел, чтобы Мери полюбила собак»), а в обратную сторону эта связь позволяет формировать действия на основании анализа той ситуации, которая характеризуется данным знаком (и, в частности, планировать наиболее целесообразную последовательность действий).
Наконец, связь, обозначенная на рассматриваемом рисунке цифрой 6, позволяет по имени сразу выбирать некоторые действия, не обращаясь к семантике знака. Это возможно тогда, когда имя и действие связаны между собой однозначно. Увидев красный свет светофора, водитель автомашины автоматически нажимает педаль тормоза. Здесь синтаксис и прагматика оказываются связанными напрямую и не требуют обращения к семантике. Эта же связь позволяет по совершенным действиям восстановить имя той ситуации, в которой стало необходимым совершать данные действия.
В системе, где используются знаки и метазнаки, должны также присутствовать специальные средства, с помощью которых могли бы реализоваться все процедуры, связанные с 4, 5 и 6. В системах ИИ подобная совокупность процедур обычно реализуется в блоках, называемых «планировщик» или «решатель». От того, насколько хорошо реализованы эти процедуры, во многом зависит эффективность работы интеллектуальных систем.
0 коммент.:
Отправить комментарий