Основы теории нечетких множеств и нечеткой логики

Одним из методов изучения множеств без уточнения их границ является теория нечетких множеств, которая была предложена в 1965 г. профессором Калифорнийского университета Лотфи Заде. Первоначально она разрабатывалась как средство моделирования неопределенности естественного языка. Однако впоследствии круг задач, решаемых с использованием аппарата нечетких множеств, значительно расширился и сейчас включает в себя такие области, как анализ данных, распознавание, исследование операций, моделирование сложных систем, поддержка принятия решений и т. д. [4, 5].

Нередко при определении и описании характеристик объектов оперируют не только количественными, но и качественными значениями. В частности, рост человека можно количественно измерить в сантиметрах, а можно описать, используя качественные значения: карликовый, низкий, средний, высокий или гигантский. Интерпретация качественных значений носит субъективный характер, т.е. они могут по-разному трактоваться разными людьми (субъектами). В силу нечеткости (размытости) качественных значений, при необходимости перехода от них к количественным величинам возникают определенные трудности.

В системах, построенных на базе нечетких множеств, используются правила вида «ЕСЛИ А ТО В» (А ® В), в которых как в А (условие, предпосылку), так и в В (результат, гипотезу) могут входить качественные значения. Например, «ЕСЛИ Рост = "высокий" ТО Вид_спорта = "баскетбол"».

Переменная, значение которой определяется набором качественных значений некоторого свойства, в теории нечетких множеств называются лингвистической. В приведенном примере правила используются две лингвистические переменные: Рост и Вид_спорта.

Каждое значение лингвистической переменной определяется через так называемое нечеткое множество. Нечеткое множество определяется через некоторую базовую шкалу X и функцию принадлежности (характеристическую функцию) m(х), где х Î Х. При этом, если в классическом канторовском множестве элемент либо принадлежит множеству (m(х) = 1), либо не принадлежит (m(х) = 0), то в теории нечетких множеств m(х) может принимать любое значение в интервале [0, 1]. Над нечеткими множествами можно выполнять стандартные операции: дополнение (отрицание), объединение, пересечение, разность и т. д. (рис. 33).

Для нечетких множеств существует также ряд специальных операций: сложение, умножение, концентрирование, расширение и т. д.

При задании лингвистической переменной ее значения, т. е. нечеткие множества, должны удовлетворять определенным требованиям (рис. 34).

1. Упорядоченность. Нечеткие множества должны быть упорядочены (располагаться по базовой шкале) в соответствии с порядком задания качественных значений для лингвистической переменной.

2. Ограниченность. Область определения лингвистической переменной должна быть четко обозначена (определены минимальные и максимальные значения лингвистической переменной на базовой шкале). На границах универсального множества, где определена лингвистическая переменная, значения функций принадлежности ее минимального и максимального нечеткого множества должны быть единичными. На рисунке Т1 имеет неправильную функцию принадлежности, а Т6 – правильную.

3. Согласованность. Должно соблюдаться естественное разграничение понятий (значений лингвистической переменной), когда одна и та же точка универсального множества не может одновременно принадлежать с m(х) = 1 двум и более нечетким множествам (требование нарушается парой Т2 – Т3).

4. Полнота. Каждое значение из области определения лингвистической переменной должно описываться хотя бы одним нечетким множеством (требование нарушается между парой T3 – Т4).

5. Нормальность. Каждое понятие в лингвистической переменной должно иметь хотя бы один эталонный или типичный объект, т. е. в какой-либо точке функция принадлежности нечеткого множества должна быть единичной (требование нарушается T5).

 

m(х)

 

0 20 40 60 80 100 110 120 140 160 X

Нечеткое множество «низкий рост» mн(х)

 

m(х)

 

0 20 40 60 80 100 110 120 140 160 X

Нечеткое множество «высокий рост» mв(х)

 

m(х)

 

0 20 40 60 80 100 110 120 140 160 X

Д = Н : Дополнение нечеткого множества «низкий рост»

mд(х) = 1 – mн(х)

 

m(х)

 

0 20 40 60 80 100 110 120 140 160 X

Н È В : Объединение нечетких множеств «низкий рост» и «высокий рост»

mнв(х) = mах(mн(х), mв(х))

 

m(х)

 

0 20 40 60 80 100 110 120 140 160 X

Н Ç В : Пересечение нечетких множеств «низкий рост» и «высокий рост»

mнв(х) = min(mн(х), mв(х))

 

Рис. 33. Операции над нечеткими множествами

 

m(х) Т1 Т2 Т3 Т4 Т5 Т6

 

X

Рис. 34. Пример задания нечетких множеств для линг­вис­тической переменной с нарушением требований

 

Требования 2–4 можно заменить одним универсальным – сумма функций принадлежности m(х) по всем нечетким множествам в каждой точке области определения переменной должна равняться 1.

При обработке правил с лингвистическими переменными (нечетких правил) для вычисления истинности гипотезы применяются правила нечеткой логики. Нечеткая логика – разновидность непрерывной логики, в которой предпосылки, гипотезы и сами логические формулы могут принимать истинностные значения с некоторой долей вероятности.

Основные положения нечеткой логики:

· истинность предпосылки, гипотезы или формулы лежит в интервале [0, 1];

· если две предпосылки (Е1 и Е2) соединены Ù (логическим И), то истинность гипотезы Н рассчитывается по формуле t(Н) = MIN(t(Е1), t(Е2));

· если две предпосылки (Е1 и Е2) соединены Ú (логическим ИЛИ), то истинность гипотезы Н рассчитывается по формуле t(Н) = MAX(t(Е1), t(Е2));

· если правило (П) имеет свою оценку истинности, тогда итоговая истинность гипотезы Нитог корректируется с учетом истинности правила t(Нитог) = MIN(t(Н), t(П)).

Процедура обработки нечетких правил состоит из 4 этапов.

Этап 1. Вычисление значений функций принадлежности (истинности) для нечетких множеств лингвистических переменных, входящих в левые части правил.

Этап 2. Модификация нечетких множеств для лингвистической переменной, указанной в правой части правил, в соответствии со значениями функции принадлежности, полученными на первом этапе.

Этап 3. Объединение (суперпозиция) модифицированных множеств.

Этап 4. Скаляризация результата суперпозиции – переход к числовым значениям лингвистических переменных, указанных в правой части. Обычно определяется как центр тяжести суперпозиции соответствующих модифицированных множеств.








Дата добавления: 2017-09-19; просмотров: 1165;


Поиск по сайту:

При помощи поиска вы сможете найти нужную вам информацию.

Поделитесь с друзьями:

Если вам перенёс пользу информационный материал, или помог в учебе – поделитесь этим сайтом с друзьями и знакомыми.
helpiks.org - Хелпикс.Орг - 2014-2024 год. Материал сайта представляется для ознакомительного и учебного использования. | Поддержка
Генерация страницы за: 0.012 сек.