Нечеткая логика — математические основы
Нечёткое множество
Описание метода
Пусть имеется множество элементов U, а A – его нечеткое подмножество, степень принадлежности его элементов определяется значением X, принимающим значение из интервала [0;1].
Таким образом, объект можно описать набором критериев(параметров) X(1), X(2) … X(n), принадлежащих соответствующим базовым множествам U(1), U(2) … U(n). Совокупность критериев с соответствующими значениями характеризует приемлимость S данного объекта относительно поставленной задачи.
Пример такого высказывания:
d(i): «Если X(1)=низкая и X(2)=хорошее, то S=высокая»
для общего случая:
d(i): «Если X(1)=A(1) и X(2)=A(2) и… и X(p)=A(p), то S=B(i)»
Обозначим пересечение условий X(1)=A(1), X(2)=A(2) … X(n)=A(n) через X=A(i).
Пересечение нечетких множеств есть минимум их функций принадлежности:
![image](https://habrastorage.org/r/w1560/getpro/habr/post_images/641/495/865/6414958659a754c62deff22977b3157d.png)
где
V=U(1)xU(2)x...xU(p)
v=(u(1),u(2)...u(p))
u(j) — значение принадлежности элемента u(j) нечеткому множеству A(i,j)
тогда высказывание можно записать в виде:
d(i): «Если X=A(i), то S=B(i)»
Обозначим множество U или V через W, тогда A(i) – нечеткое подмножество W, а B(i) – нечеткое подмножества единичного интервала I.
Импликация этих нечетких множеств выражается как
![image](https://habrastorage.org/r/w1560/getpro/habr/post_images/36e/0c5/18f/36e0c518f8cb149929a9d3290ff30658.png)
где
H- нечеткое подмножество на WxI
w принадлежит W, а i – I.
Аналогично высказывания d(1),d(2)...d(n) преобразуются в множества H(1),H(2)...H(n); их объединением является множество D.
Для каждой пары (w,i) из WxI
![image](https://habrastorage.org/r/w1560/getpro/habr/post_images/659/c22/e18/659c22e1847b4f135ece2780507a4416.png)
Каждая альтернатива описывается нечетким подмножеством C из W; ее удовлетворительность находится на основе компзиционного правила вывода:
G=C*D
где G – нечеткое множество интервала I. Тогда
![image](https://habrastorage.org/r/w1560/getpro/habr/post_images/265/e76/e1d/265e76e1d76735c4dbcef85b0cd3f2fd.png)
Сравнение альтернатив происходит с помошью точечных оценок.
Для нечеткого множества A из I определим a-уровневое множество (a=[0,1]):
![image](https://habrastorage.org/r/w1560/getpro/habr/post_images/b89/cb1/802/b89cb1802cea5ea725883099c1e5631a.png)
Для каждого А(а) вычисляется среднее число элементов — М(A(a)):
![image](https://habrastorage.org/r/w1560/getpro/habr/post_images/eb0/8d5/2c0/eb08d52c0158103e2602a4d5d540318c.png)
Тогда точечное значение для множества А:
![image](https://habrastorage.org/r/w1560/getpro/habr/post_images/e22/48a/29e/e2248a29ecb9039a79659f00c09d761d.png)
a_max – значение, при котором A имеет максимум.
Лучшей признается альтернатива с наибольшей точечной оценкой.
Во второй части статьи будет описана реализация данного метода; пример его работы — в третьей.
Многокритериальный выбор альтернатив с использованием правил нечеткого вывода. Реализация на Java. Часть 2/3: Основной алгоритм
Многокритериальный выбор альтернатив с использованием правил нечеткого вывода. Реализация на Java. Часть 3/3: Пример
Литература:
Борисов, Крумберг, Федоров — «Принятие решений на основе нечетких моделей. Примеры использования», 1990 (прим.: в авторских расчетах имеются ошибки). Стр. 94-102
Нечёткое множество
Описание метода
Пусть имеется множество элементов U, а A – его нечеткое подмножество, степень принадлежности его элементов определяется значением X, принимающим значение из интервала [0;1].
Таким образом, объект можно описать набором критериев(параметров) X(1), X(2) … X(n), принадлежащих соответствующим базовым множествам U(1), U(2) … U(n). Совокупность критериев с соответствующими значениями характеризует приемлимость S данного объекта относительно поставленной задачи.
Пример такого высказывания:
d(i): «Если X(1)=низкая и X(2)=хорошее, то S=высокая»
для общего случая:
d(i): «Если X(1)=A(1) и X(2)=A(2) и… и X(p)=A(p), то S=B(i)»
Обозначим пересечение условий X(1)=A(1), X(2)=A(2) … X(n)=A(n) через X=A(i).
Пересечение нечетких множеств есть минимум их функций принадлежности:
![image](https://habrastorage.org/getpro/habr/post_images/641/495/865/6414958659a754c62deff22977b3157d.png)
где
V=U(1)xU(2)x...xU(p)
v=(u(1),u(2)...u(p))
u(j) — значение принадлежности элемента u(j) нечеткому множеству A(i,j)
тогда высказывание можно записать в виде:
d(i): «Если X=A(i), то S=B(i)»
Обозначим множество U или V через W, тогда A(i) – нечеткое подмножество W, а B(i) – нечеткое подмножества единичного интервала I.
Импликация этих нечетких множеств выражается как
![image](https://habrastorage.org/getpro/habr/post_images/36e/0c5/18f/36e0c518f8cb149929a9d3290ff30658.png)
где
H- нечеткое подмножество на WxI
w принадлежит W, а i – I.
Аналогично высказывания d(1),d(2)...d(n) преобразуются в множества H(1),H(2)...H(n); их объединением является множество D.
Для каждой пары (w,i) из WxI
![image](https://habrastorage.org/getpro/habr/post_images/659/c22/e18/659c22e1847b4f135ece2780507a4416.png)
Каждая альтернатива описывается нечетким подмножеством C из W; ее удовлетворительность находится на основе компзиционного правила вывода:
G=C*D
где G – нечеткое множество интервала I. Тогда
![image](https://habrastorage.org/getpro/habr/post_images/265/e76/e1d/265e76e1d76735c4dbcef85b0cd3f2fd.png)
Сравнение альтернатив происходит с помошью точечных оценок.
Для нечеткого множества A из I определим a-уровневое множество (a=[0,1]):
![image](https://habrastorage.org/getpro/habr/post_images/b89/cb1/802/b89cb1802cea5ea725883099c1e5631a.png)
Для каждого А(а) вычисляется среднее число элементов — М(A(a)):
![image](https://habrastorage.org/getpro/habr/post_images/eb0/8d5/2c0/eb08d52c0158103e2602a4d5d540318c.png)
Тогда точечное значение для множества А:
![image](https://habrastorage.org/getpro/habr/post_images/e22/48a/29e/e2248a29ecb9039a79659f00c09d761d.png)
a_max – значение, при котором A имеет максимум.
Лучшей признается альтернатива с наибольшей точечной оценкой.
Во второй части статьи будет описана реализация данного метода; пример его работы — в третьей.
Многокритериальный выбор альтернатив с использованием правил нечеткого вывода. Реализация на Java. Часть 2/3: Основной алгоритм
Многокритериальный выбор альтернатив с использованием правил нечеткого вывода. Реализация на Java. Часть 3/3: Пример
Литература:
Борисов, Крумберг, Федоров — «Принятие решений на основе нечетких моделей. Примеры использования», 1990 (прим.: в авторских расчетах имеются ошибки). Стр. 94-102