Оператор - согласование
Cтраница 1
Операторы согласования и порождения синтаксически очень похожи ( только при согласовании можно указывать кванторы: fl, fl, - А, которые бессмысленны при создании нового факта), но их действие ( поиск факта для согласования или создание нового факта) зависит от положения в правиле: в условии или в следствии. Элементы, составляющие эти операторы разделяются пробелами. [1]
Оператор согласования выделяет из рабочего набора факты, удовлетворяющие поставленным в операторе условиям. Успехом оператора согласования является обнаружение такого факта. Если же ни один из фактов рабочего набора не удовлетворяет поставленным условиям, то логическим результатом оператора согласования будет неуспех. [2]
Оператор согласования выполняется над подмножеством из текущего набора фактов, относящихся к тому отношению, которое указано в обобщенном кортеже оператора. [3]
По результатам каждого успешного оператора согласования корректируется текущее значение достоверности условия правила. Текущее значение достоверности берется равным минимуму между прежним текущим значением достоверности и достоверностью согласованного факта. [4]
Операторы языка ABIS синтаксически и по выполняемым действиям разделяются на операторы присваивания, управления, операторы согласования и порождения, и оператор вызова модуля. [5]
При выполнении перехода от St к Si, проявляются особенности реализации языка ABIS, которые следует принимать во внимание при использовании операторов согласования. [6]
Оператор согласования выделяет из рабочего набора факты, удовлетворяющие поставленным в операторе условиям. Успехом оператора согласования является обнаружение такого факта. Если же ни один из фактов рабочего набора не удовлетворяет поставленным условиям, то логическим результатом оператора согласования будет неуспех. [7]
Большая часть типов предложений может использоваться как в условии, так и в следствии правила. Исключение составляют только логические выражения, которые в следствии правила не имеют смысла, а также операторы согласования и порождения фактов. Оператор согласования всегда стоит в условии правила, оператор порождения - всегда в следствии; в некоторых случаях они могут иметь совершенно одинаковую форму записи. [8]
Большая часть типов предложений может использоваться как в условии, так и в следствии правила. Исключение составляют только логические выражения, которые в следствии правила не имеют смысла, а также операторы согласования и порождения фактов. Оператор согласования всегда стоит в условии правила, оператор порождения - всегда в следствии; в некоторых случаях они могут иметь совершенно одинаковую форму записи. [9]
 |
Реализация списков фактов в языке ABIS. [10] |
Второй вариант добавления фактов возникает в случае, если отношение имеет ключ. В этом случае факты могут быть добавлены либо до Si, либо после него, в зависимости от значения ключевых атрибутов. Это вносит элемент непредсказуемости в ход выполнения оператора согласования. [11]
Оператор согласования выделяет из рабочего набора факты, удовлетворяющие поставленным в операторе условиям. Успехом оператора согласования является обнаружение такого факта. Если же ни один из фактов рабочего набора не удовлетворяет поставленным условиям, то логическим результатом оператора согласования будет неуспех. [12]
Страницы: 1