Для того, чтобы обеспечить достаточную с точки зрения математики формализуемость задачи и более четко определиться с источниками и характером предпочтения, предварительно рассматривают те характерные свойства и качества альтернатив, а также те возможные результаты их выбора, которые именно и позволяют провести их попарное сравнение и соответственно выявить отношения предпочтения.
Рассмотрим свойства нечетких отношений предпочтения, на которые опираются существующие подходы к решению задач выбора альтернатив в теории автоматизированного управления и в теории принятии решений. Вначале введем четкую операцию сравнения Я альтернатив между собой. Пусть К - четкое отношение нестрогого предпочтения в некотором множестве X допустимых альтернатив. Это означает, что относительно любой пары альтернатив х,у е X может быть высказано одно из следующих утверждений:
1) х у 5 то есть х не хуже у. В этом случае (х9у) е К ;
2) у Ъг х, то есть у не хуже X. В этом случае (у, х) е К ;
3) х и у несравнимы между собой по рассматриваемому критерию. В этом случае (х,у) & К и (у9х) К .Наличие информации в такой форме уже позволяет сузить класс рациональных выборов, включив в него лишь те альтернативы X, которые не доминируются ни одной другой альтернативой из рассматриваемого их множества X.
Для того, чтобы понять, какие альтернативы следует считать недоминируемыми, выделим в общей структуре отношения предпочтения Я следующие два новых отношения:
г»
1) отношение строгого предпочтения К ;
2) отношение безразличия .
При этом по определению будем считать, что альтернатива х доминирует альтернативу у, то есть х является строго лучше чем у, если одновременно выполняется условие х >- у и не выполняется условие у х. Совокупность всех пар (х, у), удовлетворяющих этому условию, и будем называть отношением строгого пред-
почтения К на множестве X . Поскольку в этом случае выполняется условие
(х,у)еЯ~1 <=>0,х)еЯ,
то отношение строгого предпочтения 7? может быть записано в виде
Соответственно отношение безразличия К* определяется следующим образом: пара альтернатив х и у находятся в отношении
безразличия, то есть (х,у) е Я1, если не выполняется ни предпочтение х у, ни предпочтение у Ь= х, либо оба предпочтения выполняются одновременно. Другими словами, (х,у) е Я1, когда имеющейся об этой паре информации в форме отношения предпочтения недостаточно для того, чтобы ЛПР мог сделать обоснованный выбор между альтернативами х и у .
Archive for декабря, 2009
Формализуемость задачи
Пятница, декабря 25, 2009Нечеткие отношения предпочтения
Пятница, декабря 18, 2009Нечеткие отношения предпочтения отличаются от обычных тем, что степень предпочтения альтернативы х относительно альтернативы у по критерию, выражаемому отношением предпочтения К на множестве альтернатив X, будем описывать с помощью функции принадлежности /ик : X х X —> [ОД]. Эта функция обладает свойством рефлексивности, то есть ^к(х9х) -I при любых
х е X. Это означает вполне естественный факт, что любая альтернатива х является не хуже самой себя.
Таким образом, величина /лк(х,у) выражает степень предпочтения " х не хуже у ". Если /ик (х, у) =0, то это означает либо, во-первых, что с некоторой положительной степенью выполнено обратное предпочтение у^х. то есть что у не хуже х, при условии
Мк (У*х) >0Э либо, во-вторых, что альтернативы х и у по рассматриваемому критерию несравнимы между собой ни с какой степенью.
По аналогии с обычными отношениями предпочтения вве--~ дем следующие нечеткие отношения предпочтения:
1) нечеткое отношение безразличия К* или //^определяемое, как и в предыдущем случае, выражением
к1=(ХхХ)\(к[)к-1)1ХкГ\к-]),
где К - отношение предпочтения "х не хуже у ", а К~] - обратное ему отношение предпочтения " у не хуже х ";
2) нечеткое отношение квазиэквивалентности или
„Я
//^ , которое определяется выражением
где К - отвечающее тем или иным образом выбранным признакам и критериям их выполнения отношение предпочтения " х не хуже у ",
а К~1 - обратно ему отношение предпочтения;
3) нечеткое отношение строгого предпочтения К или
с
/ЛЛ , которое в определенном смысле является обобщением обычного отношения строго предпочтения и также определяется выражением
Л5 = Л\Л"1,
где К - отношение предпочтения " х не хуже у " на рассматриваемом множестве альтернатив 1, а Л"1 - обратное ему отношение предпочтения " у не хуже х ".
Нечеткость введенных разновидностей отношений предпочтения будем характеризовать соответствующими функциями принадлежности ]и!к, /л% и /л$к . Для их вычисления используются следующие аналитические выражения, вытекающие из логики определения каждого соответствующего нечеткого отношения предпочтения:
- для нечеткого отношения безразличия
Линейность нечетких отношений
Пятница, декабря 11, 2009Отношение К на множестве X называется линейным, если этим отношением или обратным к нему отношением К'1 связаны любые две альтернативы х и у из рассматриваемого множества
X. Иными словами, при линейности отношения 7? на множестве X нет несравнимых между собой по соответствующему предпочтению альтернатив. В этом смысле линейность обычного отношения эквивалентна следующему условию:
К1)ВГ1=ХхХ. Это условие можно записать иначе в виде равенства
хКу - уКх,
где К - дополнение отношения К на декартовом произведении ХхХ.
Заметим, кстати, что в случае нечеткости отношения предпочтения К однозначно можно определить лишь полное отсутствие линейности, причем это можно сделать следующим образом.
Нечеткое отношение К с функцией принадлежности //^
(или, что то же самое, нечеткое отношение /Лд) не является линейным тогда и только тогда, когда найдутся две альтернативы X, у Е X, для которых выполняются равенства
Свойство линейности нечеткого отношения можно понимать более широко, чем в случае линейности обычного отношения в силу того, что функция принадлежности такого отношения может принимать кроме значений 0 и 1 и любые промежуточные значения. С учетом этого представляется целесообразным ввести понятие степени линейности нечеткого отношения.
Определение 1. Пусть ОСЕ [0,1]. - некоторое число из интервала [0,1]. Нечеткое отношение ц называется ОС-линейным,
если его функция принадлежности удовлетворяет условию
тах{^к(х,у);^к(у,х)}>а, \/х,уеХ.
Таким образом, если рассматриваемое на заданном множестве X нечеткое отношение предпочтения /Л^ является, например,
0,7-линейным, то из каждой пары альтернатив одна окажется не хуже другой со степенью, большей, чем 0,7.
Определение 2. Нечеткое отношение /Л^ называется сичьно
линейным, если его функция принадлежности удовлетворяет условию
тах {//Л (х, у); цк (у, х) } = 1 (1)
для любой пары альтернатив X, у Е X .
Свойство сильной линейности можно определить еще следующим образом: если
рк(х,у)>/*я(у,х),
то обязательно выполняется условие
Мх,у)=1. (2)
Нетрудно заметить, кроме того, что свойство сильной линейности оказывается эквивалентным условию
где /Л^ {у, X) - нечеткое отношение строгого предпочтения, которое означает, что в соответствии с критериями, определяемым отношением /Л^{у9х), альтернатива^ строго лучше альтернативы х.
Четко недоминируемые альтернативы и их свойства
Четверг, декабря 3, 2009Рассмотрим задачу рационального выбора альтернатив из данного базового множества Х9 на котором задано нечеткое отношение предпочтения К с функцией принадлежности //^. Будем считать, 1гго в этой задаче множество недоминируемых альтернатив
представляет собой нормальное подмножество множе-
ства Х9 то есть такое, что его функция принадлежности обладает
свойством 811р /Л^Л = \ 9 хеХ
В этом случае для любой альтернативы ХЕ макси-
мальных недоминируемых альтернатив выполнено условие
{х)-\, то есть степень не доминируемое™ любой альтернативы равна единице. Иными словами, для любой альтернативы и любой другой альтернативы уеХ при этом выполнено равенство /Л%(у9х) = 0. Это означает, что ни одна альтернатива У&Х не доминирует ни с какой положительной степенью данную
альтернативу лЕ
Учитывая это обстоятельство, такие альтернативы будем называть четко недоминируемыми, то есть недоминируемыми со степенью 1, а множество четко недоминируемых альтернатив будем
обозначать с помощью символа .
Таким образом,
Хч^-\х:хеХ,М^(х)=\].
Четко недоминируемые альтернативы представляют особый интерес в анализируемом нами классе задач рационального выбора,
поскольку множество Х^^ может в определенном смысле рассматриваться как четкое решение нечетко поставленной задачи. При этом важно подчеркнуть, что далеко не всякая подобная задача может иметь такое решение. Некоторые достаточные условия его существования сформулируем позже. Сейчас же рассмотрим некоторые необходимые для этого важные свойства четко недоминируемых альтернатив.
Во-первых, рассмотрим вопрос об эквивалентности четко недоминируемых альтернатив. Отметим, что четко недоминируемые альтернативы могут быть сравнимы между собой лишь по отношению квазиэквивалентности. Если четко недоминируемые альтернативы не эквивалентны друг другу, то рациональный выбор одной из них в качестве решения задачи невозможен, и для обоснованного выбора конкретной альтернативы необходимо привлекать дополнительную информацию, внешнюю по отношению к используемой математической модели.
Во-вторых, если, с другой стороны, все четко недоминируемые альтернативы эквивалентны друг другу со степенью 1, для решения задачи никакой дополнительной информации не требуется, и рациональным вполне обоснованно будет выбор любой из них. Этот случай означает, что в модели уже имеется необходимая информация, достаточная для рационального выбора конкретной альтернативы.
В-третьих, промежуточной должна считаться ситуация, в которой имеет место эквивалентность четко недоминируемых альтернатив со степенью ОС <1.в таком случае для обоснованного выбора конкретной альтернативы в качестве решения задачи требуется привлекать меньше дополнительной информации, чем при полной неэквивалентности четко недоминируемых альтернатив. В этом смысле минимальную степень эквивалентности четко недоминируемых альтернатив можно рассматривать как некоторую меру количества имеющейся в задаче информации, необходимой для рационального выбора какой-то конкретной альтернативы в качестве искомого решения задачи.