Принятие оптимальных решений в условиях неопределенности
Кыргызско – Российский Славянский Университет
Естественно-Технический Факультет
Кафедра Математики
Реферат
по предмету: “Теория Игр”
на тему
“Принятие оптимальных решений в условиях неопределенности “
Выполнил: Алексеенко Н.С.
Проверил: :Жданов Н.В.
Бишкек-2001
1.1. Постановка задачи
Как правило, большинство реальных инженерных задач содержит в том или ином виде неопределенность. Можно даже утверждать, что решение задач с учетом разного вида неопределенностей является общим случаем, а принятие решений без их учета - частным. Однако, из-за концептуальных и методических трудностей в настоящее время не существует единого методологического подхода к решению таких задач. Тем не менее, накоплено достаточно большое число методов формализации постановки и принятия решений с учетом неопределенностей. При использовании этих методов следует иметь в виду, что все они носят рекомендательный характер и выбор окончательного решения всегда остается за человеком (ЛПР).
Как уже указывалось, при решении конкретных задач с учетом неопределенностей инженер сталкивается с разными их типами. В исследовании операций принято различать три типа неопределенностей:
неопределенность целей;
неопределенность наших знаний об окружающей обстановке и действующих в данном явлении факторах (неопределенность природы);
неопределенность действий активного или пассивного партнера или противника.
В приведенной выше классификации тип неопределенностей рассматривается с позиций того или иного элемента математической модели. Так, например, неопределенность целей отражается при постановке задачи на выборе либо отдельных критериев, либо всего вектора полезного эффекта.
С другой стороны, два другие типа неопределенностей влияют, в основном, на составление целевой функции уравнений ограничений и метода принятия решения. Конечно, приведенное выше утверждение является достаточно условным, как, впрочем, и любая классификация. Мы приводим его лишь с целью выделить еще некоторые особенности неопределенностей, которые надо иметь в виду в процессе принятия решений.
Дело в том, что кроме рассмотренной выше классификации неопределенностей надо учитывать их тип (или "род") с точки зрения отношения к случайности.
По этому признаку можно различать стохастическую (вероятностную) неопределенность, когда неизвестные факторы статистически устойчивы и поэтому представляют собой обычные объекты теории вероятностей - случайные величины (или случайные функции, события и т.д.). При этом должны быть известны или определены при постановке задачи все необходимые статистический характеристики (законы распределения и их параметры).
Примером таких задач могут быть, в частности, система технического обслуживания и ремонта любого вида техники, система организации рубок ухода и т.д.
Другим крайним случаем может быть неопределенность нестохастического вида (по выражению Е.С.Вентцель- "дурная неопределенность"), при которой никаких предположений о стохастической устойчивости не существует. Наконец, можно говорить о промежуточном типе неопределенности, когда решение принимается на основании каких-либо гипотез о законах распределения случайных величин. При этом ЛПР должен иметь в виду опасность несовпадения его результатов с реальными условиями. Эта опасность несовпадения формализуется с помощью коэффициентов риска.
Рассмотрим примеры и методы принятия решений с учетом указанных выше типов неопределенностей.
Пример 1.1. Лесопосадки
Допустим, что ставится задача наиболее эффективного выращивания саженцев при лесопосадках путем внесения в почву определенного количества удобрений (или создания наиболее эффективной системы гидромелиорации). При этом, как правило, используются стратегии, максимизирующие доход (например, прирост древесины), или минимизирующие расход (стоимость удобрений или затрат на мелиорацию). При этом, очевидно, что обе цели противоречат друг другу и с точки зрения строго научной постановки задача не имеет решения, ибо минимум затрат - нуль, а с нулевыми затратами добиться какого-либо эффекта теоретически невозможно.
Пример 1.2. Проектирование лесных машин
Другим очень распространенным примером является создание любой машины. В частности, при создании лесной машины ставятся задачи получения максимальной производительности, минимального влияния на окружающую среду, высокой надежности и минимальной себестоимости. Противоречивость целей здесь налицо и реальная конструкция всегда будет каким-то компромиссом, достигаемым путем определенных уступок по каким-либо качествам. Собственно, в получении таких компромиссных решений и заключается основная проблема.
Таким образом, неопределенность целей требует привлечения каких-либо гипотез, помогающих получению однозначных решений. В данном случае учет фактора неопределенности цели , как уже указывалось, приводит к необходимости рассмотрения другой проблемы, которая формулируется в виде проблемы принятия оптимальных многоцелевых решений, которая подробно рассматривается авторами в главе 7. В этой же главе мы рассмотрим указанные выше другие типы неопределенностей.
Принятие решений в условиях риска
Как указывалось выше, с точки зрения знаний об исходных данных в процессе принятия решений можно представить два крайних случая: определенность и неопределенность. В некоторых случаях неопределенность знаний является как бы "неполной" и дополняется некоторыми сведениями о действующих факторах, в частности, знанием законов распределения описывающих их случайных величин. Этот промежуточный случай соответствует ситуации риска. Принятие решений в условиях риска может быть основано на одном из следующих критериев:
критерий ожидаемого значения;
комбинации ожидаемого значения и дисперсии;
известного предельного уровня;
наиболее вероятного события в будущем.
Рассмотрим более подробно применение этих критериев.
1. Критерий ожидаемого значения (КОЗ).
Использование КОЗ предполагает принятие решения, обуславливающего максимальную прибыль при имеющихся исходных данных о вероятности полученного результата при том или другом решении. По существу, КОЗ представляет собой выборочные средние значения случайной величины. Естественно, что достоверность получаемого решения при этом будет зависеть от объема выборки. Так, если обозначить
КОЗ - Е(x>1>,> >x>2>,...,> >x>n>), (1.1)
где
x>1>,> >x>2>,...,> >x>n >- принимаемые решения при их количестве, равном n, то
E(x>i>) M(x>i>), (1.2)
где
M(x>i>) - математическое ожидание критерия.
Таким образом, КОЗ может применяться, когда однотипные решения в сходных ситуациях приходится принимать большое число раз.
Приведем пример использования этого критерия для принятия решения.
Пример 1.1.
Пусть мастерская имеет n станков, причем ремонт отказавшего станка производится индивидуально, а если станки не отказывают, то через T интервалов времени производится профилактический ремонт всех станков. Задача заключается в определении оптимального значения T, при котором общие затраты на ремонт будут минимальны. Очевидно, что задача может быть решена, если известна вероятность p>t> отказа одного станка в момент времени t. Эта неопределенность и представляет в данном случае элемент "риска".
КОЗ для данного случая запишется так:
E[C(T)] = (C>1>E(n>t>) + C>2> n)/T, (1.3)
где
E[C(T)] - КОЗ затрат на ремонт станков за один интервал времени;
C>1> - затраты на ремонт одного станка при внезапном отказе;
E(n>t>) - математическое ожидание вышедших из строя станков в момент t;
C>2> - затраты на профилактический (плановый) ремонт одного станка.
Допустим, что n>t >имеет биноминальное распределение, тогда
E(n>t>) = n p>t> и
E[C(T)] =[n (C>1>p>t> + C>2>)]/T. (1.3а)
Необходимые условия оптимального значения T* имеют вид:
E[C(T*-1)] E[C(T*)] и E[C(T*+1)] E[C(T*)]. (1.4)
Критерий "ожидаемого значения - дисперсия".
Как указывалось выше, КОЗ имеет область применения, ограниченную значительным числом однотипных решений, принимаемых в аналогичных ситуациях. Этот недостаток можно устранить, если применять комбинацию КОЗ и выборочной дисперсии s2. Возможным критерием при этом является минимум выражения
E(Z, ) = E(Z) k U(z), (1.5)
где
E(Z, ) - критерий "ожидаемого значения - дисперсия";
k - постоянный коэффициент;
U(Z) = m>Z>/S - выборочный коэффициент вариации;
m>Z> - оценка математического ожидания;
S - оценка среднего квадратического ожидания.
Знак "минус" ставится в случае оценки прибыли, знак "плюс" - в случае затрат.
Из зависимости (1.5) видно, что в данном случае точность предсказания результата повышается за счет учета возможного разброса значений E(Z), то есть введения своеобразной "страховки". При этом степень учета этой страховки регулируется коэффициентом k, который как бы управляет степенью учета возможных отклонений. Так, например, если для ЛПР имеет большое значение ожидаемые потери прибыли, то k>>1 и при этом существенно увеличивается роль отклонений от ожидаемого значения прибыли E(Z) за счет дисперсии.
Критерий предельного уровня.
Этот критерий не имеет четко выраженной математической формулировки и основан в значительной степени на интуиции и опыте ЛПР. При этом ЛПР на основании субъективных соображений определяет наиболее приемлемый способ действий. Критерий предельного уровня обычно не используется, когда нет полного представления о множестве возможных альтернатив. Учет ситуации риска при этом может производиться за счет введения законов распределений случайных факторов для известных альтернатив.
Несмотря на отсутствие формализации критерием предельного уровня пользуются довольно часто, задаваясь их значениями на основании экспертных или опытных данных.
Критерий наиболее вероятного исхода.
Этот критерий предполагает замену случайной ситуации детерминированной путем замены случайной величины прибыли (или затрат) единственным значением, имеющим наибольшую вероятность реализации. Использование данного критерия, также как и в предыдущем случае в значительной степени опирается на опыт и интуицию. При этом необходимо учитывать два обстоятельства, затрудняющие применение этого критерия:
критерий нельзя использовать, если наибольшая вероятность события недопустимо мала;
применение критерия невозможно, если несколько значений вероятностей возможного исхода равны между собой.
5. Учет неопределенных факторов, заданных законом распределения.
Случай, когда неопределенные факторы заданы распределением, соответствует ситуации риска. Этот случай может учитываться двумя путями. Первый - анализом адаптивных возможностей, позволяющих реагировать на конкретные исходы; второй - методически, при сопоставлении эффективности технических решений. Суть первого подхода заключается в том, что законы распределения отдельных параметров на этапе проектирования могут быть определены с достаточной степенью приближения на основе сопоставления с аналогами, из физических соображений или на базе статистических данных и данных прогнозов.
Методический учет случайных факторов, заданных распределением, может быть выполнен двумя приемами: заменой случайных параметров их математическими ожиданиями (сведением стохастической задачи к детерминированной) и "взвешиванием" показателя качества по вероятности (этот прием иногда называют "оптимизация в среднем").
Первый прием предусматривает определение математического ожидания случайной величины v - M(v) и определение зависимости W(M(v)), которая в дальнейшем оптимизируется по u. Однако сведение к детерминированной схеме может быть осуществлено в тех случаях, когда диапазон изменения параметра u невелик или когда зависимость W(u) линейна или близка к ней.
Второй прием предусматривает определение W в соответствии с зависимостями соответственно для дискретных и непрерывных величин:
; (1.6)
, (1.7)
где
P(u>i>) - ряд распределений случайной величины u>i>;
f(u>i>) - плотность распределения случайной величины u.
При описании дискретных случайных величин наиболее часто используют распределения Пуассона, биноминальное. Для непрерывных величин основными распределениями являются нормальное, равномерное и экспоненциальное.
1.2.1. Постановка задачи стохастического программирования
При перспективном и оперативном планировании работы лесопромышленного предприятия возникает необходимость в учете ряда случайных факторов, существенно влияющих на процесс производства. К таким факторам относятся спрос, который не всегда может быть предсказуем, непредусмотренные сбои в поступлении сырья, энергии, рабочей силы, неисправности и аварии оборудования. Еще больше случайных факторов необходимо учитывать при планировании лесохозяйственного производства, эффективность которого зависит от климатических условий, урожайности и т.д. Поэтому задачи планирования лесного производства целесообразно ставить и исследовать в терминах и понятиях стохастического программирования, когда элементы задачи линейного программирования (матрица коэффициентов A, вектора ресурсов b, вектора оценок c) часто оказываются случайными. Подобного типа задачи ЛП принято классифицировать как задачи стохастического программирования (СП).
Подходы к постановке и анализу стохастических задач существенно различаются в зависимости от последовательности получения информации - в один прием или по частям. При построении стохастической модели важно также знать, необходимо ли принять единственное решение, не подлежащее корректировке, или можно по мере накопления информации один или несколько раз корректировать решение. В соответствии с этим в стохастическом программировании исследуются одноэтапные, двухэтапные и многоэтапные задачи.
В одноэтапных задачах решение принимается один раз и не корректируется. Они различаются по показателям качества решения (по целевым функциям), по характеру ограничений и по виду решения.
Задача СП может быть сформулирована в M- и P- постановках по отношению к записи целевой функции и ограничений.
Случайны элементы вектора с (целевая функция).
При M-постановке целевая функция W записывается в виде
, (1.8)
что означает оптимизацию математического ожидания целевой функции. От математического ожидания целевой функции можно перейти к математическому ожиданию случайной величины c>j>
. (1.9)
При P- постановке имеем:
при максимизации
(1.10)
где
W>min> - предварительно заданное допустимое наихудшее (минимальное) значение целевой функции.
при минимизации
(1.11)
где
W>max> - предварительно заданное допустимое наихудшее (максимальное) значение целевой функции.
Суть P-постановки заключается в том, что необходимо найти такие значения x>j>, при которых максимизируется вероятность того, что целевая функция будет не хуже предельно допустимого значения.
Ограничения задачи, которые должны выполняться при всех реализациях параметров условий задачи, называются жесткими ограничениями. Часто возникают ситуации, в которых постановка задачи позволяет заменить жесткие ограничения их усреднением по распределению случайных параметров. Такие ограничения называют статистическими:
(1.12)
В тех случаях, когда по содержательным соображениям можно допустить, чтобы невязки в условиях не превышали заданных с вероятностями, небольшими >i>>0, говорят о стохастических задачах с вероятностными ограничениями:
(1.13)
т.е. вероятность выполнения каждого заданного ограничения должна быть не менее назначенной величины >i>. Параметры >i >предполагаются заданными или являются решениями задачи более высокого уровня.
Представленные задачи как в M-, так и в P- постановках непосредственно решены быть не могут. Возможным методом решения этих задач является переход к их детерминированным эквивалентам. В основе этого перехода лежит использование закона распределения случайной величины. В инженерной практике наиболее часто используется нормальный закон распределения, поэтому дальнейшие зависимости приведем для этого случая.
Принимаем, что a>ij>, b>i>, c>j> подчинены нормальному закону распределения. В этом случае будет справедлива следующие детерминированные постановки:
P - постановка целевой функции, максимизация:
(1.14)
где
и >j >- математическое ожидание и среднее квадратическое отклонение случайной величины c>j>.
P - постановка целевой функции, минимизация:
(1.15)
Вероятностные ограничения:
где
- соответственно, математические ожидания и дисперсии случайных величин a>ij> и b>i>;
- значение центрированной нормированной случайной величины в нормальном законе распределения, соответствующей заданному уровню вероятности соблюдения ограничений >i>.
Сделаем несколько замечаний к приведенным зависимостям:
задача стохастического программирования сведена к задаче нелинейной оптимизации и может быть решена одним из рассматриваемых ранее методов;
сравнение ограничения ресурса в стохастическом программировании и аналогичным ограничением в задаче линейного программирования показывает, что учет случайного характера величин a>ij >и b>i> приводит к уменьшению располагаемого ресурса на величину
, (1.16)
т.е. к необходимости в дополнительном ресурсе. Однако этот дополнительный ресурс может оказаться неиспользованным, но для гарантированного выполнения плана его иметь необходимо.
Применение стохастического программирования в лесном деле
Пример 1.1. Распределение посевной площади между лесными культурами.
Лесничество имеет вырубки площадью в 100 га в различных почвенных условиях (три типа) и заинтересовано как можно более эффективно использовать ее для создания лесных культур. Требуется распределить площадь под посевы лесных культур - сосны и ели. Имеются статистические данные по издержкам и всхожести каждой культуры на единице площади с почвой каждого типа. Кроме того, вышестоящей организацией задан минимально необходимый объем лесовосстановления по каждой культуре - 30 для сосны и 40 для ели. Издержки на обработку почвы и всхожесть лесных культур существенно зависят от погодных условий и являются случайными величинами с параметрами риска:
>0>, характеризующий риск превышения фактических издержек над запланированными;
>1 >и> 1>, определяющие риск невыполнения плана по культуре i.
Постановка задачи.
1. В качестве показателя эффективности целесообразно взять издержки лесовосстановления.
2. В качестве управляемых переменных задачи следует взять:
x>11> - площадь с 1 типом почвы, отводимой под культуру сосны;
x>12> - площадь с 1 типом почвы, отводимой под культуру ели;
x>21> - площадь с 2 типом почвы, отводимой под культуру сосны;
x>22> - площадь с 2 типом почвы, отводимой под культуру ели;
x>31> - площадь с 3 типом почвы, отводимой под культуру сосны;
x>32> - площадь с 3 типом почвы, отводимой под культуру ели.
3. Целевая функция:
c>11> x>11> + c>11> x>12> + c>11> x>13> + c>11> x>21> + c>11> x>22> + c>11> x>23 >+ c>11> x>31> + c>11> x>32> + c>11> x>33 >min,
где
c>11> - удельные затраты площади с почвой типа 1 для посадки сосны;
c>12> - удельные затраты площади с почвой типа 1 для посадки ели;
c>21> - удельные затраты площади с почвой типа 2 для посадки сосны;
c>22> - удельные затраты площади с почвой типа 2 для посадки ели;
c>31> - удельные затраты площади с почвой типа 3 для посадки сосны;
c>32> - удельные затраты площади с почвой типа 3 для посадки ели.
4. Ограничения:
4.1. По использованию земли, га:
4.2. По бюджету, тыс. руб.:
4.3. По обязательствам, га:
для сосны
для ели
4.4. Областные ограничения:
x>11> 0,..., x>33 >0.
Пример 1.2. Выбор состава машинно-тракторного парка.
Выбор структуры технического оснащения является необходимым элементом лесохозяйственного планирования. Машины различных марок, предназначенные для одних и тех же работ, обладают разными конструктивными параметрами и характеризуются неодинаковой эффективностью. Для каждого конкретного хозяйства требуется подобрать состав машинно-тракторного парка, наиболее полно отвечающий его особенностям. Рациональный подбор техники должен минимизировать приведенные затраты на производство заданных работ в требуемые сроки. Объемы работ, производительность агрегатов и приведенные затраты зависят от сложившихся погодных условий и множества других непредсказуемых факторов. Поэтому выбор структуры машинно-тракторного парка следует связать с решением стохастической задачи.
Постановка задачи.
1. В качестве показателя эффективности целесообразно взять суммарные приведенные издержки на приобретение, обслуживание и эксплуатацию техники.
2. В качестве управляемых переменных задачи следует взять:
x>1> - количество плугов - покровасдирателей;
x>2> - количество плугов лесных;
x>3> - количество плугов лесных ПЛ;
x>4> - количество тракторов ЛХТ-55А;
x>5> - количество тракторов ТДТ-55А;
x>6> - количество тракторов МТЗ.
3. Целевая функция:
c>1> x>1> + c>2> x>2> + c>3> x>3> + c>4> x>4> + c>5> x>5> + c>6> x>6 >min,
где
c>1> - приведенные затраты на плуг - покровасдиратель;
c>2> - приведенные затраты на плуг лесной;
c>3>- приведенные затраты на плуг лесной;
c>4> - приведенные затраты на трактор ЛХТ-55А;
c>5> - приведенные затраты на трактор ТДТ-55А;
c>6> - приведенные затраты на трактор МТЗ.
4. Ограничения:
4.1. По условию обеспечения необходимой комплексной работы агрегатов:
,
где
h>ij> = 1, если плуг j типа работает с трактором i типа;
h>ij> = 0, в противном случае.
4.2. По обязательствам выполнения требуемых работ, га:
где
a>kj>, k = 1,2,...,m, j = 1,..., 3 - производительность плуга j типа на работе k типа;
b>k >, - объем работ k вида, подлежащих выполнению.
4.3. Областные ограничения:
x>1> 0,..., x>6 >0.
1.2.3. Метод статистического моделирования
Приведенные формулы (1.6) и (1.7) могут быть использованы для систем независимых случайных величин. Однако для технических систем, как правило, случайные параметры являются зависимыми. Причем эта зависимость не функциональная, а корреляционная. Поэтому для анализа случайных факторов, заданных распределением, широкое применение нашли теория марковских процессов и метод статистического моделирования (метод Монте-Карло).
В задачах принятия оптимальных решений широкое применение получил метод Монте-Карло. Основными особенностями этого метода, основанного на многократном повторении одного и того же алгоритма для каждой случайной реализации, являются: универсальность (метод не накладывает практически никаких ограничений на исследуемые параметры, на вид законов распределения); простота расчетного алгоритма; необходимость большого числа реализаций для достижения хорошей точности; возможность реализации на его основе процедуры поиска оптимальных параметров проектирования. Отметим основные факторы, определившие применение метода статистического моделирования в задачах исследования качества при проектировании: метод применим для задач, формализация которых другими методами затруднена или даже невозможна; возможно применение этого метода для машинного эксперимента над не созданной в натуре системы, когда натурный эксперимент затруднен, требует больших затрат времени и средств или вообще не допустим по другим соображениям.
1.3. Учет неопределенных пассивных условий
Неопределенные факторы, закон распределения которых неизвестен, являются наиболее характерными при исследовании качества адаптивных систем. Именно на этот случай следует ориентироваться при выборе гибких конструкторских решений. Методический учет таких факторов базируется на формировании специальных критериев, на основе которых принимаются решения. Критерии Вальда, Сэвиджа, Гурвица и Лапласа уже давно и прочно вошли в теорию принятия решений.
В соответствии с критерием Вальда в качестве оптимальной выбирается стратегия, гарантирующая выигрыш не меньший, чем "нижняя цена игры с природой":
. (1.17)
Правило выбора решения в соответствии с критерием Вальда можно интерпретировать следующим образом: матрица решений [W>ir>] дополняется еще одним столбцом из наименьших результатов W>ir> каждой строки. Выбрать надлежит тот вариант, в строке которого стоит наибольшее значение W>ir> этого столбца.
Выбранное таким образом решение полностью исключает риск. Это означает, что принимающий решение не может столкнуться с худшим результатом, чем тот, на который он ориентируется. Какие бы условия V>j> не встретились, соответствующий результат не может оказаться ниже W. Это свойство заставляет считать критерий Вальда одним из фундаментальных. Поэтому в технических задачах он применяется чаще всего как сознательно, так и неосознанно. Однако в практических ситуациях излишний пессимизм этого критерия может оказаться очень невыгодным.
Применение этого критерия может быть оправдано, если ситуация, в которой принимается решение, характеризуется следующими обстоятельствами:
о вероятности появления состояния V>j> ничего не известно;
с появлением состояния V>j> необходимо считаться;
реализуется лишь малое количество решений;
не допускается никакой риск.
Критерий Байеса-Лапласа в отличие от критерия Вальда, учитывает каждое из возможных следствий всех вариантов решений:
. (1.18)
Соответствующее правило выбора можно интерпретировать следующим образом: матрица решений [W>ij>] дополняется еще одним столбцом, содержащим математическое ожидание значений каждой из строк. Выбирается тот вариант, в строках которого стоит наибольшее значение W>ir> этого столбца.
Критерий Байеса-Лапласа предъявляет к ситуации, в которой принимается решение, следующие требования:
вероятность появления состояния V>j> известна и не зависит от времени;
принятое решение теоретически допускает бесконечно большое
количество реализаций;
допускается некоторый риск при малых числах реализаций.
В соответствии с критерием Сэвиджа в качестве оптимальной выбирается такая стратегия, при которой величина риска принимает наименьшее значение в самой неблагополучной ситуации:
(1.19)
Здесь величину W можно трактовать как максимальный дополнительный выигрыш, который достигается, если в состоянии V>j> вместо варианта U>i> выбрать другой, оптимальный для этого внешнего состояния, вариант.
Соответствующее критерию Сэвиджа правило выбора следующее: каждый элемент матрицы решений [W>ij>] вычитается из наибольшего результата max W>ij> соответствующего столбца. Разности образуют матрицу остатков. Эта матрица пополняется столбцом наибольших разностей W>ir>. Выбирается тот вариант, в строке которого стоит наименьшее значение.
Согласно критерию Гурвица выбирается такая стратегия, которая занимает некоторое промежуточное положение между крайним пессимизмом и оптимизмом:
(1.20)
где
- коэффициент пессимизма, выбираемый в интервале [0,1].
Правило выбора согласно этому критерию следующее: матрица решений [W>ij>] дополняется столбцом, содержащим средние взвешенные наименьшего и наибольшего результатов для каждой строки (2.6). Выбирается тот вариант, в строках которого стоят наибольшие элементы W>ir> этого столбца.
При =1 критерий Гурвица превращается в критерий Вальда (пессимиста), а при =0 - в критерий азартного игрока. Отсюда ясно, какое значение имеет весовой множитель . В технических приложениях правильно выбрать этот множитель бывает так же трудно, как правильно выбрать критерий. Поэтому чаще всего весовой множитель =0.5 принимается в качестве средней точки зрения.
Критерий Гурвица предъявляет к ситуации, в которой принимается решение, следующие требования:
о вероятности появления состояния V>j >ничего не известно;
с появлением состояния V>j> необходимо считаться;
реализуется лишь малое количество решений;
допускается некоторый риск.
Критерий Ходжа-Лемана базируется одновременно на критериях Вальда и Байеса-Лапласа:
. (1.20)
Правило выбора, соответствующее этому критерию, формулируется следующим образом: матрица решений [W>ij>] дополняется столбцом, составленным из средних взвешенных (с постоянными весами) математического ожидания и наименьшего результата каждой строки. Отбирается тот вариант решения, в строке которого стоит наибольшее значение этого столбца.
При z=1 критерий преобразуется в критерий Байеса-Лапласа, а при z=0 превращается в критерий Вальда. Таким образом, выбор параметра z подвержен влиянию субъективизма. Кроме того, без внимания остается и число реализаций. Поэтому этот критерий редко применяется при принятии технических решений.
Критерий Ходжа-Лемана предъявляет к ситуации, в которой принимается решение, следующие требования:
о вероятности появления состояния V>j> ничего не известно, но некоторые предположения о распределении вероятностей возможны;
принятое решение теоретически допускает бесконечно большое количество реализаций; допускается некоторый риск при малых числах реализаций.
Общие рекомендаций по выбору того или иного критерия дать затруднительно. Однако отметим следующее: если в отдельных ситуациях не допустим даже минимальный риск, то следует применять критерий Вальда; если определенный риск вполне приемлем, то можно воспользоваться критерием Сэвиджа. Можно рекомендовать одновременно применять поочередно различные критерии. После этого среди нескольких вариантов, отобранных таким образом в качестве оптимальных, приходится волевым решением выделять некоторое окончательное решение.
Такой подход позволяет, во-первых, лучше проникнуть во все внутренние связи проблемы принятия решений и, во-вторых, ослабляет влияние субъективного фактора. Кроме того, в области технических задач различные критерии часто приводят к одному результату.
Применение данных критериев с методической точки зрения удобно продемонстрировать на примере одной задачи.
Пример 1.3. Обоснование состава ремонтной бригады.
На предприятии решается вопрос о создании ремонтной бригады. Основываясь на применениии критериев Вальда, Лапласа, Сэвиджа и Гурвица, определить наиболее целесообразное число членов бригады. Исходные данные сведены в табл. 1.1, в ячейках которой занесены доходы при разных вариантах (стратегиях). Под стратегией понимается x -число членов бригады и R - количество станков, требующих ремонта.
Таблица 1.1
x\R |
40 |
30 |
20 |
10 |
5 |
50 |
100 |
180 |
250 |
4 |
80 |
70 |
80 |
230 |
3 |
210 |
180 |
120 |
210 |
2 |
300 |
220 |
190 |
150 |
1. Критерий Вальда. Как указывалось выше критерий Вальда выражается в двухь формах, зависящих от вида исходных данных.
Если исходными данными являются потери при различных стратегиях, то критерий выбирается в форме минимакса (минимальные потери из минимально возможных), то есть критерий (2.6) имеет вид
.
Таким образом, справа дописывается столбец максимумов по строкам.
Таблица 1.3
x\R |
40 |
30 |
20 |
10 |
max |
5 |
50 |
100 |
180 |
250 |
250 |
4 |
80 |
70 |
80 |
230 |
230 |
3 |
210 |
180 |
120 |
210 |
210 |
2 |
300 |
220 |
190 |
150 |
300 |
Для удобства запишем его в виде транспонированного вектора max u>xR >= <250, 230, 210, 300>т и выбираем минимальное значение 210. Таким образом, при данных условиях рациональным решением будет x=3, R=10, min u>xR >= 210.
Если в таблице фигурируют доходы при различных стратегиях, то критерий Вальда принимает форму максимина (максимум из минимумов), то есть критерий (2.6) имеет вид
.
Таким образом, справа дописывается столбец минимумов по строкам.
Таблица 1.3
x\R |
40 |
30 |
20 |
10 |
Min |
5 |
50 |
100 |
180 |
250 |
50 |
4 |
80 |
70 |
80 |
230 |
70 |
3 |
210 |
180 |
120 |
210 |
120 |
2 |
300 |
220 |
190 |
150 |
150 |
Тогда решающий столбец имеет вид max u>xR >= <50, 70, 120, 150>т. Максиминное значение равно 150. Таким образом, при данных условиях рациональным решением будет: x=2, R=10, max u>xR >= 150.
2. Критерий Лапласа. Как известно, критерий Лапласа предполагает, что все состояния системы равновероятны и рациональные решения выбираются по критерию:
.
При данных предыдущего примера в случае, если в таблице записаны потери при том или ином варианте, значение критериев подсчитывается так:
W>1> = 0.25 (50+100+180+250) = 145;
W>2> = 0.25 (80+70+80+230) = 115;
W>3> = 0.25 (210+180+120+210) = 180;
W>4> = 0.25 (300+220+190+150) = 215.
Таким образом наилучшим решением будет x=4, минимум потерь (наибольший выигрыш) равен 115.
3. Критерий Сэвиджа. В этом случае составляется новая матрица, элементы которой составляются по правилу:
Составим матрицу W(x>i>, R>j>) - матрицу сожалений для случая, когда u>ij >- потери, используя предыдущие данные. Соответствующая матрица получается путем вычисления значений min(x>i>, R>j>), равных 50, 70, 80 и 150 из столбцов 1, 2, 3, 4, соответственно
|
|
|
|
|
max W(x>i>, R>j>) |
|
0 |
30 |
100 |
100 |
100 |
W(x>i>, R>j>)= |
30 |
0 |
0 |
0 |
80 |
|
160 |
110 |
40 |
60 |
160 |
|
250 |
150 |
110 |
0 |
250 |
Таким образом, минимальные потери будут при x=2, когда max W(x>i>, R>j>)=80. Отметим, что независимо от того, является функцией сожаления, определяющая потери. Поэтому здесь можно применить только минимаксный критерий.
4. Критерий Гурвица. В отличие от примененных выше "жестких" критериев, критерий Гурвица является "гибким", так как позволяет варьировать "степень оптимизма-пессимизма". Таким образом, этот критерий устанавливает баланс между случаями крайнего оптимизма или пессимизма, путем введения коэффициента веса . Как указывалось выше, критерий записывается в виде:
Применим данный критерий к нашим исходным данным, полагая =0.5. Матрица значений W будет выглядеть следующим образом:
Таблица 1.4
|
min u(x>i>, R>j>) |
max u(x>i>, R>j>) |
min u(x>i>, R>j>) + max u(x>i>, R>j>) |
5 |
50 |
250 |
15 |
4 |
70 |
230 |
15 |
3 |
120 |
210 |
165 |
2 |
150 |
300 |
225 |
Таким образом, в результате применения этого критерия получилось, что существуют два равнозначных варианта:
x>1> = 5, x>2> = 4 при одинаковых значениях W>1> = W>2> = 15.
1.4. Учет активных условий
Как правило, решение практических задач, связанных с оценкой качества и надежности изделий лесного машиностроения, зависит не только от оперирующей стороны (допустим, конструктора), но и от действий других субъектов системы (например, технолога-лесозаготовителя). Каждая из сторон преследует собственные цели, не всегда совпадающие друг с другом. Неопределенность такого рода при принятии решений относят к классу поведенческих неопределенностей. Теоретической основой нахождения оптимального решения в условиях неопределенности и конфликтных ситуаций является теория игр. Игра - это математическая модель процесса функционирования конфликтующих элементов систем, в котором действия игроков происходят по определенным правилам, называемых стратегиями. Ее широкому распространению в последнее время способствовало как развитие ЭВМ, так и создание аналитического аппарата, позволяющего находить аналитические решения для широкого класса задач. Основной постулат теории игр - любой субъект системы по меньшей мере так же разумен, как и оперирующая сторона и делает все возможное, чтобы достигнуть своих целей. От реального конфликта игра (математическая модель конфликта) отличается тем, что она ведется по определенным правилам, которые устанавливают порядок и очередность действий субъектов системы, их информированность, порядок обмена информацией, формирование результата игры.
Существует много классов игр, различающихся по количеству игроков, числу ходов, характеру функций выигрыша и т.д. Выделим следующие основные классы игр:
антагонистические (игры со строгим соперничеством) и неантогонистические. В первом случае цели игроков противоположны, во - втором - могут совпадать;
стратегические и нестратегические (в первых субъект системы действует независимо от остальных, преследуя свои цели, во-вторых субъекты выбирают единую для всех стратегию);
парные игры и игры для N-лиц;
коалиционные и бескоалиционные;
кооперативные и некооперативные (в первых возможен обмен информацией о возможных стратегиях игроков);
конечные и бесконечные (в первых - конечное число стратегий).
Наибольшее распространение в технических приложениях имеют парные стратегические бескоалиционные конечные некооперативные игры. Модель проблемной ситуации в этом случае имеет вид:
< U, V, W>1>, W>2>, R>1>, R>2> >,
где
U - множество стратегий оперирующей стороны (конструктора);
V - множество стратегий оппонирующей стороны (технолог и природа);
W>1> и W>2> - показатели качества игроков;
R>1> и R>2> - системы предпочтения игроков.
Системы предпочтения игроков, в свою очередь, основываются на двух ведущих принципах рационального поведения: принципе наибольшего гарантированного результата и принципе равновесия.
Первый основан на том, что рациональным выбором одного из игроков должен считаться такой, при котором он рассчитывает на самую неблагоприятную для него реакцию со стороны другого игрока.
Второй принцип гласит, что рациональным выбором любого игрока считается такая стратегия u>$> (или v>$>), для которой ситуация (u>$>, v>$>) обоюдовыгодна: любое отклонение от данной ситуации игры не является выгодным ни для одного из игроков.
Решается парная матричная игра (проектируемое изделие - меры и средства противодействия) с нулевой суммой (выигрыш одной стороны равен проигрышу другой) на основе рассмотрения платежной матрицы, которая представляет собой совокупность значений U и V (пара стратегий (u,v) U x V называется ситуацией игры) а также выигрышей W>ij> при парном сочетании всевозможных стратегий сторон.
Решение парной матричной игры может быть в чистых стратегиях, когда для каждой из сторон может быть определена единственная оптимальная стратегия, отклонение от которой невыгодно обоим игрокам. Если выгодно использовать несколько стратегий с определенной частотой их чередования, то решение находится в смешанных стратегиях.
Основные особенности использования методов теории заключаются в следующем. В качестве возможных стратегий со стороны проектируемой системы рассматриваются возможные варианты ее строения, из которых следует выбрать наиболее рациональный. В качестве стратегий противника рассматриваются возможные варианты его противодействия, стратегии их применения.
Необходимо отметить, что при рассмотрении игр с использованием адаптивной системы число ее стратегий может быть существенно расширено благодаря реализации "гибких" конструкторских решений. Анализ игровых ситуаций в этом случае может быть направлен не только на выбор рационального варианта проектируемого изделия, но и на определение алгоритмов рационального применения системы в конфликтной ситуации.
Другая особенность применения методов теории игр заключается в выборе решений, получаемых на основе анализа конфликтной ситуации. В теории игр доказывается теорема о том, что оптимальная стратегия для каждого из игроков является оптимальной и для другого. Так, если решение игры получено в чистых стратегиях (имеется седловая точка), то выбор решения однозначен. Например, если для парной антагонистической игры 3x4 составить матрицу, где элементами u>ij> будут выигрыши (проигрыши) игроков, то седловая точка находится на пересечении максимина строк и минимакса столбцов
Стратегии |
Стратегии B |
Min |
|||
A |
1 |
2 |
3 |
4 |
строк |
1 |
8 |
2 |
9 |
5 |
2 |
2 |
6 |
5 |
7 |
18 |
5 |
3 |
7 |
3 |
-4 |
10 |
-4 |
max столбцов |
8 |
5 |
9 |
18 |
|
Оптимальными стратегиями будут для A - 2, для B - 2. Цена игры равна 5. Отметим, что в случае наличия седловой точки ни один из игроков не может улучшить стратегию и стратегии называются чистыми. Отметим, что игра с чистыми стратегиями может существовать только при наличии полной информации о действиях противника.
Если же решение игры получено в смешанных стратегиях, то это эквивалентно созданию множества вариантов проектируемого компонента и использованию их с оптимальными частотам, соответствующими оптимальной смешанной стратегии. В случаях, когда не имеется полной информации о действиях противника, вводятся вероятности применения той или иной стратегии в виде векторов
P><n>>=<p>1>, p>2>, ..., p>n>> - для игрока A, где ;
Q><m>>=<q>1>, q>2>, ..., q>n>> - для игрока B, где .
При этом игрок A выбирает стратегию в соответствии с принципом максимина по выражению:
,
а игра B по принципу минимакса
.
Рассмотрим пример: пусть рассматривается принятие решения в игре 2x2, где игрок A знает вероятность стратегии 1, то есть p>1>, тогда очевидно вероятность стратегии 2 будет 1-p, соответственно стратегии игрока B будут q>1> и 1-q>1>. Платежная матрица будет иметь вид:
|
|
B |
|
|
|
q>1> |
1-q>1> |
A |
p>1> |
a>11> |
a>12> |
|
1-p>1> |
a>21> |
a>22> |
На основании матрицы и приведенных выше выражений составляется таблица:
Чистые стратегии игрока B |
Ожидаемые выигрыши игрока A |
1 |
(a>11>-a>21>)p>1> + a>21> |
2 |
(a>12>-a>22>)p>1> + a>22> |
Из таблицы видно, что ожидаемый выигрыш игрока A линейно зависит от вероятности p>1> (в данном случае задача может быть решена графоаналитически). Тогда смешанная стратегия игрока А будет иметь вид
<p*>1>, p*>2>>,
то есть игроку A выгодно применять стратегию 1 с частотой (вероятностью) - p>1>, а стратегию 2 с частотой p>2>.
Очевидно, что разработка нескольких вариантов изделия сопряжена с большими затратами, не всегда реализуема и затрудняет использование системы. Поэтому при получении решения в смешанных стратегиях рекомендуются следующие случаи принятия окончательного решения:
для дальнейшего проектирования выбирается тот вариант, который гарантирует максимальное качество (выбор по максиминной стратегии аналогично критерию Вальда);
выбирается тот вариант, который в смешанной стратегии должен использоваться с максимальной вероятностью;
реализуется несколько вариантов изделия с частотами, соответствующими смешанной стратегии (создание адаптивно-модульных конструкций).
Важное значение в задачах исследования качества адаптивных систем имеет не только решение игры, но и анализ платежной матрицы. Это особенно важно в тех случаях, когда решение в смешанных стратегиях не реализуется. Этот анализ может проводиться на основе: оценки возможных потерь эффективности в случае реализации чистой стратегии; определения дополнительных затрат на их компенсацию с помощью "гибких" конструкторских решений; оценки достоверности рассмотренных стратегий противодействия; определения возможности реализации компромиссных вариантов и т.д.
Для анализа конфликтной ситуации требуется на основе математической модели операции построить платежную матрицу [W>mn>] =[W>ij>], где W>ij> характеризует качество изделия при выборе i-го варианта проектируемого изделия и при j-м варианте противодействия противника.
Решение может быть получено в чистых стратегиях, когда есть седловая точка. Условие седловой точки имеет вид
, (1.21)
где левая часть выражения - нижняя цена игры, правая - верхняя цена игры.
Если условие (1.8) не выполняется, то седловая точка отсутствует и требуется реализация смешанной стратегии.
Решение в смешанных стратегиях состоит в реализации чистых стратегий с различными вероятностями, задаваемыми распределением:
для проектируемого изделия в виде вектора-столбца
G = {g>i>}, где i = 1,2 ...m; ;
для противодействия в виде вектора-строки
F = {f>j>}, где j = 1,2 ...n; ,
где
g>i> - вероятность выбора стратегии u>i>;
f>j> - вероятность выбора стратегии v>j>.
Платежную функцию запишем в следующем виде:
(1.22)
где индексом "т" обозначена процедура транспонирования.
Платежная функция W(G,F) всегда имеет седловую точку, т.е. всегда существует решение матричной игры. Это утверждение соответствует основной теореме теории матричных игр: каждая матричная игра с нулевой суммой имеет, по крайней мере, одно решение в чистых или смешанных стратегиях.
Последовательность решения игры следующая:
Анализируется платежная матрица на предмет исключения заведомо невыгодных и дублирующих стратегий.
Проверяется наличие седловой точки по условию (1.21).
Если решение в чистых стратегиях отсутствует, то ищется решение в смешанных стратегиях с помощью методов линейного программирования или методом Монте-Карло.
Пример 1.4. Обоснование стратегии эксплуатации
Предположим, что техническая система (агрегат) состоит из 5 блоков, отказ одного из которых ведет к отказу всей системы. Для предупреждения простоя системы можно провести перед началом ее работы проверку и замену неисправного блока. Если проверен не тот блок, то система простаивает, что приводит к убытку R>i >(в таблице), который существенно превышает расходы на профилактику и замену (т.е. R>ij> = 0). Требуется выбрать оптимальную стратегию из условия минимума убытка.
Пусть матрица расходов в зависимости от стратегий имеет вид:
Отказ блока (стратегии природы) |
|||||||
Проверка |
|
1 |
2 |
3 |
4 |
5 |
max строки |
и |
1 |
8 |
2 |
9 |
5 |
6 |
9 |
замена |
2 |
6 |
5 |
17 |
18 |
7 |
18 |
(стра- |
3 |
7 |
3 |
14 |
10 |
8 |
14 |
тегии |
4 |
4 |
6 |
16 |
9 |
19 |
19 |
эксплуа- |
5 |
12 |
4 |
15 |
8 |
10 |
15 |
тации) |
min столбца |
6 |
2 |
9 |
5 |
6 |
|
Ответ: Имеется седловая точка - необходимо во всех случаях проверять первый блок.
Пример 1.5. Зимняя эксплуатация лесовозной дороги
Предположим, что при заготовке леса зимой стоит выбор делать или не делать предварительную расчистку дороги. При этом известны предполагаемые высоты снежного покрова и матрица доходов при применении той или иной стратегии. В данном случае можно реализовать себя как игрока A, а природу, как игроке B:
B |
|||||
|
|
20 мм |
40 мм |
60 мм |
100 мм |
A |
не делать |
2 |
2 |
3 |
-1 |
|
делать |
4 |
3 |
2 |
6 |
Решение: Имеем игру 2x4. Эта игра не имеет седловой точки. Ожидаемые выигрыши игрока A, соответствующие чистым стратегиям B представлены в таблице
Чистые стратегии B |
Ожидаемые выигрыши A |
1 2 3 4 |
-2x>1 >+ 4 -x>1> +3 x>1 >+ 2 -7x>1> + 6 |
Далее оптимальное решение - максимин находится графоаналитическим методом. Значение игры в данном случае равно 5/2.
Литература:
Андреев В.Н., Герасимов Ю.Ю. Принятие оптимальных решений: Теория и применение в лесном деле. Йоэнсуу: Из-во ун-та Йоэнсуу, 1999. 200 с.
Беллман Р., Калаба Р. Динамическое программирование и современная теория управления. М.: Наука, 1969. 120 с.
Вентцель Е.С. Элементы динамического программирования. М.: Наука, 1964. 176 с.
Вентцель Е.С. Исследование операций: задачи, принципы, методология. М.: Наука, 1988.
Юдин Д.Б. Задачи и методы стохастического программирования. М.: Сов. радио, 1979. 392 с.
Davis L.S., Johnson K.N. Forest management. New York: McGraw-Hill Book Company, 1987. 790 p.
Моисеев Н.Н., Математические методы системного анализа М. Наука 1981 487 с.
http://www.petrsu.ru/Faculties/Forest/courses/decision/decis_a.htm