Дискретно-непрерывная математика. Кн. 0 : Алгоритмы. Ч. Генетические алгоритмы

В более 
общей постановке каноническая форма 
p
 представляется как 
X isr R,
где 
X
–лингвистически ограничиваемая переменная, например, 
Возраст(Мэри), 
R
– ограничивающее нечеткое отношение, например, 
«молодой», и 
isr
– переменная, в которой 
r 
– дискретная переменная, 
значения которой определяют роль 
R
по отношению к 
X
. В частности, 
если 
r=d, 
то 
isd
обозначается как «
is
», и ограничение «
X is R
» 
называется дизъюнктивным. В этом случае 
R
определяет распределение 
возможности для
X
. Какова причина трактовать 
r
как переменную? 
Богатство естественных языков делает необходимым использование 
широкого разнообразия ограничений для представления значений 
предложения, выраженного средствами ЕЯ. В вычислениях со словами 
основными типами ограничений, которые используются в дополнение к 
дизъюнктивному типу, являются: конъюнктивный, вероятностный, 
обычность (usuality), случайное множество, грубое множество, 
нечеткий граф и функциональные типы. Каждый из этих типов 
соответствует конкретному значению 
r
.
В вычислениях со словами первый шаг в определении множества 
конечных данных состоит в разъяснении, т.е. в представлении 
предложений из IDS в их канонической форме. Следующий шаг 
включает распространение ограничений (constraint propagation), 
которое осуществляется в результате использования правил 
вывода нечеткой логики. 
В сущности, правила вывода в нечеткой 
логике могут интерпретироваться как правила распространения 
ограничений.