ГРАФИЧЕСКОЕ ПРЕДСТАВЛЕНИЕ БЛОК-СХЕМАМИКак отмечалось в работе [7], при описании и реализации нечетких алгоритмов часто бывает очень удобно определять отношения между переменными и присваивать им конкретные значения с помощью блок-схем. В дальнейшем мы не будем касаться многих сложных вопросов, связанных с описанием и реализацией нечетких алгоритмов. Наша цель - лишь уяснить роль, которую играют блоки решений применительно не к обычным (не нечетким), а нечетким предикатам, связав их с назначением ограничений на базовые переменные. В обычной блок-схеме блок решения типа блока Рис. 8.9. Нечеткий блок решения. Понятия, введенные в предыдущих параграфах, лежат в основе обобщения понятия блока решений применительно к нечетким множествам (или предикатам). В частности, имея в виду рис. 8.9, предположим, что Если ответом является просто ДА, то мы назначаем ограничению на
и переводим С другой стороны, если ответом является НЕТ, мы полагаем
и переводим Если, например,
Если ответом является Если степень принадлежности Если имеется цепочка блоков решений, как на рис. 8.10, то последовательность ответов ДА переведет
где символ Рис. 8.10. Последовательное соединение блоков решения.
Рис. 8.11. Ограничения, соответствующие различным выходам нечеткой блок-схемы Для иллюстрации предположим, что
Следует отметить, что «Джон» - по сути дела, название бинарной лингвистической переменной, имеющей две компоненты Высота и Вес. Таким образом, выражение (8.67) эквивалентно уравнениям назначения Высота = высокий, (8.68) Вес = толстый. (8.69) Из (8.66) следует, что последовательное соединение блоков решения соответствует пересечению нечетких множеств (или, что эквивалентно, конъюнкции нечетких предикатов), связанных с ними. В случае обычных (не нечетких) множеств объединение можно представить схемой, показанной на рис. 8.12. Рис. 8.12. Графическое представление дизъюнкции нечетких предикатов. Ясно, что при таком расположении блоков решения переход из 1 в 2 означает, что
а поскольку
то (8.70) можно переписать в следующем виде:
так как
Такая же схема не даст объединения нечетких множеств, так как для таких множеств равенство
вообще говоря, не выполняется. Тем не менее мы можем согласиться интерпретировать блок-схему на рис. 8.12 как схему, соответствующую объединению множеств Рис. 8.13. Применение последовательного соединения блоков решения. Соглашения, описанные выше, можно использовать для представления в графической форме назначения лингвистического значения лингвистической переменной. Особенно полезно в этой связи последовательное соединение блоков решения, которое соответствует последовательности уточняющих вопросов, предназначенных для сужения области возможных значений переменной. Для иллюстрации предположим, что
Если ответ на первый вопрос - ДА, то
Если ответ на второй вопрос - ДА, а на третий вопрос - НЕТ, то
т. е. значение высоты Джона заключено между значениями очень высокий и не очень очень высокий. При наличии механизма, такого, как в случае уточняющих вопросов, для назначения переменным лингвистических значений поэтапно, а не за один шаг нечеткие блок-схемы могут оказаться весьма полезными для алгоритмических определений нечетких понятий. Основная идея при этом состоит в том, чтобы определить сложное или новое нечеткое понятие посредством более простых или более знакомых понятий. Поскольку нечеткое понятие можно рассматривать как название некоторого нечеткого множества, то эта идея означает фактически разложение нечеткого множества на комбинацию более простых нечетких множеств. Проиллюстрируем это следующим примером. Предположим для иллюстрации, что мы хотим определить термин Хиппи, который можно рассматривать как название нечеткого подмножества полного множества людей. Для этого мы воспользуемся нечеткой блок-схемой, приведенной на рис. 8.14. В сущности эта схема определяет нечеткое множество Хиппи в терминах нечетких множеств, имеющих названия Длинноволосый, Лысый, Бритый, Работа и Наркотики. Более точно оно определяет нечеткое множество Хиппи как (
Рис. 8.14. Алгоритмическое определение понятия Хиппи, представленное в форме нечеткой блок-схемы. Предположим, что мы ставим следующие вопросы и получаем указанные ответы: Длинные ли волосы у Есть у Употребляет ли Тогда мы налагаем на переменную
и поскольку это ограничение содержится в правой части выражения (8.79), мы заключаем, что Модифицируя нечеткие множества, входящие в определение Хиппи, при помощи таких неопределенностей, как очень, более или менее, чрезвычайно и т. п., и допуская ответы вида ДА/
на уравнения назначения значений истинности такого же вида, но содержащие более простые или более знакомые переменные в левой части.
|