Методы построения функции принадлежности требований к заданному уровню качества
Существует значительное количество методов построения по экспертным оценкам функций принадлежности нечеткого множества m А(х). Выделяют две группы методов: прямые и косвенные методы.
Прямые методы характеризуются тем, что эксперт непосредственно задает правила определения значений функции принадлежности m А(х), характеризующей элемент х. Эти значения согласуются с его предпочтениями на множестве элементов Х следующим образом:
1. для любых х1, х2 Î Х m А(х1)<m А(х2) тогда и только тогда, когда х2 предпочтительнее х1, т.е. в большей степени характеризуется свойством А;
2. для любых х1, х2 Î Х m А(х1)=m А(х2) тогда и только тогда, когда х1 и х2 безразличны относительно свойства А.
Примерами прямых методов являются непосредственное задание функции принадлежности таблицей, графиком или формулой. Недостатком этой группы методов является большая доля субъективизма.
В косвенных методах значения функции принадлежности выбираются таким образом, чтобы удовлетворить заранее сформулированным условиям. Экспертная информация является только исходной информацией для дальнейшей обработки. Дополнительные условия могут налагаться как на вид получаемой информации, так и на процедуру обработки. Краткая характеристика наиболее часто используемых косвенных методов построения функций принадлежности.
1. Построение функций принадлежности на основе парных сравнений
Метод основан на обработке матрицы оценок, отражающих мнение эксперта об относительной принадлежности элементов множеству или степени выраженности у них некоторого оцениваемого свойства.
Потребуем, чтобы для всех элементов множества А выполнялось равенство:
(1)Степень принадлежности элементов множеству А будет определятся посредством парных сравнений. Для сравнения элементов используются оценки, приведенные в таблице 1:
Таблица 1
Интенсивность относительной важности | Определение |
1 | Равная важность сравниваемых требований |
3 | Умеренное (слабое) превосходство одного над другим |
5 | Сильное (существенное) превосходство |
7 | Очевидное превосходство |
9 | Абсолютное (подавляющее) превосходство |
2, 4, 6, 8 | Промежуточные решения между двумя соседними оценками |
Оценку элемента хі по сравнению с элементом хj с точки зрения свойства А обозначим через аij. Для обеспечения согласованности примем аij = 1/аji. Оценки аij составляют матрицу S = ║аij║.
Найдем W = (w1,...,wn) – собственный вектор матрицы S, решая уравнение
, (2)где λ – собственное значение матрицы S.
Вычисленные значения, составляющие собственный вектор W, принимаются в качестве степени принадлежности элемента х к множеству А: m А(xi) = wi ; . Так как всегда выполняется равенство S∙W=n∙W, то найденные значения тем точнее, чем ближе λmax к n. Отклонение λmax от n может служить мерой согласованности мнений экспертов.
2. Построение функций принадлежности с использованием статистических данных
Предположим, что наблюдая за объектом в течение некоторого времени, человек n раз фиксирует свое внимание на том, имеет место факт А или нет. Событие, заключающееся в n проверках наличия факта А будем называть оценочным. Пусть в k проверках имел место факт А. Тогда эксперт регистрирует частоту p=k/n появления факта А и оценивает ее с помощью слов "часто", "редко" и т.п.
На универсальной шкале [0,1] необходимо разместить значения лингвистической переменной: Весьма редко, более – менее редко, более менее часто, весьма часто. Тогда степень принадлежности некоторого значения вычисляется как отношение числа экспериментов, в которых оно встречалось в определенном интервале шкалы, к максимальному для этого значения числу экспериментов по всем интервалам. Метод требует выполнения условия, чтобы в каждый интервал шкалы попадало одинаковое число экспериментов. Если это условие не выполняется, требуется дополнительная обработка экспериментальных данных с помощью так называемой матрицы подсказок.
3. Построение функций принадлежности на основе экспертных оценок
Рассмотрим особенности построения функций принадлежности для приближенных точечных (например, Х приблизительно равен 10) и интервальных оценок (вида Х находится приблизительно в интервале от 8 до 11). Естественно предположить, что функцию, необходимо строить следующим образом:
если α ≤ х ≤ β, то μ(α, β) (х) = 1;
если х < α, то μ(α, β) (х) = μα (х);
если х < β, то μ(α, β) (х) = μβ (х),
где μ(α, β) (х) – функция принадлежности нечеткому интервалу (α, β);
μα(х) и μβ(х) – функции принадлежности нечетким множествам чисел, приближенно равных соответственно α и β.
При построении функции принадлежности чисел, приблизительно равных некоторому k, можно использовать функцию
(3)где α зависит от требуемой степени нечеткости μk(х), и определяется из выражения
(4)где b - расстояние между точками перехода для μk(х), т.е. точками, в которых функция вида принимает значение 0,5.
Таким образом, задача построения μk(х) для некоторого числа сводиться к отысканию параметров а и в, чтобы можно было определить β (х), с помощью β(х) – α θ, используя α, построить μk(х).
4. Параметрический подход к построению функций принадлежности
Описываемый метод построения функций принадлежности основан на предположении, что эксперт характеризуя лингвистическое значение какого-либо признака, с минимальным напряжением может указать три точки шкалы: А, В, С, из которых В и С – точки, по его мнению, еще (или уже) не принадлежащие описываемому лингвистическому значению, А – точка, определенно принадлежащая ему.
Пусть имеются параметрическое описание термов t и tI двух значений некоторой лингвистической переменной. Один из термов может представлять собой модификацию (ограничение) другого: tI = h (t), где h – ограничение на t типа ДОВОЛЬНО, БОЛЕЕ – МЕНЕЕ, НЕ ОЧЕНЬ и т.п. Задача состоит в том, чтобы используя параметры термов t: (z1, z2, z3) и tI: (ω1, ω2, ω3) описать переход от t к tI (параметры считаются упорядоченными отношением "меньше").
Очевидно, что S – образную функцию можно рассматривать, как вырожденный случай треугольной функции, в которой один из параметров z1 или z2 стремится к бесконечности. Таким образом, задача состоит в том, чтобы описать переход между любыми двумя формами
Для решения этой задачи используется аппарат автоморфных функций. Рассмотрим дробно-линейное отображение прямой на себя вида
(5)преобразование Т-1, обратное Т, получается, если уравнение
разрешить относительно ω:
(6)Таким образом, при параметрическом представлении функций принадлежности задача описания перехода от одного терма t: (z1, z2, z3) к другому tI: (ω1, ω2, ω3) решается непосредственным подсчетом четырех параметров – коэффициентов дробно-линейного преобразования по формулам:
(7)Эти же коэффициенты при подстановке в (6) определяют обратный переход от tI к t.
Рассмотрим теперь переход от терма t треугольной формы к терму tI с S – образной функцией принадлежности. Для дробно-линейных преобразований этому случаю соответствует переход от одной из крайних заданных точек в положение бесконечно-удаленной точки.
Если z1 = ∞, то параметры дробно-линейного преобразования
(8)Если z3 = ∞ , то
Рассмотрим случай, когда функции принадлежности представляются S – образной или просто наклонной кривой. В этом случае имеет место линейное отображение прямой
(10)Параметры преобразования (10)
(11)Обратный переход (у → х) осуществляется по формуле
(12)5. Построение функции принадлежности на основе ранговых оценок
Данный метод разработан А.П. Ротштейном и базируется на идее распределения степени принадлежности элементов универсального множества согласно с их рангами.
Будем понимать под рангом элемента хіÎ Х число rs(xi), которое характеризует значимость этого элемента в формировании свойства, которое описывается нечетким термом . Допускаем, что выполняется правило: чем больший ранг элемента, тем больше степень принадлежности.
Введем также обозначения:
Тогда правило распределения степеней принадлежности можно задать в виде соотношения:
(13)к которому добавляется условие нормирования
(14)Используя соотношение (13) легко определить степени принадлежности всех элементов универсального множества через степени принадлежности опорного элемента.