Основы теории нечетких множеств
Размытые арифметики нечетких треугольных чисел
В предыдущем параграфе мы доказали, что возможно построить арифметику нечетких треугольных чисел, аналогичную арифметике четких чисел. Однако, на наш взгляд, каждая такая арифметика будет обладать одним существенным недостатком.
Рассмотрим арифметику , описанную в примере. Пусть , где . Для произвольного числа выполняется
Если имеет некоторое лингвистическое значение (например, "приблизительно "), то нечеткое число является некоторым модификатором числа (например, "болееили менее приблизительно "). Таким образом, нечеткое число
является "приблизительно нулевым элементом". Более того, при и эта "приблизительность" возрастает. Однако при формальном описании арифметики это свойство нигде не отражается.
Рассмотрим новый подход к арифметике нечетких чисел, который успешно формализует описанное выше свойство без потери свойств, аналогичных свойствам четкой арифметики. При этом подходе нечеткость рассуждений увеличивается, но это не всегда является минусом.
Основная идея данного подхода заключается в том, что понятие нечеткости накладывается на арифметические операции. То есть результатом произведения (или сложения) двух нечетких треугольных чисел является не одно конкретное нечеткое треугольное число, а нечеткое множество, определенное на множестве нечетких треугольных чисел. Такие операции названы размытыми операциями. Следовательно, и арифметику нечетких чисел с размытыми операциями мы будем называть размытой (сокращенно РА-НТЧ). Рассмотренные выше арифметики мы будем называть четкими (сокращенно ЧА-НТЧ).
Пусть нам задана некоторая ЧА-НТЧ
. На базе этой арифметики будем строить РА-НТЧ .
Пусть нам даны нечеткие числа и . Множество является нечетким подмножеством множества
c функцией приоритета , которая для любого нечеткого треугольного числа удовлетворяет условию
|
(3) |
где .
Введем новое обозначение. Пусть . Тогда, если , то будем записывать . Если же , то будем записывать . Число
назовем каноническим представителем произведения .
Очевидно, что
Для всех остальных нечетких чисел, чья мода равна , значение функции принадлежности уменьшается с увеличением "удаленности" данного числа от канонического представителя.
Независимо от задания арифметики , размытая арифметика будет обладать слабым свойством коммутативности, т.е. для любых будет выполнено следующее равенство множеств .
На самом деле, если найдется такое число , что , то, согласно (3), имеем . Так как на множестве действительных чисел и сложение, и умножение коммутативны, то , и, следовательно, найдется такое число , что . Заметим, что в общем случае . Именно поэтому свойство названо "слабым".
Если ЧА-НТЧ обладает свойством коммутативности, то РА-НТЧ будет обладать сильным свойством коммутативности, т.е. для любых выполняется
Прежде чем говорить об ассоциативности и дистрибутивности, необходимо рассмотреть алгоритм вычисления арифметических выражений, содержащих более двух нечетких треугольных чисел.
Пусть — некоторое арифметическое выражение, содержащие нечеткие числа . Сперва найдем канонический представитель
этого выражения, т.е. значение выражения в ЧА-НТЧ . Тогда для любого имеем
где
Нетрудно убедиться, что полученная арифметика будет обладать свойствами слабой ассоциативности и слабой дистрибутивности, т.е. для любых
выполнены следующие равенства множеств:
Необходимым и достаточным условием для выполнения сильных свойств ассоциативности и дистрибутивности является условие выполнения этих свойств в арифметике .
В построенной нами арифметике следующим образом определим понятия нулевого и единичного элементов. Элемент
называется нулевым, если для любого
найдутся такие числа , что
И, аналогично, элемент называется единичным, если для любого
найдутся такие числа , что
Нетрудно убедиться, что все нечеткие треугольные числа, мода которых равна нулю, являются нулевыми, и нечеткие треугольные числа, мода которых равна единице, являются единичными.
Вернемся теперь к рассмотрению проблемы, описанной в начале данного параграфа.Пусть число
— нулевой элемент в арифметике . Тогда для любого
имеем . Если , или ). Тогда найдутся такие числа , что
и . Более того,
Проблема противоположного и обратного элементов решается по аналогии с проблемой коммутативности; в слабом варианте проблема решается автоматически, а усиленный вариант зависит от того, существуют ли противоположный и обратный элементы в арифметике .
