5.2.1. ВЫПОЛНЕНИЕ И ОБЪЕДИНЕНИЕ ИНСТРУКЦИЙ

Любая инструкция, заданная неточными терминами, может давать основания для ее различных интерпретации В ряде случаев эти интерпретации считаются возможными в большей или меньшей степени; тогда они образуют нечеткое множество интерпретаций. Например, в инструкции «Пройти расстояние до перекрестка примерно — указание «примерно приводит к рассмотрению нечеткого множества интерпретаций относительно заданной среды. Нечеткое множество значений расстояния, совместимых с указанием «примерно индуцирует нечеткое множество «допустимых перекрестков”. В более общем плане будем говорить о нечетком множестве возможных интерпретации.

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

Определение множества интерпретаций для некоторой инструкции. Каждая инструкция в зависимости от ее типа может содержать неточные операнды различного рода Так, в примере, изложенном выше, находим неточные операнды, относящиеся к расстояниям и направлениям. Инструкции содержат ссылки на составляющие среды, которые требуется идентифицировать. Так, инструкция. «Дойти до азиатского ресторана, расположенного примерно в — обязывает провести поиск всех «точек», которые одновременно с достаточной степенью совместимы с расстоянием «примерно и характеристикой «азиатский ресторан” Условие «одновременно” означает, что должны свертываться степени совместимости, соответствующие каждой составляющей задания, причем для этого будет использоваться оператор min. В данном примере степень соответствия характеризует возможность того, что рассматриваемая «точка” соответствует определению, заданному в инструкции Степень совместимости считается достаточной, если она превышает некоторый установленный порог.

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

Задача выбора интерпретации для некоторой инструкции. Когда требуется выбрать одну интерпретацию из известного множества возможных интерпретаций, естественно учитывать степень совместимости, связываемую с каждой из них. Кроме того, конкретному приложению может ставиться в соответствие своя стоимость выбора интерпретации. Эффективный выбор конкретной интерпретации осуществляется в результате совместного учета степеней совместимости и стоимостей с помощью некоторой эвристики, подходящей к данной предметной области.

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

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

либо пересмотреть предыдущие инструкции случай возврата назад.