Излишнее стремление к точности стало оказывать действие, сводящее на нет теорию управления и теорию систем, так как оно приводит к тому, что исследования в этой области сосредоточиваются на тех и только тех проблемах, которые поддаются точному решению. Многие классы важных проблем, в которых данные, цели и ограничения являются слишком сложными или плохо определенными для того, чтобы допустить точный математический анализ, оставались и остаются в стороне лишь по той причине, что они не поддаются математической трактовке. Л. Заде
В мире очень многое не делится только на белое и чёрное, на правду и истину, … Человек использует множество нечётких понятий для оценки и сравнения физических величин, состояний объектов и систем на приближенном, качественном уровне. Так, любой из нас способен оценить величину температуры за окном, не прибегая к помощи термометра, а руководствуясь лишь собственными ощущениями и шкалой приближенных оценок (“достаточно пасмурно, чтобы взять зонт”).
Но качественная оценка не обладает свойством аддитивности, присущим привычным нам числам; т. е. мы не можем определить результат операций для приближенных оценок (“небольшая сумма денег” + “небольшая сумма денег”), в отличие от, к примеру, натуральных чисел (2 + 2). Не можем определить потому, что качественная оценка сильно зависит от лица, принимающего решение, контекста и смысла, вкладываемого в конкретном случае.
Однако, в мире имеется достаточно величин, которые мы не в состоянии по тем или иным причинам точно оценить: степень порядка в комнате, "престижность" автомобиля, красота человека, “схожесть" вещей, … Но работать с ними как с привычными числами хочется хотя бы для задач автоматизации.
Формализация таких оценок может основываться на теории нечётких множеств. Понятие нечёткого множества появилось в 1964 году благодаря американскому учёному азербайджанского происхождения Лютфи Заде.
Начнём рассмотрение его теории с базовых понятий.
Нечётким множеством (размытым множеством) в универсальном множестве (универсуме) U называется совокупность пар вида , где , а
— функция принадлежности нечёткого множества , . Нечёткое множество можно записать также в виде .
Для любого элемента U функция принадлежности определяет степень принадлежности (степень принятия) данного элемента u к множеству(-ом) . Так как функция принадлежности практически исчерпывает понятие нечёткого множества, очень часто эти два понятия отождествляют. Поэтому можно встретить как кто-либо определяет нечёткое множество лишь задав функцию принадлежности.
Одной из трактовок является вероятностная трактовка (не принимаемая Л. Заде), по которой значение функции для данного элемента – вероятность его нахождения в этом множестве. Другой – степень чёткости элемента из множества U на множестве . Вообще говоря, трактовка исходит из задачи, которая решается методами нечёткой математики.
Привычные нам чёткие множества, в которых функция принадлежности имеет вид , являются таким образом частным случаем нечётких множеств.
Как принято, можно задать несколькими способами:
Например
Непрерывная характеристическая функция принадлежности элементов множества действительных чисел к чёткому множеству -a?x?a.
Непрерывная функция принадлежности элементов множества действительных чисел к нечёткому множеству чисел “примерно ноль”.
.
Рассмотрим основные понятия и характеристики нечётких множеств.
Чёткое значение множества – значение, степень принятия которого равна 1. На показанном примере чётким значением является только число 0.
Элементы, для которых значение равно 0.5, называются точками перехода нечёткого множества. Точками перехода в примере являются -a/2 и a/2.
Высотой нечёткого множества является величина .
Нечёткое множество нормально, если его высота равна 1, иначе оно субнормально. Каждое нечёткое множество возможно нормализовать – поделить значение функции принадлежности для каждого элемента на высоту множества.
Очевидно, что, если для каждого элемента универсального множества его функция принадлежности к А равна 0, то такое множество называется пустым.
Нечёткое множество унимодально, если функция принадлежности равняется 1 лишь для одного элемента.
На картинке 2 ограничивает область – носитель множества . Обычно в литературе носитель нечёткого множества обозначается как или .
Функция принадлежности относится к классу с конечным носителем, если существует такой элемент x, для которого ; с бесконечным – когда существует .
Все сравнения и операции, проводимые над нечёткими множествами, определяются через действия над их функциями принадлежности. Также необходимо несколько оговорок:
Для всех операций и сравнений мы будем иметь в виду: — нечёткие множества на U, все . Итак, начнём.
Равны два множества тогда и только тогда, когда .
Множество включено в другое тогда и только тогда, когда для любого x.
Объединение множеств такое, что . Объединение соответствует союзу ИЛИ и обозначается короче, как . (t–конорма или s–норма)
Пересечение множеств такое, что . Пересечение соответствует союзу И и обозначается короче, как . (t-норма)
Следующие соотношения доказываются графически:
Существует несколько способов определения базовых операций пересечения и объединения. К примеру, для операции пересечения иногда используют алгебраическое произведение функций принадлежности, их среднее геометрическое и несколько иных. Выбор того или иного подхода зависит от конкретной задачи, когда использование операций min и max приводит к неадекватности модели реальной ситуации.
Разность множеств такая, что .
Разность называется дополнением нечёткого множества и обозначается . Из определения разности множеств следует, что .
Введённые операции совпадают с аналогичными для чётких множеств. Далее читатель может сам попробовать доказать соотношения, сходные с законами де Моргана, и найти те, которые в общем случае не выполняются (например, ). Рассмотрим специфичные для нечётких множеств:
?-разбиение нечёткого множества. Множеством ?-уровня нечёткого множества называется чёткое множество , для элементов которого .
Теорема о декомпозиции. Всякое нечеткое множество разложимо по его множествам уровня в виде , M — область значений функции принадлежности.
Возведение в степень такое, что . Наиболее употребительны частные случаи:
Замена концентрирования и растяжения оценочными выражениями имеет больше смысла при использовании лингвистических переменных.
Алгебраическое произведение .
Граничное произведение .
Драстическое произведение .
Алгебраическая сумма .
Граничная сумма .
Драстическая сумма .
Лямбда-сумма – среднее A и B с весами ? и (1 — ?) (или выпуклое линейное объединение первого порядка A и B). .
Между произведением, суммой и ?-суммой справедливо соотношение:
Функция принадлежности должна быть задана вне самой теории нечёткой математики и, следовательно, её адекватность не может быть проверена средствами непосредственно самой теории. Это мешает применению нечёткой теории множеств для решения прикладных задач. Исходя из природы субъективных оценок, построение функции может выполняться лишь по экспертным оценкам (эксперта называют также лицом, принимающим решение ЛПР). Выделяют 2 группы методов построения – прямые и косвенные.
Прямые определяются тем, что ЛПР непосредственно задаёт правила определения значения функции принадлежности. Они, как правило, используются для описания понятий, которые характеризуются измеряемыми параметрами и в которых шанс ошибок и искажений незначителен. Группа включает в себя такие методы как: частотный, метод парных соотношений.
В косвенных методах экспертная информация является только исходной для дальнейшей обработки, значения функции выбираются таким образом, чтобы удовлетворить заранее сформулированным условиям. Например, на основе стандартного набора графиков.
Вообще говоря, функция принятия может иметь какой угодно вид, учитывая, конечно, некоторые ограничения, такие как:
хотя существуют и исключительные ситуации, в которых определять функцию приходится исходя из контекста. Построение таких функций – отдельная и достаточно сложная тема.
А на сегодня всё.
К сожалению, не доступен сервер mySQL