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

выраженных на ЕЯ. Этот набор называется множеством исходных 
данных (Initial Data Set, IDS). Желаемые ответы или заключения 
также выражаются в терминах ЕЯ. Этот набор называется 
множеством конечных (терминальных) данных (Terminal Data Set, 
TDS). Проблема состоит в достижении TDS, стартуя с IDS.
Очень простым примером является следующий: множество исходных 
данных состоит из предложения «Большинство шведов высокие», а 
множеством конечных данных есть ответ на вопрос «Каков средний 
рост шведов?» Предполагается, что ответ имеет форму «Средний рост 
шведов есть A», где A–лингвистическое значение роста. 
В этом 
примере цель CW – вычислить A по информации, заложенной во 
множестве исходных данных.
В вычислениях со словами слова играют роль нечетких 
ограничений (constraints), а все предложение интерпретируется как 
нечеткое ограничение на переменную.
Например, предложение 
«Мэри молода» интерпретируется как нечеткое ограничение на возраст 
Мэри. В символьной записи: 
Мэри is молода = Возраст(Мэри) is молодой 

---

А.Е. Кононюк Дискретно-непрерывная математика 
40 
В этом выражении = представляет собой операцию разъяснения 
(explicitation), Возраст (Мэри) – ограничиваемую переменную, а 
«молодой» – нечеткое отношение, которое ограничивает 
Возраст(Мэри).
В общем случае, если 
p
– предложение на ЕЯ, то результат 
разъяснения 
p 
называется 
канонической формой 
p
.
В своей основе, 
каноническая форма предложения 
p
делает явным (explicit) неявное 
(implicit) нечеткое ограничение на 
p
и, таким образом, служит для 
определения значения 
p
как ограничения на переменную.