Выпуск 5
УДК б81.5;004
В. А. Доровской,
д-р техн. наук, профессор, Керченский государственный морской технологический университет;
С. Г. Черный,
канд. техн. наук, доцент, Керченский государственный морской технологический университет
НЕЧЕТКИЕ МЕТОДЫ И МОДЕЛИ УПРАВЛЕНИЯ ИНТЕЛЛЕКТУАЛЬНЫМИ СИСТЕМАМИ ПОДВОДНОЙ ДОБЫЧИ ПОЛЕЗНЫХ ИСКОПАЕМЫХ
В УСЛОВИЯХ РИСКА
FUZZY METHODS AND MODELS OF INTELLIGENT UNDERWATER MINING SYSTEMS FOR CONDITIONS OF RISK
В работе рассмотрены нечеткие методы и модели принятия решений интеллектуальными системами подводной добычи полезных ископаемых в условиях риска (неопределенности). Методы принятия решений в условиях неопределенности являются узкоспециализированными, ориентированными на отдельные виды неопределенностей: стохастическую, нечеткую или интервальную. Корректные методы их взаимной трансформации илиучета их различных композиций малоразработаны.
Considered the fuzzy methods and models of decision-making intelligent systems underwater mining in conditions of risk (uncertainty). Methods of decision making under uncertainty is a specialized, focused on certain types of uncertainty: stochastic, fuzzy, or interval. Correct methods of their mutual transformation and taking into account their different compositions developed not enough.
Ключевые слова: нечеткие методы, принятие решений,риск, критерий, альтернатива.
Key words:fuzzy techniques, decision-making, risk of criteria, alternative.
Введение и анализ существующих исследований. Интеллектуальное месторождение всегда начинается с построения его геологической и технологической модели. Без знания особенностей пласта, представления о том, как должна быть организована добыча, невозможно создать систему управления. Не случайно некоторые эксперты полагают [1], что интеллектуальные технологии лучше всего подходят для месторождений, находящихся на поздней стадии разработки, так как они максимально изучены.
Прогноз добычи и повышение коэффициента извлечения нефти, оптимизацию операционных и капитальных затрат в концепции интеллектуального месторождения (Smart Field) можно оценить благодаря созданию интегрированной модели месторождения, ее адаптации к реальным условиям и расчету оптимальных вариантов разработки нефтегазового актива. Интегрированная модель объединяет модели пласта и наземной инфраструктуры и позволяет делать выбор наилучшего варианта развития месторождения или оптимизации производства, выявить избыточную инфраструктуру, ненужное бурение, причины отказов оборудования, потери по добыче углеводородов из-за «узких мест системы сбора» и в целом повысить экономическую эффективность принимаемых решений по управлению нефтегазовым активом. При этом диспетчер сталкивается с проблемами нечетких моделей и методов принятия решений в условиях риска (неопределенности). На рис. 1 схематично представлена интеллектуальная система добычи углеводородов.
Существует большое количество моделей принятия решений в условиях стохастической неопределенности, которые ориентированы на учет как объективных особенностей ситуации принятия решений, таких как размерность задачи, степень и форма неопределенности представления
исходной информации и т. д., так и субъективных предпочтений ЛПР, вынужденного тем или иным способом возмещать недостающую объективную информацию. Заметим, что с момента опубликования основоположником теории нечетких множеств и логики Л. А. Заде в 1965 г. статьи “Fuzzy Sets” [2] термин “fuzzy” {англ. — нечеткий, размытый) стал ключевым словом практически во всех областях науки. Работа Л. Заде [3] заложила основы моделирования интеллектуальной деятельности человека и явилась начальным толчком к развитию новой математической теории. Теория нечетких множеств и нечеткой логики согласно основной идеее Л. Заде в течение почти 40 лет достаточно широко используется в качестве инструментария для моделирования и обработки нечеткой, лингвистической или так называемой качественной информации, для моделирования нечеткости мышления и рассуждений человека, его способности использовать приближенные оценки для описания сложных, плохо (слабо) формализуемых процессов принятия решений в различных областях знаний.
Рис. 1. Интегрированная модель получает в реальном времени параметры эксплуатационных объектов, обрабатывает и выдает варианты управленческих решений, направленных на снижение разницы между плановой и фактической добычей нефти (иллюстрация А. Власова [1])
Фундаментальной работой, в которой предложены методы моделирования неопределенности в процессе принятия решений при помощи теории нечетких множеств и логики, послужила статья Р. Е. Беллмана и Л. Заде [4, р. 338-353]. В работе рассматривается «процесс принятия решения, в котором цели и/или ограничения имеют нечеткую природу». Следует также остановиться на основных вопросах теории рассуждений, предложенной Л. Заде. Судя из его высказываний, «обычные методы представления знаний, основанные на исчислении предикатов и других близких методах, не очень хорошо подходят для представления “знаний здравого смысла”, поскольку предикаты в предложениях, описывающих такие повседневные знания, чаще всего не имеют четких денотатов». Затем проблемы представления смысла обсуждаются в контексте «композиции гибких ограничений» совместно с правилами модификации, композиции, квантификации.
Постановка задачи. Применение теории нечетких множеств к решению различных задач принятия решений при нечеткой информации способствовало созданию и развитию новых методов решения задач математического программирования, в которых содержатся некоторые нечеткие,
Выпуск 5
|Выпуск 5
недостоверные факторы в целевой функции или в ограничениях. Такой класс задач назван задачами нечеткого математического программирования.
Однако, несмотря на вышеприведенные различия, можно сформулировать обобщенную постановку задачи принятия решений в условиях стохастической неопределенности, известной как проблема принятия решений в условиях риска [5, с. 172-215].
Решение задачи. Будем полагать, что множество состояний внешней среды S задано явно, а стохастическая неопределенность проявляется в случайной реализации состояний s е S, которые не зависят от выбора альтернативы х е X. Стохастическая неопределенность описывается плотностью распределения вероятностир (s ).
Для наглядности, но без потери общности, в дальнейшем будем полагать, что множества Xи S являются счетными, то есть X{xt}, i = 1,п; S = {.^}, j = 1,т. Тогда при выборе конкретного решения х.е Xи случайной реализации одного из возможных состояний внешней среды s е S эффективность решения Е (x,s ) характеризуется двумя частными критериями: оценкой ожидаемого эффекта/(х.,s.) и вероятностью егореализации^(s.), тоесть
z J J
E ( xi ) = ф[ f (X > sj) > P(sj)] • (1)
Комбинаторное множество значений указанных частных критериев образует множество возможных решений, которое наглядно может быть представлено в виде табл. 1, известной как матрица платежей. Цель задачи принятия решения состоит в максимизации эффекта:
X = аг§ тах Ф1 f (X, Sj ), p(Sj)
xt eX, p (s j) L 4 J ' J
(2)
Таблица 1
Множество возможных решений
Случайные ситуации Решения Р ( S!) Р ( s2) р (sm)
xi /(xl, sx) Лх> st) s»)
Х2 Лх, s1) Лх> s') Лх> sJ
X п ЛХ’ si) Лх, X) Лх> s»)
В качестве альтернативной оценки эффективности принимаемого решения можно использовать так называемый риск г(х., s ), который характеризует упущенный эффект. Риск представляет собой разность между максимально возможным потенциальным эффектом, который можно было бы получить в условиях полной определенности о состоянии внешней среды, и действительным эффектом:
г (х;, Sj ) = max f (x;, Sj)-f (x;, Sj). (3)
В этом случае цель задачи принятия решений состоит в минимизации риска, то есть
х0 = arg min Ф2 г (х, Sj ), p(Sj)
х ,p(sj ) 4 >
(4)
Независимо от вида оценки (2) или (4) для конструктивного решения задачи принятия решения необходимо сформулировать обобщенный критерий выбора, учитывающий два вышеуказанных частных критерия. Данная субъективная процедура реализуется лицом, принимающим решение (ЛПР). В качестве примера рассмотрим модель ПР, разработанную в пакет Simulink (рис. 2).
Sfe/Tsor
Рис. 2. Модель ПР готова к проведению нечеткой линеаризации
Дальнейшая процедура сводится к имитационному моделированию в пакете Simulink с различными параметрами моделирования. Оценку полученных результатов осуществляли по таким критериям.
Критерий максимального математического ожидания (Байеса-Лапласа). Критерий ориентирован на максимизацию математического ожидания эффекта или минимизацию математического ожидания риска и соответственно имеет для дискретного случая вид:
m
xi = arg max Z f (X ’ sj )■ P(sjX x;eX v J ' J j= (5)
m x02 = arg min ^ r (X, Sj )■ p(Sj). xteX 4 J ' J (6)
В случае если множество S непрерывно, формулы (5) и (6) примут, соответственно, вид
х0 = arg max J f (xt, Sj) • p(Sj) ds; (7)
1 seS
x20 = arg min J f (xt, Sj) • p(Sj) ds. (8)
XE seS
Следует подчеркнуть, что в силу особенности математического ожидания, которое является
„ 0 0
средним значением многократно повторяющейся случайной величины, решения х; и х2 являются эффективными в среднем по множеству многократного применения в однородных стохастических условиях и не пригодны для решений, которые принимаются и используются один раз. В этом случае эффект или риск могут принять любое значение из интервала [4]:
[M (E) ± За (E)] или [М (г) + За (г)] , (9)
где а =4D.
Требование многократной реализации принятого решения позволяет несколько смягчить критерий минимальной дисперсии.
Критерий минимальной дисперсии ориентирован на выбор такого решения из допустимого множества X, которое минимизирует величину интервалов и, следовательно, снижает риск получения невысокого выигрыша при реализации конкретного единичного решения за счет его отклонения от математического ожидания. Оптимальными решениями по этому критерию принимаются решения
х0 = arg min J [ f (x, s)- M (x)]2 • p(s)ds;
X 6 seS
rn 2
x0 = argnun^\[f(x,Sj)-M(x)J • p(Sj)•
j=1
соответственно для непрерывного и дискретного случаев.
(83
(10)
(11)
Выпуск 5
|Выпуск 5
Критерий компромисса между математическим ожиданием и дисперсией. Это адаптивный критерий, который позволяет пользователю реализовать решение, представляющее компромисс между ожиданием благоприятного состояния внешней среды — оптимизмом и боязнью получить большие потери — риском за счет неблагоприятного состояния 5. — пессимизма. Критерий имеет вид
х0 = argmax [(1 - к) М (х)-kD (12)
где 0<к<1.
При к = 0 реализуется критерий максимума математического ожидания (3), а при к = \ — критерий минимума дисперсии (11). Во всех других случаях реализуется компромиссное решение.
Критерий предельного уровня ориентирован на максимизацию вероятности получения некоторого эффекта f , лежащего в интервале
min
хеХ ,seS
f ( x, s )< f • <
max
xeX ,seS
f ( x’ s ),
(13)
то есть выбор альтернативы по критерию
х0 = argmax р [ f (х, s )> f ] 5 (14)
при этом значениеf определяется эвристически пользователем.
Критерий наиболее вероятного исхода обеспечивает выбор такого решения ie X, которое обеспечивает максимальный ожидаемый эффект при наиболее вероятном состоянии внешней среды 5*:
/ = argmaxр(s■).
j v j '
Выбор решения осуществляется по правилу
X
о
arg max
XjEX
f ( X , )
(15)
(16)
Данный критерий нецелесообразно применять, если внешняя среда может принимать много состояний с небольшими вероятностями, а также если несколько состояний имеют равные или близкие вероятности реализации.
Критерий недостаточного основания Лапласа. По определению, ЛПР не располагает никакой априорной информацией, позволяющей считать, что вероятность (возможность) реализации
одного из состояний природы s, j = 1, т больше, чем другие. Поэтому в качестве рабочей принимается гипотеза о равенстве вероятностей реализации всех состояний s , j = 1, т :
Р ( Sj ) = -• (17)
v ’ m
В рамках данной гипотезы критерий максимума математического ожидания эффекта или минимума риска имеет представление:
1 m
X=ar§max—X f (xi, si);
x^X m~y
(18)
1
x2 = argmm— X f I x,,s,
x&X m ‘j=1
m
X f (xi, sj)-
(19)
Максиминный критерий Вальда — критерий является наиболее осторожным, поскольку он основывается на выборе наилучшей из наихудших возможностей, и поэтому его иногда называют критерием крайнего пессимизма:
х0 = arg max min f (xf, sf). (20)
X eX 1< j<m V 1 1 ’ ’
Правило выбора решения в соответствии с критерием Вальда можно интерпретировать следующим образом. Матрица выигрышей дополняется столбцом, каждый элемент которого представляет собой минимальное значение выигрыша для соответствующей стратегии ЛПР:
Wi(xi ) = MfJ (xi, /) • (21)
Оптимальной по данному критерию считается стратегия ЛПР, при которой выбор минимального значения выигрыша максимален:
х
о
= arg max
\<}<п
W ( X).
(22)
В результате чего выбранная таким образом стратегия полностью исключает риск, что означает — ЛПР не может получить худший результат, чем тот, на который он ориентируется (результат ему гарантирован). Данное свойство позволяет считать критерий Вальда одним из фундаментальных. Отметим, что выбор решения
х
о
arg max max г
1<i<n 1< J<m
( X , Sj )
(23)
дает крайне оптимистичное решение.
Критерий минимаксного риска Сэвиджа. В основе оценки полезности альтернатив по критерию Сэвиджа лежит введенное выше понятие риска. Данный критерий рекомендуется в условиях неопределенности, когда следует выбирать стратегию, при которой величина риска принимает наименьшее значение в самой неблагоприятной ситуации (когда риск максимален):
х0 = arg min max г (xi, s; ). (24)
1<i<n 1<j<m ' J '
Критерий Сэвиджа — критерий крайнего пессимизма (худшим считается не минимальный выигрыш, а максимальная потеря выигрыша (упущенный эффект) по сравнению с тем, чего можно было бы достичь в данных условиях).
Для определения оптимальной стратегии по критерию Сэвиджа на основе платежной матрицы рассчитывается матрица рисков. Матрица рисков дополняется столбцом, содержащим максимальные значения риска по каждой из стратегий ЛПР:
Ri (Х) = Jr (Х’sJ)• (25)
Оптимальной по данному критерию считается та стратегия, в которой значение R минимально:
х0 = arg min Ri (xi). (26)
\<i<n
Ситуация, в которой оправдано применение критерия Сэвиджа, аналогична ситуации критерия Вальда, однако наиболее существенным в данном случае является учет степени воздействия риска на величину выигрыша.
Критерий пессимизма-оптимизма Гурвица. В практике принятия решений ЛПР руководствуется не только критериями, связанными с крайним пессимизмом или учетом максимального риска. Стараясь занять наиболее взвешенную позицию, ЛПР может ввести оценочный коэффициент, называемый коэффициентом пессимизма а, который выбирается в интервале [0, 1] и отражает промежуточную ситуацию между точками зрения крайнего оптимизма и крайнего пессимизма. Данный коэффициент определяется на основе оценки сложившейся обстановки и личного опыта принятия решений в схожих ситуациях. Критерий Гурвица выражается соотношением
х = arg max
\<i<n
а • mm
1< j<m "
f (xi, x И1 ~a)-maxf (xi, x)
(27)
При определении оптимальной стратегии по критерию Гурвица матрица выигрышей дополняется столбцом, элементы которого рассчитываются по формуле
H ( X ) = «■ min/( X, X) + (! "«)■ max/(x, Sj)
■max
l<j<m "
(28)
Оптимальной по данному критерию считается стратегия, в которой значение И. (х ) макси-
мально:
Выпуск 5
|Выпуск 5
О
X
= argmax
l<i<n
Н( x )■
(29)
При а = 1 критерий Гурвица превращается в критерий Вальда. При а = 0 он превращается в критерий «оптимиста», делающего ставку на то, что «выпадет» наилучший случай.
Критерий Ходжа-Лемана. Этот критерий применяется в ситуации, когда ЛПР располагает сведениями о вероятностях состояний внешней среды, хотя и не имеет к ним полного доверия. Он является комбинацией критерия Вальда и критерия максимального математического ожидания. При определении оптимальной стратегии по этому критерию вводится параметр достоверности информации о распределении вероятностей состояний окружающей среды, значение которого находится в интервале [0, 1]. Если степень достоверности велика, то доминирует критерий максимального математического ожидания, в противном случае — критерий Вальда. Выражение для критерия Ходжа-Лемана имеет вид:
x0 = arg max
1<i<n
m
u Z f (x * sj )• p (sj )+(1 - u)
j=1
• min
1< j<m
f (xi * sj)
(30)
Матрица выигрышей дополняется столбцом, коэффициенты которого определяются по формуле
m
Li (Х) = и • X f (xi, )• p (s-) + (1 - u) - g£ f (xi, sJ)’
(31)
где м — параметр достоверности информации о вероятностях состояний окружающей среды.
Оптимальной по данному критерию считается та стратегия, в которой значение L максимально:
х0 = arg max Ц (xt). (32)
l<i<n
Общие рекомендации по выбору того или иного критерия дать затруднительно. Однако отметим следующее: если в отдельных ситуациях недопустим даже минимальный риск, то следует применять критерий Вальда; если определенный риск вполне приемлем, то можно воспользоваться критерием Сэвиджа. Можно рекомендовать одновременно применять поочередно различные критерии. После этого среди нескольких вариантов, отобранных таким образом в качестве оптимальных, приходится волевым решением выделять некоторое окончательное решение (рис. 3).
Рис. 3. Классификация нечетких методов и моделей принятия решений интеллектуальных систем глубоководной добычи полезных ископаемых в условиях риска (неопределенности)
Рассмотренные критерии очерчивают круг идей, которые определяют принципы принятия решений в условиях стохастической неопределенности. В плане развития этих принципов рассмотрим особенности принятия решений в условиях нечеткой неопределенности. Теория нечетких множеств и основанная на ней нечеткая логика являются в настоящее время одним из важнейших формализмов, используемых в искусственном интеллекте для моделирования неопределенности в знаниях. Нечеткая логика является основой приближенных (нечетких) рассуждений, которые являются в последние годы наиболее популярным инструментом, используемым в системах нечеткого вывода для решения проблем в нечетких, неопределенных условиях [2; 6, с. 137-138; 7, с. 155-160].
Выводы. Методы принятия решений в условиях неопределенности являются узкоспециализированными, ориентированными на отдельные виды неопределенностей: стохастическую, нечеткую или интервальную. Корректные методы взаимной трансформации или учета их различных композиций мало разработаны. Во всех указанных направлениях ведутся интенсивные исследования, но в целом в настоящее время проблема принятия многокритериальных решений в условиях неопределенности далека от исчерпывающего решения.
Список литературы
1. Зубкова Е. «Умное месторождение» для оптимального промысла / Е. Зубкова [Электронный ресурс]. — Электрон, дан. — Режим доступа: http://www.energyland.info/analitic-show-123296 (дата обращения: 29.08.2014).
2. Петров К. Э. Компараторная структурно-параметрическая идентификация моделей скалярного многофакторного оценивания: моногр. / К. Э. Петров, В. В. Крючковский. — Херсон: ОЛД1-плюс, 2009. — 294 с.
3. Заде Л. Понятие лингвистической переменной и ее применение к принятию приближенных решений / Л. Заде. — М.: Мир, 1976. — 168 с.
4. Zadeh L. A. Fuzzy Sets / L. A. Zadeh II Information and Control. — 1965. — № 8.
5. Беллман P. Принятие решений в расплывчатых условиях / Р. Беллман, Л. Заде II Вопросы анализа и процедуры принятия решений. — М.: Мир, 1976.
6. Крючковский В. В. Методы и модели принятия многокритериальных решений с учетом интервальной неопределенности / В. В. Крючковский II Информационные технологии и информационная безопасность в науке, технике и образовании, Севастополь, 7-12 сентября 2009 г.: материалы Междунар. науч.-практ. конф. — Севастополь: Изд-во СевНТУ, 2009.
7. Черный С. Г. Элементы технологии групповой классификации многопризнаковых объектов для поддержки принятия решений / С. Г. Черный II Вестник Херсонского национального технического университета. — 2013. — № 1 (46).
(93
Выпуск 5