Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Системный анализ и моделирование при разработке экспертных систем. Учебное пособие

.pdf
Скачиваний:
0
Добавлен:
07.09.2026
Размер:
1 Мб
Скачать
☆
Рис. 5.1. Иллюстрация методов решения многокритериальных задач:
а – оптимизация по одному «суперкритерию», являющемуся линейной
комбинацией частных критериев; б – метод уступок; в – задание уровней
притязания; г – нахождение паретовского множества альтернатив
5.2.2. СВЕДЕНИЕ МНОГОКРИТЕИАЛЬНОЙ ЗАДАЧИ К
Рассмотрим наиболее употребительные способы решения много­критериальных задач. Первый способ состоит в том, чтобы многокри­териальную задачу свести к однокритериальной. Это означает введе­ние суперкритерия, т.е. скалярной функции векторного аргумента:
Суперкритерий позволяет упорядочить альтернативы по величине
q
, выделив тем самым наилучшую (в смысле этого критерия). Вид
0
ОДНОКРИТЕРИАЛЬНОЙ
q0(x) = q0(q1(x), q2(x), …, qp(x)). (5.2)
91
функции q0 определяется тем, как мы представляем себе вклад каждого
()(
(
критерия в суперкритерий; обычно используют аддитивные или муль­типликативные функции:
q
p
qa
q
=
0
p
0
∏
=
i
ii
∑
i
1
; (5.3)
s
i
=
1
⎛ ⎜
11 . (5.4)
⎜ ⎝
⎞
q
β
ii
⎟
−=− ⎟
s
i
⎠
Коэффициенты si обеспечивают, во-первых, безразмерность числа
/ si (частные критерии могут иметь разную размерность, и тогда не-
q
i
которые арифметические операции над ними, например сложение, не имеют смысла) и, во-вторых, в необходимых случаях (как в формуле (5.4)) выполнение условия β
/ si ≤ 1. Коэффициенты αi и βi отражают
iqi
относительный вклад частных критериев в суперкритерий.
Итак, при данном способе задача сводится к максимизации су-
перкритерия:
*
= (5.5)
10
Xx∈
)
)
....,,maxarg
xqxqqx
p
Очевидные достоинства объединения нескольких критериев в один суперкритерий сопровождаются рядом трудностей и недостатков, которые необходимо учитывать при использовании этого метода. Ос­тавив в стороне трудности построения самой функции и вычислитель­ные трудности ее максимизации, обратим внимание на следующий очень важный момент. Упорядочение точек в многомерном простран­стве, в принципе, не может
быть однозначным и полностью определя­ется видом упорядочивающей функции. Суперкритерий играет роль этой упорядочивающей функции, и его даже «небольшое» изменение может привести к тому, что оптимальная в новом смысле альтернатива окажется очень сильно отличающейся от старой. На рисунке 5.1, а вид­но, как изменяется выбор наилучшей альтернативы при простой смене коэффициентов жается в изменении наклона соответствующей прямой: q
*
), но q02(x
q
01(x2
в линейной упорядочивающей функции (5.3), что отра-
*
) < q02(x
1
*
). Заметим, что линейные комбинации част-
2
01(x1
*
) >
ных критериев придают упорядочению следующий смысл: «чем даль­ше от нуля в заданном направлении, тем лучше». На рисунке 5.1, а на­правления, соответствующие суперкритериям q
и q02, изображены
01
стрелками. Идея такого упорядочивания в многомерном пространстве заложена в некоторых балльных системах оценки вариантов. Другой вариант поиска альтернативы, самой удаленной от нуля в заданном направлении, дает максимизация минимального критерия [19]:
92
(
⎧
⎡
*
=
x minmaxarg
⎪ ⎨
⎢
i
∈
Xx
⎪
⎣
⎩
⎫
⎤
)
xqa
⎪
ii
, (5.6)
⎬
⎥
s
⎪
i
⎦
⎭
что означает поиск вокруг направления αiqi / si = const методом «подтя­гивания самого отстающего».
5.2.3. НАХОЖДЕНИЕ ПАРЕТОВСКОГО МНОЖЕСТВА
Четвертый полностью формализуемый способ многокритериаль­ного выбора состоит в отказе от выделения единственной «наилуч­шей» альтернативы и соглашении о том, что предпочтение одной аль-
тернативе перед другой можно отдавать, только если первая по всем критериям лучше второй.
Если же предпочтение хотя бы по одному критерию расходится с предпочтением по другому,
то такие альтернативы признаются не­сравнимыми. В результате попарного сравнения альтернатив все худ­шие по всем критериям альтернативы отбрасываются, а все оставшие­ся несравнимые между собой (недоминируемые) принимаются. Если все максимально достижимые значения частных критериев не относят­ся к одной и той же альтернативе, то принятые альтернативы образуют множество Парето и жирной линией выделено
выбор на этом заканчивается. На рисунке 5.1, г
множество Парето для рассматриваемого
примера. При необходимости же выбора единственной альтернативы следует привлекать дополнительные соображения: вводить новые, до­бавочные критерии и ограничения, либо бросать жребий, либо прибе­гать к услугам экспертов.
Мы обсудили наиболее употребительные способы описания вы­бора в терминах критериального языка. Возможны и другие постанов­ки задач на этом языке;
наша цель состояла в том, чтобы дать лишь общее представление об их многообразии. Математические аспекты решения изложенных и других задач оптимизации рассматриваются в ряде монографий и учебников (см., например, [18]). Для обозримости и облегчения запоминания приведем схему совокупности изложенных способов (рис. 5.2).
5.3. ГРУППОВОЙ ВЫБОР
В человеческом обществе единоличное принятие решений явля­ется не единственной формой выбора. «Ум – хорошо, а два – лучше», гласит поговорка, имеющая в виду тот случай, когда оба ума с одина­ковыми намерениями пытаются найти хороший выбор. Этот случай мы и рассмотрим в данном параграфе (выбор в условиях конфликта будет рассмотрен в дальнейшем
).
93
ОДНОКРИТЕРИАЛЬНЫЕ
Критериальные
задачи выбора
МНОГОКРИТЕРИАЛЬНЫЕ
Разноважные
критерии
Свертывание
критериев в один
аддитивное
мультипли­кативное
максиминное
Приоритет
важнейшего критерия
условная оптимизация
оптимизация с не­жесткими ограниче­ниями
метод уступок
Задание уровней
притязаний или
целевой точки
минимизация
расстояний
Равноважные
критерии
недоминируемых
альтернатив
множество Парето
Отбор
Рис. 5.2. Классификация задач выбора и способов их решения при
их описании на критериальном языке
Итак, пусть на множестве альтернатив X задано n в общем случае различных индивидуальных предпочтений (для определенности будем говорить о бинарных отношениях) R
работке некоторого нового отношения R, которое согласует индиви­дуальные выборы, выражает в каком-то смысле «общее мнение» и принимается за групповой выбор. Очевидно, что это отношение долж-
но быть какой-то функцией индивидуальных выборов: R = F(R Различным принципам согласования будут отвечать разные функции F. В принципе, т.е. теоретически, функции F могут быть совершенно произвольными, Учитывать не только индивидуальные выборы, но и другие факторы, в том числе и исход некоторых случайных событий (например, бросания жребия), и главный вопрос состоит в том, чтобы правильно отобразить в функции реального группового выбора.
Один из наиболее распространенных принципов согласования –
правило большинства: принятой всеми считается альтернатива,
получившая наибольшее число голосов. Правило большинства привле-
кательно своей простотой и демократичностью, но имеет особенности,
94
5.3.1. ОПИСАНИЕ ГРУППОВОГО ВЫБОРА
, R2, ..., Rn. Ставится задача о вы-
l
F особенности конкретного варианта
5.3.2. РАЗЛИЧНЫЕ ПРАВИЛА ГОЛОСОВАНИЯ
....Rn).
l
требующие осторожного обращения с ним. Прежде всего оно лишь обобщает индивидуальные предпочтения, и его результат не являет­ся критерием истины. Только дальнейшая практика показывает, пра-
вильным или ошибочным было решение, принятое большинством го­лосов; само голосование – лишь форма согласования дальнейших дей­ствий. Во-вторых, даже в простейшем случае выбора одной из
двух альтернатив легко представить себе ситуацию, когда правило боль­шинства не срабатывает: разделение голосов поровну при четном чис­ле голосующих. Это порождает варианты: «председатель имеет два го­лоса», «большинство простое (51%)», «подавляющее большинство
(около 3/4)», «абсолютное большинство (близкое к 100%)», наконец, «принцип единогласия (консенсус, право вето)».
Подчеркнем, что при любом из этих
вариантов подразумевается отказ от принятия решения, если ни одна из альтернатив не получила необходимого процента голосов. Поскольку в реальной жизни отказ от дальнейших действий, следующих за решением, бывает недопусти­мым, а переход к принятию за групповой выбор выбора отдельного лица («диктатора») – нежелательным, разрабатываются различные приемы, сокращающие число ситуаций, приводящих к отказу
.
Например, если два эксперта дали противоположные предпочте­ния между двумя вариантами а и b, то можно сделать выбор, сравни­вая «силу предпочтения» каждого эксперта. При возможности введе­ния количественного критерия оценки это сводится к арифметической операции, но и при порядковом сравнении есть возможность оценки
«силы предпочтения». В криминалистической практике в
таких случа-
ях экспертам предлагается в одном ряду с а и b упорядочить по пред­почтению еще несколько альтернатив, скажем c, d и е. Пусть первый эксперт дал упорядочение (с, d, а, b, е), а второй – (b, с, d, е, а). Тогда можно сделать вывод, что степень предпочтения b по
сравнению с а у второго эксперта больше, чем степень предпочтения а перед b у перво­го, и принять решение в пользу b (за этим приемом стоит ряд предпо­ложений – сравнимость интенсивностей предпочтений, одинаковая компетентность экспертов и т.д., требующих проверки в ответствен­ных случаях).
Если же не удавалось достичь консенсуса не
только по поводу са­мих альтернатив, но и относительно способа их проверки, то, по мнению Акоффа, следует найти консенсусное решение, что же делать дальше. Интересно его наблюдение, что в таких случаях обычно принималось решение поручить выбор одному из авторитетных и ответственных лиц
(мы еще вернемся к этому моменту). Фактически это
переход от демо-
кратического, но не давшего решения правила голосования, к недемо­кратическому, но приводящему к какому-то решению «диктаторскому» принципу. Такое экспериментальное наблюдение имеет и теоретическое объяснение, излагаемое ниже на качественном уровне.
95
Итак, следующая особенность правила голосования – это воз-
можность отказа от выбора из-за недостижения требуемого боль­шинства. Казалось бы, исключив такую возможность, можно обеспе-
чить принятие решения в любых случаях. Например, пусть три экспер­та большинством голосов решают вопрос, какая из двух альтернатив
5.3.3. ПАРАДОКСЫ ГОЛОСОВАНИЯ
более предпочтительна. При такой постановке вопроса они действи
-
тельно не могут не сделать выбор. Однако здесь мы приходим к еще одной особенности правила голосования – его нетранзитивности.
Пусть, например, каждая из трех группировок законодателей, образующих большинство лишь попарно, выдвинули свой вариант законопроекта: a, b и с. Или три парня заспорили, чья девушка лучше, и намереваются решить спор голосованием. Чтобы
гарантировать большинство на каждом шаге процедуры, альтернативы предъявляют­ся попарно. Каждая сторона руководствуется при этом своим на­бором предпочтений; пусть это соответственно последовательности (а > b > с), (b > с > а) и (с > а > b).
После голосования по паре (а, b) в результате получаем два голо-
са против одного: а > b
по паре (b, с) имеем b > с; по паре (с, а) имеем
с > а. Голосование большинством не привело к выяснению «общепри-
знанного» порядка альтернатив: а > b > с > а. В случае же применения процедуры, при которой после рассмотрения очередной пары отвер­гаемая альтернатива заменяется новой, окончательно принятое реше­ние зависит от
порядка предъявления альтернатив: при порядке (а, b, с) выбирается с; при порядке (b, с, а) выбор остановится на а; при поряд­ке (а, с, b) – на b. Если таким образом принять законопроект, то чье мнение он будет выражать – большинства или организатора голосова­ния? Очевидно, что такие решения не отвечают идеалу согласованного группового выбора.
Причина данного парадокса нетранзитивности группового выбора состоит, конечно, в цикличности совокупности исходных индивиду­альных предпочтений. Однако это лишь частный пример более общего явления, получившего название
возможности
). Не вдаваясь в подробности этой теоремы и ее доказа-
парадокса Эрроу (или теоремы о не-
тельства, изложим ее смысл.
Из всевозможных функций F индивидуальных выборов R
...R
1
n
выделим те, которые отвечают требованиям, выражающим наше по­нимание того, какой выбор можно считать согласованным. Кроме формальных требований:
1°) «n ≥ 2», «число альтернатив ≥ 3», «F определена для любых «{R
}», естественно также потребовать, чтобы:
i
96
2°) если в результате группового выбора предпочтение было от-
(
дано альтернативе х, то это решение не должно меняться, если кто-ни­будь из ранее отвергавших x изменил свое предпочтение в его пользу
(условие монотонности);
3°) если изменения индивидуальных предпочтений не коснулись
определенных альтернатив, то в новом групповом упорядочении поря­док этих альтернатив не должен меняться (условие независимости не-
связанных альтернатив);
4°) для любой пары альтернатив х и у существует такой набор ин­дивидуальных предпочтений, для которого F(R
, ..., Rn) = (x > y) (усло-
1
вие суверенности; без него возможно навязывание у независимо от по- рядков предпочтений индивидуумов);
5°) не должно быть такого индивидуума, для которого из его пред­почтения x > у (при любых x и y) вытекает, что F(R
, ..., Rn) = (x > y)
1
независимо от предпочтений других индивидуумов (условие отсутст­вия диктаторства).
Парадокс Эрроу состоит в том, что первые четыре условия проти­воречат пятому; не существует правила F, удовлетворяющего всем пяти требованиям. Анализ причин такого обескураживающего следствия из столь невинных на вид предположений показывает [21], что основную роль играет возможность циклических множеств
ранжирований, что ха-
рактерно для бинарных отношений, удовлетворяющих условию 3°.
Нетранзитивность мажоритарного отношения может проявляться и в других неожиданных формах. Рассмотрим такую задачу [21]. Пусть каждый из n субъектов имеет свою долю а
n
=
aa
.
i
∑
=
1
i
Вектор стояние
≥ bi. Будем теперь производить перераспределение ресурсов на ос-
a
i
= назовем состоянием системы. Другое со-
1
()
= с точки зрения i-го субъекта хуже a , если
1
)
aaa ...,,
n
bbb ...,,
n
нове очень сильного большинства: система перейдет из состояние
b не хуже а для всех, кроме одного («тотально-мажори-
тарное правило»). Последовательность состояний называть тотально-мажоритарным путем из
, – общего ресурса
i
a в b , если
aaa ...,,,
будем
k
21
a в ka , если переходом в
1
очередное состояние удовлетворены все участники, кроме, естествен­но, того, чей ресурс в данный момент перераспределяется. Пусть те-
перь заданы два произвольных состояния системы: условиях существует тотально-мажоритарный путь из
a и b . При каких
a и b ? Оказы-
вается, что такой путь существует всегда. Снова имеем дело с па-
97
радоксом: возможны любые перераспределения, и все они выражают мнение «всего общества», кроме одного субъекта (правда, эти «несо­гласные» на разных этапах различны).
Задачи группового выбора часто все же могут быть разрешены. Во-первых, в ряде случаев циклические ранжирования могут отсутст­вовать, либо они не охватывают «наиболее важные» альтернативы, ли­бо принимаются
меры по их обнаружению и устранению. Во-вторых, во многих случаях диктаторский принцип согласования не является неприемлемым. Это иллюстрируется примером оптимизации по «главному» из нескольких критериев. В других случаях это единст­венно возможный принцип (например, единоначалие в армии). В-третьих, переход (когда это возможно) к использованию единой чи­словой, а
не порядковых индивидуальных шкал предпочтений может вообще аннулировать проблему нетранзитивности. В-четвертых, в ре­альных ситуациях мажоритарные правила применяются в комбинации с другими правилами, так что, образовав, например, коалицию, группы субъектов могут блокировать действие голосования.
Здесь мы приходим к еще одной особенности голосования, кото-
рую следует иметь в виду на
практике. Речь идет о вмешательстве коа­лиций в механизм голосования, фактически меняющем его характер. Например, при многоступенчатом голосовании по правилу большин­ства коалиция, находящаяся в меньшинстве, может добиться принятия своего решения. На рисунке 5.3 изображено голосование по три боль­шинством в 2/3 на каждой ступени. Видно, что уже на второй ступени меньшинство может
навязывать свое мнение большинству. Если число ступеней не ограничивать, то теоретически побеждающее таким обра­зом меньшинство может быть сколь угодно малым. То, что при много­ступенчатом голосовании может победить кандидат, не набравший действительного большинства голосов, происходит и в действительно­сти. Например, в 1876 г. президентом США был избран Р.Б. Хейес
Рис. 5.3. Иллюстрация парадокса многоступенчатого голосования при
наличии коалиции
98
(185 голосов выборщиков), а не С.Дж. Тилден (184 голоса), хотя на до-
∈
j
j
j
лю последнего пришлось 51% голосов всех избирателей. Такие же си­туации имели место в президентских выборах 1874 и 1888 гг.
5.4. ВЫБОР В УСЛОВИЯХ
До сих пор мы обсуждали подходы к описанию и осуществлению выбора в таких условиях, когда последствия сделанного выбора были определены однозначно. Выбор одной из альтернатив х зан с известным выбирающему однозначным следствием, и вся про­блема выбора – это проблема сравнения разных следствий (или, что в данном случае то же самое, альтернатив).
5.4.1. ЗАДАНИЕ НЕОПРЕДЕЛЕННОСТИ В УСЛОВИЯХ МАТРИЦЫ В реальной практике нередко приходится иметь дело с более
сложной ситуацией, когда выбор альтернативы неоднозначно опреде­ляет последствия сделанного выбора: имеется набор возможных ис-
ходов у
∈ Y, из которых один окажется совмещенным с выбранной
альтернативой, но какой именно – в момент выбора неизвестно, а станет ясным позже, когда выбор уже сделан и изменить ничего нельзя. Хотя с каждой альтернативой х связано одно и то же множест-
во исходов Y, для разных альтернатив одинаковые исходы имеют раз­ное значение.
В случае дискретного набора альтернатив и исходов та-
кую ситуацию можно изобразить с помощью следующей матрицы:
Y
X
y
y2 … yj … y
1
НЕОПРЕДЕЛЕННОСТИ
X был свя-
m
x
1
M
x
i
M
x
n
q11 q12… q
1
… q
1m
… … … … … …
q
i1
qi2 … q
i
… qim
… … … … … …
q
n1
q
n2
… q
n
… q
nm
В этой матрице все возможные исходы образуют вектор
()
= , числа q
бор альтернативы x q
могут иметь различный смысл: иногда это «выигрыши», иногда
ij
«потери», «платежи»; в литературе употребляются также и другие на­звания.
yyy ...,,
m
1
выражают оценку ситуации, когда сделан вы-
ij
и реализовался исход yi. В разных случаях числа
i
99
Если все строки
(
=
1
)
qqq ...,,
при любых i одинаковы, то про-
imii
блемы выбора между альтернативами нет. Если же строки матрицы различны, то возникает вопрос, какую альтернативу предпочесть, не зная заранее, какой из исходов реализуется.
Аналогично, в случае непрерывных множеств X и Y ситуация
описывается с помощью задаваемой на этих множествах функции
q(x, у),
х∈X, у∈ Y с соответствующей постановкой вопроса о выборе х.
Сказанного до сих пор недостаточно для формальной постановки
задачи выбора. При различной конкретизации этой задачи она приоб­ретает различный смысл и требует различных методов решения. Исто­рически сложилось так, что первыми были формализованы искусст­венные, игровые задачи, что придало всей терминологии несколько легкомысленное
звучание (взаимодействующие стороны называются «игроками», выбираемые ими альтернативы – «ходами», правила вы­бора – «стратегиями», величины – «выигрышами», а вся теория – «теорией игр»).
Один класс задач называется «играми против природы». В таких задачах считается, что исходы y природы». Желательность каждой альтернативы х
, …, ym есть возможные «состояния
1
зависит от того, ка-
i
ково состояние природы, но узнать, каково оно, мы сможем лишь по­сле того, как сделаем выбор.
В другом классе задач предполагается, что исходы Y – это множе­ство альтернатив, на котором выбор осуществляет второй игрок. В от­личие от бесстрастной Природы второй игрок преследует свои интере-
отличные от интересов первого игрока. При этом матрица Q = ||qij||,
сы, характеризующая оценки ситуаций с точки зрения игрока, выбираю­щего х, уже недостаточна для описания всей игры. Необходимо задать вторую матрицу U = ||u
||, описывающую игру с позиций второго игро-
ij
ка. Задание X, Y, Q и U называется нормальной формой игры. Расхож­дения между матрицами Q и U определяют степень антагонизма игро­ков. Если a строгим. В случае q
+ uij = const для всех i и j , то соперничество называется
ij
+ u
= 0 имеем игру с нулевой суммой. Можно
представить себе игры, где выигрыши и проигрыши сторон не связаны линейно и это будет отражать усиление или ослабление конфронтации сторон. Можно также рассматривать изменение матриц платежей по­сле очередного хода. Например, интерес исследователей привлекли игры с нарастающей конфликтностью; примером может служить игра
«в цыпленка
», но, конечно, у такой задачи есть и более серьезные при-
ложения. Возможны и другие обобщения, например рассмотрение игр с участием большего числа участников, с образованием коалиций ме­жду ними и т.д.
100
Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]