Вестник Брянского государственного технического университета. 2009. №4 (24) Управление, вычислительная техника и информатика
Вид материала | Документы |
- Вестник Брянского государственного технического университета. 2009. №3(23) Управление,, 257.67kb.
- Вестник Брянского государственного технического университета. 2008. №4 (20) Управление,, 58.22kb.
- Вестник Брянского государственного технического университета. 2011. №2(30) вычислительная, 96.24kb.
- В. Ф. Пономарев математическая логика, 3033.04kb.
- «Информатика и вычислительная техника», 723.11kb.
- Вестник Брянского государственного технического университета. 2011. №4(32), 114.16kb.
- Вестник Брянского государственного технического университета. 2009. №4 (24) Образование, 160.93kb.
- Вестник Брянского государственного технического университета. 2009. №2(22), 142.19kb.
- Вестник Брянского государственного технического университета. 2008. №3(19), 138.83kb.
- Вестник Брянского государственного технического университета. 2011. №3(31), 389.65kb.
Вестник Брянского государственного технического университета. 2009. № 4 (24)
Управление, вычислительная техника
и информатика
УДК 004.81
А.Г. Подвесовский, Д.Г. Лагерев, Д.А. Коростелев
ПРИМЕНЕНИЕ нечетких когнитивных моделей ДЛЯ формирования множества альтернатив
в задачах принятия решений
Предложена методика генерации и отбора альтернатив в задачах принятия решений, основанная на построении нечеткой когнитивной карты управляемой системы и обработке результатов ее статического и динамического анализа. Рассмотрены архитектура и функциональные характеристики многопользовательской системы поддержки принятия решений, реализующей данную методику программно.
Ключевые слова: принятие решений, альтернатива, нечеткая когнитивная карта, система поддержки принятия решений.
В основе большинства методов принятия решений лежит процесс поиска и выбора оптимального решения из фиксированного множества альтернатив для достижения четко поставленной цели. При этом вопросы идентификации проблем, постановки целей и формирования множества вариантов их достижения зачастую остаются в стороне. Однако в реальных управленческих ситуациях часто возникают задачи, суть которых состоит не в том, чтобы сделать выбор между имеющимися альтернативами, а в том, чтобы проанализировать ситуацию с целью выявления проблем, определения причин их появления и синтеза множества альтернативных решений, позволяющих привести ситуацию в желаемое состояние (или максимально к нему приблизиться).
Основная сложность, возникающая при построении моделей таких задач, связана с тем, что аналитическое описание либо статистическое наблюдение зависимостей между входными и выходными параметрами затруднено, а зачастую невозможно. Поэтому приходится прибегать к субъективным моделям, основанным на экспертной информации, обрабатываемой с привлечением логики здравого смысла, интуиции и эвристик. Многочисленные исследования процессов принятия решений подтверждают, что лицу, принимающему решение (ЛПР), несвойственно мыслить и принимать решения только в количественных характеристиках. Поиск решений для него – это прежде всего поиск замысла решения, и здесь количественные оценки играют вспомогательную роль [].
Таким образом, подготовку и принятие управленческих решений следует рассматривать как сложный интеллектуальный процесс разрешения проблем, несводимый исключительно к рациональному выбору []. Для поддержки этого процесса необходимо применение моделей, в которых учитываются когнитивные возможности человека (восприятие, представление, понимание, объяснение) при решении управленческих задач. Наибольший интерес среди них представляют так называемые нечеткие когнитивные модели, в основе которых лежит понятие нечеткой когнитивной карты [].
В статье предлагается методика применения нечетких когнитивных карт для решения одной из важнейших задач, возникающих на начальных этапах подготовки и принятия решений, – задачи формирования множества альтернатив, и описывается система поддержки принятия решений, в которой данная методика реализована программно.
Определение нечеткой когнитивной карты. Нечеткая когнитивная модель основана на формализации причинно-следственных связей между факторами (переменными, параметрами), характеризующими исследуемую систему. Результатом формализации является представление системы в виде причинно-следственной сети, называемой нечеткой когнитивной картой (НКК) и имеющей вид
G = < E, W >,
где E = {e1, e2, …, en} – множество факторов (также называемых концептами); W – нечеткое причинно-следственное отношение на множестве E.
Элементы wij W (i,j = 1, …, n) характеризуют направление и степень интенсивности влияния между концептами ei и ej:
wij = w(ei , ej),
где w – показатель интенсивности влияния (характеристическая функция отношения W), принимающий значения на отрезке [– 1, 1]. При этом:
1) wij = 0, если значение ei не зависит от ej (влияние отсутствует);
2) 0 < wij 1 при положительном влиянии ei на ej (увеличение значения концепта-причины ei приводит к увеличению значения концепта-следствия ej);
3) – 1 wij < 0 при отрицательном влиянии ei на ej (увеличение значения ei приводит к уменьшению значения ej).
Построение НКК управляемой системы фактически означает снятие неопределенности с ее структуры путем формирования модели знаний ЛПР об этой системе. К построенной карте применяются методы аналитической обработки, ориентированные на исследование структуры системы и получение прогноза ее поведения при различных управляющих воздействиях с целью нахождения оптимальных стратегий управления.
Особенности применения нечетких когнитивных карт для решения задачи формирования множества альтернатив. Под альтернативой (альтернативным решением) будем понимать некоторую совокупность допустимых воздействий на управляемую систему с целью ее приведения к желаемому состоянию. С учетом этого в НКК, описывающей систему, выделим следующие типы концептов:
- целевые, значения которых необходимо привести в требуемое состояние (или максимально к нему приблизить);
- управляемые, значения которых поддаются непосредственному контролю со стороны ЛПР;
- промежуточные, значения которых не поддаются непосредственному контролю и определяются только изменением значений концептов-причин;
- внешние, на значения которых возможно влияние со стороны внешних по отношению к системе факторов.
Состояние системы в текущий момент времени определяется набором значений всех ее концептов. Целевое состояние задается вектором значений множества целевых концептов.
Алгоритм формирования множества альтернатив с использованием НКК включает следующие основные шаги:
1) определение целевого состояния системы;
2) построение НКК;
3) вычисление системных показателей НКК;
4) генерация базового множества альтернатив;
5) динамическое моделирование альтернатив с применением импульсного процесса;
6) отбор альтернатив на основе результатов динамического моделирования;
7) передача альтернатив ЛПР для дальнейшего анализа и обработки.
Построение нечеткой когнитивной карты. Процесс построения НКК начинается с формирования экспертами списка концептов, наиболее значимых для рассматриваемой задачи. Получаемая экспертная информация должна быть обработана с целью устранения двусмысленностей и повторений, а также согласования используемой терминологии.
На следующем этапе эксперты должны задать элементы матрицы W – установить причинно-следственные связи между концептами с указанием для каждой связи ее знака (является она усиливающей или ослабляющей) и интенсивности. Чтобы уменьшить влияние субъективного фактора и повысить обоснованность получаемых оценок, используются специальные человеко-машинные процедуры, основной идеей которых является разбиение общей задачи оценки весов причинно-следственных связей на ряд более простых подзадач. Для этого предлагается следующий подход. С каждым концептом связывается два нечетких множества: множество концептов, влияющих на данный концепт, и множество концептов, подверженных влиянию со стороны данного концепта. Оба множества имеют конечную область определения, а значения степеней принадлежности элементов соответствуют искомым весам причинно-следственных связей НКК. Для получения весов можно использовать следующие методы построения функций принадлежности дискретных нечетких множеств []:
- метод парных сравнений, основанный на обработке экспертных суждений об относительном превосходстве степеней принадлежности различных элементов;
- метод множеств уровня, в основе которого лежит процедура идентификации множеств уровня (-срезов) искомого нечеткого множества.
Системные показатели нечеткой когнитивной карты. Для выполнения анализа построенной НКК, помимо непосредственно заданных причинно-следственных связей, необходимо учесть все имеющиеся в системе опосредованные взаимовлияния факторов друг на друга. Это позволяет сделать операция транзитивного замыкания, преобразующая исходную матрицу интенсивности взаимовлияний W в транзитивно замкнутую матрицу Z, элементами которой являются пары (,), где характеризует силу положительного влияния, а – силу отрицательного влияния i-го концепта на j-й. Алгоритм расчета нечеткого транзитивного замыкания подробно описан В.Б. Силовым []. На основе матрицы Z могут быть рассчитаны следующие системные показатели НКК:
- Воздействие i-го концепта на j-й (под воздействием понимается доминирующее по силе влияние между концептами):
.
- Влияние (воздействие) i-го концепта на систему:
.
- Влияние (воздействие) системы на j-й концепт:
.
- Взаимное (совместное) положительное влияние:
,
где S – операция S-нормы [] (как правило, используется максимум).
- Консонанс влияния i-го концепта на j-й (показатель консонанса выражает меру доверия к знаку и силе воздействия: чем выше консонанс, тем убедительнее мнение):
.
- Консонанс влияния i-го концепта на систему:
.
- Консонанс влияния системы на j-й концепт:
.
- Консонанс взаимного влияния i-го и j-го концептов:
.
Генерация базового множества альтернатив. Как отмечалось ранее, альтернатива представляет собой вектор воздействий на управляемые концепты, так как только они доступны прямому влиянию со стороны ЛПР. На остальные концепты, в том числе и на целевые, ЛПР может влиять только опосредованно, через управляемые. Значение управляемого концепта можно увеличивать, уменьшать либо оставлять без изменений. Изменять значения каждого концепта допускается в пределах заданной для него шкалы.
Разделим множество управляемых концептов на два непересекающихся подмножества: подмножество способствующих концептов, значения которых необходимо увеличивать, и подмножество препятствующих концептов, значения которых необходимо уменьшать. Для определения того, какому подмножеству принадлежит тот или иной концепт, воспользуемся системными показателями когнитивной карты.
Обозначим:
EC – множество управляемых концептов;
ET – множество целевых концептов;
с – пороговое значение консонанса (рекомендуется использовать с ≥ 0,5);
p – пороговое значение прямого влияния концептов (рекомендуется использовать pd ≥ 0,5);
pm – пороговое значение опосредованного влияния концептов (рекомендуется использовать pm ≥ 0,2).
Пусть ei – управляемый концепт (ei EC). Его принадлежность тому или иному подмножеству устанавливается на основе следующих правил.
Правило 1
ЕСЛИ для всех целевых концептов ( ej ET) выполняется любое из условий:
- (pij ≥ pd) (cij ≥ c), т.е. ei оказывает положительное влияние на ej с силой, не меньшей pd, и консонанс этого влияния не ниже с;
- ( ≥ pm) ( ≥ pm) ( ≥ c) ( ≥ c), т.е. ei оказывает положительное влияние на систему, а система – положительное влияние на ej с силой, не меньшей pm, и консонанс этих влияний не ниже с;
- ( ≤ – pm) ( ≤ – pm) ( ≥ c) ( ≥ c), т.е. ei оказывает отрицательное влияние на систему, а система – отрицательное влияние на ei с силой, не меньшей pm, и консонанс этих влияний не ниже с;
- ( ≥ pd) ( ≥ c), т.е. совместное положительное влияние концептов ei и ej не меньше p и консонанс влияния не ниже с, –
И целевой концепт ej необходимо увеличить (уменьшить),
ТО концепт ei является способствующим (препятствующим).
Правило 2
ЕСЛИ для всех целевых концептов ( ej ET) выполняется любое из условий:
- (pij ≤ – pd) (cij ≥ c), т.е. ei оказывает отрицательное влияние на ej с силой, не меньшей pd, и консонанс этого влияния не ниже с;
- ( ≤ – pm) ( ≥ pm) ( ≥ c) ( ≥ c), т.е. ei оказывает отрицательное влияние на систему, а система – положительное влияние на ej с силой, не меньшей pm, и консонанс этих влияний не ниже с;
- ( ≥ pm) ( ≤ –pm) ( ≥ c) ( ≥ c), т.е. ei оказывает положительное влияние на систему, а система – отрицательное влияние на ei с силой, не меньшей pm, и консонанс этих влияний не ниже с;
- ( ≥ pd) ( ≥ c), т.е. совместное отрицательное влияние концептов ei и ej не меньше p и консонанс влияния не ниже с, –
И целевой концепт ej необходимо увеличить (уменьшить),
ТО концепт ei является препятствующим (способствующим).
Если концепт принадлежит только подмножеству способствующих, то во всех генерируемых альтернативах его значение необходимо увеличивать. Если концепт принадлежит только подмножеству препятствующих, то во всех генерируемых альтернативах его значение необходимо уменьшать. Если же концепт принадлежит обоим подмножествам, то необходимо генерировать альтернативы, где его значение как уменьшается, так и увеличивается.
Далее на основе полного перебора всех возможных комбинаций управляющих воздействий на концепты множества EC генерируется базовое множество альтернатив Y, из которого и будет осуществляться окончательный отбор.
Динамическое моделирование альтернатив на основе импульсного процесса. Для получения прогноза развития ситуации при реализации различных альтернатив используется математический аппарат импульсных процессов, который позволяет прогнозировать значения концептов в дискретные моменты времени.
Модель импульсного процесса для знаковых когнитивных карт была предложена в []. Для случая НКК предлагается следующая ее модификация:
, (1)
где vi(t) – значение концепта ei в момент времени t; vi(t + 1) – значение концепта ei в момент времени (t + 1); qi(t + 1) – внешнее воздействие на ei в момент времени (t + 1); oi(t + 1) – управляющее воздействие на ei в момент (t + 1); wij = w(ei, ej) – интенсивность влияния между концептами ei и ej; pj(t) – изменение значения ej в момент времени t;
Т – операция Т-нормы [] (используется произведение); S – операция S-нормы (используется S-норма Лукасевича).
В модели (1) параметр t отражает протекание импульсного процесса в НКК (такты моделирования) и достаточно слабо соотносится с реальным временем в моделируемой системе. Кроме того, в модели пренебрегается временными задержками при передаче воздействия между концептами и считается, что каждое воздействие происходит за единичное время. Для получения нового устойчивого состояния моделируемой системы целесообразно выполнять динамическое моделирование до значения t = 1,5N, где N – количество концептов в когнитивной карте. Так как N – это максимальная длина пути в НКК, то при t = 1,5N управляющие и внешние воздействия распространятся по всей карте.
Динамическое моделирование выполняется для каждой альтернативы yi Y, и его результатом является набор конечных значений концептов VR.
Отбор альтернатив. Отбор сгенерированных на предыдущем этапе альтернатив выполняется в соответствии с целью, заданной ЛПР. Как отмечалось ранее, целевое состояние системы задается набором значений VT, которые должны получить целевые концепты в процессе динамического моделирования (или максимально к ним приблизиться).
Отбор альтернатив осуществляется путем выделения из базового множества Y подмножества недоминируемых альтернатив YN Y. Отношение доминирования основано на расстоянии | vTi – vRi | от конечных значений концептов VR, полученных в результате динамического моделирования по формуле (1), до целевых значений концептов VT, а также силе управляющих воздействий на концепты при реализации альтернатив.
Альтернатива yi доминирует альтернативу yj, если для всех целевых концептов ek ET одновременно выполняются неравенства (2) и (3):
| vTk – vRki | ≤ | vTk – vRkj |, (2)
где vTk – желаемое значение концепта ek; vRki, vRkj – значения концепта ek, полученные в результате реализации альтернатив yi и yj соответственно;
| yki | ≤ | ykj |, (3)
где yki, ykj – управляющие воздействия на концепт ek при реализации альтернатив yi и yj соответственно.
Выделенное множество недоминируемых альтернатив YN Y, а также фактическое множество конечных значений целевых концептов VR передаются ЛПР для дальнейшего анализа и выбора наиболее предпочтительной альтернативы.
Система поддержки принятия решений «ИГЛА». Предлагаемая методика генерации и отбора альтернатив была реализована программно в виде системы поддержки принятия решений (СППР), получившей название «ИГЛА» (интеллектуальный генератор лучших альтернатив). Архитектура СППР «ИГЛА» представлена на рис. 1.
Рис. 1. Архитектура СППР «ИГЛА»
СППР состоит из следующих подсистем.
- База знаний (БЗ) предназначена для хранения нечетких когнитивных моделей, результатов их анализа и выданных на его основе рекомендаций.
- Подсистема управления БЗ реализует промежуточную обработку и преобразование информации при передаче ее между БЗ и другими подсистемами.
- Подсистема согласования отвечает за сбор экспертной информации, оценку ее согласованности и выдачу рекомендаций по согласованию.
- Подсистема статического моделирования выполняет расчет транзитивного замыкания и системных показателей НКК, построение -срезов и генерацию базового множества альтернатив.
- Подсистема динамического моделирования осуществляет получение прогноза состояния системы при реализации каждой альтернативы и на основе результатов данного прогноза выполняет отбор альтернатив для передачи ЛПР.
- Подсистема визуализации предоставляет интерфейс и обеспечивает интерактивное взаимодействие пользователя с остальными подсистемами.
Подсистемы визуализации и управления БЗ являются основными в архитектуре системы, поскольку именно они обеспечивают взаимосвязь всех категорий пользователей и других подсистем.
СППР «ИГЛА» предусматривает взаимодействие со следующими категориями пользователей:
- Эксперты. Основная задача экспертов состоит в том, чтобы на основе знаний о предметной области выделить основные факторы, влияющие на поведение моделируемой системы, а также установить связи между ними.
- Координатор. Поддержка групповой экспертной оценки приводит к необходимости согласования мнений экспертов. Координатор является организатором процесса согласования, контролирует его основные этапы и на основе получаемой модели предметной области, учитывающей мнения всех экспертов, принимает решение об окончании либо продолжении этого процесса.
- Аналитики. Вступают в работу с системой после окончания процесса согласования. Их основная задача заключается в выработке рекомендаций для ЛПР по результатам генерации и отбора альтернатив на основе статического и динамического анализа НКК. С целью повышения качества вырабатываемых рекомендаций система поддерживает работу нескольких экспертов и аналитиков.
- ЛПР. Является заключительным звеном в процессе решения задачи формирования множества альтернатив. Часто функции ЛПР и аналитика выполняет один и тот же пользователь. Если же эти роли разделены, то непосредственно с системой ЛПР не работает, а только формирует свои требования, которые учитываются аналитиками при выработке рекомендаций.
СППР «ИГЛА» представляет собой оконное приложение, интерфейс которого включает дерево выбора функций и рабочую область (рис. 2). В процессе построения нечеткой когнитивной модели, выбирая необходимые элементы НКК из дерева закладок, пользователь получает доступ к функциям их просмотра и редактирования, при этом имеется возможность одновременной работы с несколькими элементами модели. Все закладки логически сгруппированы по функциональным свойствам.
При работе со списком концептов аналитик имеет возможность настраивать шкалы значений концептов с помощью соответствующего диалогового окна. Процедура генерации альтернатив запускается при выборе в меню «Моделирование» пункта «Сгенерировать альтернативы». Аналитик также может создавать собственные альтернативы или вносить изменения в сгенерированные, например добавлять различные внешние воздействия. Для визуального восприятия и сравнения сгенерированных альтернатив результаты моделирования представляются отдельно для каждого концепта в виде графика, при этом ось абсцисс отражает управленческие такты, а ось ординат – относительное изменение состояния выбранного концепта. Оценка результатов моделирования для каждого из целевых концептов позволяет исключить заведомо неудачные сценарии, а удачные представить ЛПР для дальнейшего анализа и оценки.
Рис. 2. Интерфейс системы «ИГЛА» в режиме сравнения альтернатив
Предложенная методика формирования множества альтернатив в задачах подготовки и принятия решений по управлению слабоструктурированными системами и разработанная СППР «ИГЛА» были использованы при решении ряда практических задач, в том числе при анализе и разработке стратегий управления инновационной деятельностью производственного предприятия [], разработке и обосновании решений по управлению качеством образования []. Система «ИГЛА» зарегистрирована в ОФАП под номером 50200701348 [].
СПИСОК ЛИТЕРАТУРЫ
- Авдеева, З.К. Когнитивное моделирование для решения задач управления слабоструктурированными системами (ситуациями) / З.К. Авдеева, С.В. Коврига, Д.И. Макаренко // Управление большими системами. – М.: ИПУ РАН, 2007. – Вып. 16. – С. 26-39.
- Диев, В.С. Нечеткость в принятии решений / В.С. Диев // Философия науки. – 1998. – № 1. – С. 45-52.
- Ерохин, Д.В. Моделирование инновационного механизма предприятия с применением нечетких когнитивных карт / Д.В. Ерохин, Д.Г. Лагерев, Е.А. Ларичева, А.Г. Подвесовский // Менеджмент в России и за рубежом. – 2006. – № 3. – С. 95-111.
- Коростелев, Д.А. Система поддержки принятия решений «ИГЛА» / Д.А. Коростелев, Д.Г. Лагерев, А.Г. Подвесовский. – М.: ВНТИЦ, 2007. – № 50200701348.
- Круглов, В.В. Нечеткая логика и искусственные нейронные сети / В.В. Круглов, М.И. Дли, Р.Ю. Голунов. – М.: Физматлит, 2001. – 224 с.
- Лагерев, Д.Г. Менеджмент качества инновационной деятельности вуза / Д.Г. Лагерев, Н.Ю. Чистоклетов // Менеджмент качества в образовании: тез. докл. Всерос. науч.-практ. конф. – СПб.: ЛЭТИ, 2008. – С. 211-213.
- Лагерев, Д.Г. Особенности построения нечетких когнитивных карт для моделирования социально-экономических систем / Д.Г. Лагерев, А.Г. Подвесовский // Экономические проблемы становления рыночных отношений в Российской Федерации: сб. ст. II Междунар. науч.-практ. конф. – Брянск: БГТУ, 2007. – С. 185-189.
- Робертс, Ф.С. Дискретные математические модели с приложениями к социальным, биологическим и экологическим задачам: [пер. с англ.] / Ф.С. Робертс. – М.: Наука, 1986. – 496 с.
- Силов, В.Б. Принятие стратегических решений в нечеткой обстановке / В.Б. Силов. – М.: ИНПРО-РЕС, 1995. – 228 с.
Материал поступил в редколлегию 2.11.09.