ГОСТ Р ИСО 24610-2—2013
att.global.attributes,
model. featureVal
}
vDefault =elementvDefault
{
att.global.attributes.
( model.featureVal+1 if+)
}
if = element if
{
att.global.attributes.
((fs |f ). then. ( model.featureVal))
}
then = element then
{
att.global.attributes.
empty
}
8.5 Ограничения структуры элементов
Для гарантии адекватности структуры элементов может потребоваться нечто большее, чем про
стая спецификациядиапазона допустимыхзначенийдля каждого элемента. Могутоказаться необходи
мыми ограничения совместной встречаемости каких-то значений в рамках одной и той же структуры
элементов или во вложенной структуре.
Такие ограничения структуры элементов выражаются как ряд последовательно применяемых и
условных и биусловных критериев в части <fsConstraints> декларации <fsDecl>. Конкретная структура
элементов адекватна лишь в том случае, если она удовлетворяет всем связанным с ней ограничениям.
Элемент <cond >кодируетобычноеусловноевысказываниетипа «есл и...,то...» булевойлогики, которое
успешно выполняется, когда либо следствие принимает значение «истина», либо условие принимает
значение «ложь». Элемент <bicond> кодирует биусловную операцию («если и только если») булевой
логики. Эта операция успешно выполняется только в том случае, когда соответствующие условные
высказывания истинны в обоих направлениях. В ограничениях элементов структуры первый член отно
шения и вывод выражаются структурами элементов; они считаются истинными, если их структура эле
ментов категоризирует (см. 8.4. Декларации элементов) искомую структуру. С методической точки
зрения, если первый член отношения принимает значение «истина», то вывод тоже должен быть истин
ным. так какистинность вывода утверждается, а не просто проверяется. Таким образом условие выпол
няется принудительно посредством определения правила, согласно которому первый член отношения
не категоризирует(иникогда недолжен категоризировать)данную структуру элементов, или путем вве
дения правила, покоторомупервыйчлен отношенияобязательнокатегоризируетданнуюструктуруэле
ментов. а затем выполняется операция унификации над выводом и этой структурой (при успешном
выполнении этой операции ее результат будет категоризирован следствием). На практике необходи
мость в принудительном выполнении подобныхограничений может возникать в те периоды, когда факт
справедливости ограничений применительно к данной структуре элементов просто не установлен; в
этом случае ограничение должно непрерывно проверяться по мере усиления его информативности до
тех пор. пока не будет определено значение «истина» или не произойдет остановка вычислительного
процесса по какой-то иной причине.
Часть <fsConstraints>декларации FSD образуется следующими элементами:
- fsConstraints (feature-structure constraints)определяет ограничения, накладываемые на инфор
мационное содержание адекватной структуры элементов;
- cond (conditional feature-structure constraint) задаетусловное ограничение структуры элементов;
вывод (следствие) и антецедент определяются как структуры элементов или коллекции структур эле
ментов; ограничение удовлетворяется, если как антецедент, так и следствие категоризируют данную
структуру элементов, или если антецедент ее не категоризирует;
- bicond (biconditional feature-structure constraint) определяет биусловнос ограничение структуры
элементов; иследствие, иантецедентопределяются какструктуры элементов иликакколлокацииструк
тур элементов: ограничение удовлетворяется, если как антецедент, так и следствие категоризируют
данную структуру элементов, или если оба ее не категоризируют;
30