Программные продукты и системы

Конфликт в многоагентной среде (МС) – причина возрастающей напряженности в отношениях не только между участниками конфликта, но и между агентами, даже косвенно взаимодействующими с конфликтующими сторонами. Конфликты ведут к сбою в коммуникациях между агентами, появлению существенных разногласий и, в конечном счете, к блокированию работы всей системы. Конечно, в современной науке конфликт рассматривается не только как деструктивная форма взаимодействия индивидов или их групп, но и как явление, которое содержит конструктивную компоненту [1, 2]. В определенных условиях конфликт может интерпретироваться как способ развития системы, группы или индивида. Почти всегда он помогает приобрести новый опыт взаимоотношений между индивидами и их группами в различных жизненных ситуациях. Однако при этом возникает закономерный вопрос о цене приобретения такого опыта. Поэтому авторами настоящей статьи конфликт рассматривается все-таки как негативное явление.

Методы и модели разрешения конфликтных ситуаций в МС являются объектом исследования многих российских и зарубежных ученых.

Предложены различные способы сглаживания и устранения конфликтов. Разработаны модели согласованного информационного управления в разных исходных ситуациях и условиях взаимодействия агентов. Например, в [3] предложена модель, когда агенты осведомлены о факте осуществления руководством управления и, тем не менее, доверяют его сообщениям. При этом были выявлены условия, при которых такое управление существует, доказаны некоторые его свойства.

На основе проведенного анализа работ, например [3–7], затрагивающих проблему устранения конфликта в МС, в данной статье предлагается подход к созданию информационной технологии, позволяющей найти способ разрешения конфликтной ситуации, а также предлагаются программные решения реализации этой технологии.

Информационная технология основана на нечетком оценивании индивидуальных особенностей агентов, приближающихся к конфликту или уже участвующих в нем. Источником исходной информации являются сами агенты, каждый из которых представляет свое видение решения проблемы. Генерация множества допустимых решений, из которых выбирается Парето-оптимальное, происходит автоматически. Нахождение Парето-оптимального решения означает устранение конфликтной ситуации. Для устранения или недопущения конфликта агенты должны обладать богатым жизненным опытом и интуицией. К сожалению, на практике это условие зачастую невыполнимо, и тогда на помощь приходят экспертные (советующие) информационные системы, разработанные на основе информационных технологий разрешения конфликтных ситуаций.

Теоретический анализ

Как уже было установлено в [8], основной индивидуальной особенностью агента, влияющей на его интересы, предпочтения, цели и, как следствие, на его поведенческую стратегию, является психо-поведенческий тип агента ri,  Эмпирически подтверждено, что модель поведения агентов зависит от трех ключевых параметров: уровня направленности на собственные интересы, уровня направленности на интересы МС и ценности межличностных отношений (рис. 1). Конъюнкция уровней направленности на собственные интересы и интересы системы (организации) представляет собой уровень целеустремленности агента, его заинтересованности в работе на результат. Значительное влияние на поведение агента также оказывает его ресурсный потенциал, то есть уровень обеспеченности агента ресурсами, необходимыми ему для успешного выполнения задачи [9]. Возникновение конфликтов между агентами в МС обусловлено нарушениями согласованности в общении агентов друг с другом при осуществлении целенаправленной деятельности. В [9] приведены основные причины нарушения согласованности и типы конфликта, самым сложным из которых является конфликт, когда каждый из его участников уверен в собственной правоте. В этой ситуации особенно актуально применение методов согласованного управления конфликтом, предложенных, например, в [3, 8–10]. Поведение агента в конфликтной ситуации может соответствовать одной из трех базовых поведенческих стратегий: уход от конфликта, усиление конфликта (принуждение) и компромиссное решение. Уступка в данном случае расценивается как первый шаг к компромиссу, а сотрудничество является посткомпромиссной коалиционной формой межагентного взаимодействия.

Области гиперкуба, представленного на рисунке 1, в которых находятся стратегии поведения агента, формируются в зависимости от различных факторов, основополагающим из которых является достаточность ресурсов, необходимых для успешного функционирования агента в МС. Агент склонен менять межличностную модель своего поведения, если от взаимодействия с другими агентами зависит его собственное благополучие.

В проведенном исследовании установлено, что модели поведения агентов можно менять так, чтобы исключить возможность образования нежелательных коалиций, мешающих достижению поставленной цели, и, как следствие, конфликтных ситуаций, которые могут возникнуть между как двумя-тремя агентами, так и их группами. При этом необходимо учитывать неопределенности, представленные на рисунке 2.

Эти виды неопределенностей являются источником нечеткости в моделях поведения агентов, что может привести к конфликту между ними. Поэтому в математическом обеспечении предлагаемой информационной технологии применяются нечеткая логика и расплывчатые множества, в частности, при определении предпочтений агентов и оценок его состояний.

Рассматривается абстрактная МС, состоящая из восьми агентов, каждый из которых характеризуется определенным психо-поведенческим типом. На рисунке 3 показана МС, агенты которой функционируют в условиях конфликта. Каждый из них является участником процесса принятия решений и имеет свою точку зрения на происходящее как в МС, так и за ее пределами.

Конфликтом в МС считается любое ее состояние, в котором существует противоречие между агентами, ведущее к снижению эффективности работы среды от заданного уровня, то есть в конфликтной системе (организации) должен быть хотя бы один агент принуждающего типа. Стратегии поведения агентов, представленных на рисунке 3, соответствуют стратегиям на рисунке 1: два агента идут на компромисс, два агента обладают принуждающим типом, два агента склонны к сотрудничеству, один агент предпочитает уступить свою позицию и один агент уклоняется от каких-либо действий вообще, поскольку считает, что любое из них неизбежно вовлечет его в конфликт. Поведение каждого агента обусловлено как его внутренним состоянием, так и воздействиями, оказываемыми на него со стороны других агентов и внешней среды. В процессе взаимодействия агенты склонны объединяться в группы по различным аспектам: целям, интересам, представлениям и даже по дружбе против кого-то. От этого и зависят модели их поведения.

Первым шагом к разрешению конфликта служит самоубеждение каждого из агентов-антагонистов в том, что конфликтная ситуация носит деструктивный характер: в лучшем случае ведет в «никуда», а в худшем может дестабилизировать МС и привести к ее полному разрушению. Индивидуальные цели агентов состоят в реализации собственных интересов, обусловленных личностными предпочтениями. Залогом успешного решения конфликтной ситуации является достижение состояния МС, показанного на рисунке 4.

В этом случае создается ситуация равновесия, в силу интеллектуальности агентов характеризующаяся следующим:

-      агенты – участники конфликта убеждаются в том, что ни у кого из них нет шансов победить в конфликте;

-      каждый из агентов понимает, что в случае решения конфликта он в некоторой степени, пусть и не очень существенной, максимизирует собственный выигрыш, описываемый целевой функцией (ЦФ) fi; в ситуации отсутствия какого-либо соглашения ЦФ агента имеет нулевое значение, а эмоциональная компонента yi [8] принимает отрицательные значения, что негативно сказывается на целеустремленной деятельности агента как в личных, так и в общих интересах;

-      при относительном выравнивании психо-поведенческих типов интересы каждого агента хотя бы частично, но согласуются с интересами других агентов; как правило, здесь объединяющим началом выступает сама среда: если агент не будет подчиняться общепринятым правилам функциониро- вания МС, то он станет изгоем, возможно, даже возникнет вопрос о его физическом существовании.

Вследствие согласованных управленческих воздействий, позволивших устранить конфликт, в МС появились две новые связи между агентами. Несомненными также являются сближение позиций агентов и объединение их усилий над решением поставленных в МС задач.

Математическая модель согласования представлений агентов

Каждый из агентов стремится достичь состояния, описываемого выражением

,                                                (1)

где ai = (ai1, ai2, ..., aiM)ÎAi – множество возможных предпочтений i-го агента,

Полное множество возможных предпочтений всех агентов описывается выражением: a = (a1, a2, ..., aN)ÎA, где множество A является объединением множеств Ai. В условиях недоминируемости каждый агент априори понимает, что только путем компромисса можно максимизировать ЦФ, вопрос – насколько. Величину компромиссной максимизации обозначим через Di, тогда выражение (1) можно представить так:

,                                           (2)

где ak – множество возможных предпочтений k-го агента, i¹k.

Именно трудность в определении Di и является основной причиной затягивания конфликтной ситуации, усугубляет ее. Для каждого агента эта величина своя, на нее также влияет ri. Однако очевидно, что Di>0>(–Di), следовательно, здравый смысл заставляет агентов вступать в переговоры для решения конфликта. Пусть i-й агент и не получит желаемого максимума, но он получит определенный выигрыш, что лучше, чем ничего. Абстрагировавшись от переговоров с другими агентами, i-й агент может оказаться в проигрыше, поскольку ничего не будет знать о намерениях других агентов, которые, в сою очередь, могут объединиться против него.

Гарантированным выигрышем i-го агента будет функция

.           (3)

В качестве возможных вариантов решения конфликта обсуждаются лишь альтернативы, приносящие агентам выгоду, не меньшую . Вступая в переговорный процесс, каждый агент располагает  a*iÎA*ÎA, которые обеспечивают ему минимально возможную выгоду. Об этих предпочтениях i-й агент уведомляет остальных, и те, в свою очередь, действуют точно так же.

Некоторые агенты могут претендовать на выигрыш, превышающий гарантированный. Это приводит к новому ограничению области возможных компромиссов, что недопустимо, поскольку провоцирует новый конфликт. Поэтому для решения конфликта должна быть обеспечена ситуация, в которой все агенты согласны получить лишь гарантированный выигрыш. Сужение области предпочтений возможно лишь в случае, если альтернатива ai доминирует над альтернативой ak согласно принципу Парето [11]. Переговоры, позволяющие выявить альтернативы (предпочтения), которые являются одновременно оптимальными по Парето (множество Ap) и обеспечивают гарантированный выигрыш (множество A*), признаются эффективными. Они дают возможность найти множество переговорных альтернатив: Aopt=A*ÇAp. При разумном поведении агентов переговоры относительно поиска компромиссного решения должны завершиться выбором из множества Aopt. Если множества Ai компактны и функции fi(ai) непрерывны, то Aopt¹Æ. Переговорный процесс на этом заканчивается, поскольку возобновление конфликта становится невыгодным ни одному из агентов МС.

Об устойчивости компромиссного решения можно говорить, если выполняется условие

, aiÎAi.        (4)

В литературе, посвященной проблемам управления и оптимизации управленческих решений, рассмотрены многие способы сохранения устойчивости компромиссного решения, однако наиболее применимым на практике является повышение уровня взаимной информированности агентов относительно собственных интересов и предпочтений. Например, в переговорах участвуют два агента (i, k) при установленном порядке выбора альтернатив: сначала рассматривается ai, затем ak. Агент k имеет возможность до выбора ai сообщить агенту i свое правило выбора vk, причем сам будет вынужден его же и придерживаться. Обмен информацией при переговорах должен быть организован так, что каждый из их участников сообщает другому не только о своем выборе в данный момент времени, но и правило, которым он будет руководствоваться при выборе той или иной альтернативы. При этом каждый из агентов гарантирует неизменность установленного им самим правила при переговорах. Устойчивость компромиссного решения будет обеспечена при выполнении условия fi(acompr.)» fk(acompr.).

Алгоритм разрешения конфликтной ситуации в МС

Исходя из проведенного анализа, агентам, заинтересованным в разрешении конфликтной ситуации путем переговоров, необходимо руководствоваться следующим алгоритмом.

1.     Оценка конфликтной ситуации и психо-поведенческих типов участников конфликта. Если существует какое-либо доминирование, проводятся дополнительный анализ причин конфликта, пересмотр состава агентов и структуры МС. Если доминирования нет, оцениваются личные гарантированные выигрыши.

2.     Расширение множества собственных предпочтений в силу согласования личных интересов с интересами других агентов, руководствуясь умозаключением: «Я знаю: если согласование не будет достигнуто вовсе, то в лучшем случае я ничего не получу, а в худшем – для меня наступит отрицательный эффект».

3.     Информирование остальных агентов о собственной позиции по спорному вопросу, намерениях, вследствие чего вырабатывается множество возможных решений.

4.     Анализ полученных решений с позиции удовлетворения интересов каждого агента и определение множества гарантирующих коллективных решений. Если такое решение единственное или каждое из гарантированных решений для каждого агента равнозначно, считается, что конфликт исчерпан. Если множество Aopt=Æ, осуществляются пересмотр поведенческих стратегий и возврат к пункту 1. Если сформированное множество гарантирующих решений содержит решения, не являющиеся оптимальными по Парето, они исключаются из дальнейшего рассмотрения.

5.     Выбор из множества Aopt наиболее предпочтительного. Для этого каждый агент ранжирует альтернативы сообразно своим предпочтениям. Результаты ранжирования доводятся до сведения других агентов.

6.     Обеспечение устойчивости коллективного решения и его реализация.

Разработка информационной советующей системы

В соответствии с изложенными принципами и на основании представленного алгоритма разрабо- тана информационная система (ИС), являющаяся интерактивной, советующей системой, осуществляющей обработку поступающей информации в режиме on-line и выполняющей все расчеты на основе математического аппарата нечеткой логики с элементами искусственного интеллекта. Функциональная схема ИС изображена на рисунке 5. В ней предусмотрены два интерфейса – эксперта, осуществляющего наполнение БД, баз знаний и мо- делей, и агента, который получает информацию о вариантах своих действий и поведенческих стратегиях. Назначение данной ИС – прогноз поведенческой стратегии агента на основе его типа в условиях конфликта.

В модуле определения гарантирующих решений реализован стандартный алгоритм решения матричной игры (N´N). В модуле определения Парето-оптимальных решений предусмотрен ал- горитм выделения множества Парето из общего множества допустимых коллективных решений. Модуль анализа и оценки устойчивости решения предназначен для оценки и ранжирования множества переговорных решений (стратегий поведения). Результаты ранжирования поступают в модуль формирования рекомендаций относительно стратегии поведения агента. Нечеткий лингвистический интерпретатор обеспечивает диалог агента с системой в режиме on-line. Его основные функции – интерактивное планирование вычислительного процесса в соответствии с предложенным выше алгоритмом и управление ходом проведения расчетов. В нем же осуществляется перевод входных текстов, написанных на естественном языке, на формализованный язык системы – язык семантических сетей и когнитивных карт.

Подобная система относится к классу экспертных систем (ЭС), поскольку воспроизводит деятельность эксперта – психолога-конфликтолога. Эксперт определяет знания, закономерности, характеризующие стратегии поведения агентов в ус­ловиях конфликта, обеспечивает их полноту и логическую правильность. Кроме того, для разработки ЭС в обязательном порядке привлекаются инженер по знаниям и программист. Участие инженера по знаниям состоит в оказании помощи эксперту в части выявления и структуризации знаний, необходимых для работы ЭС. Выбор наиболее подходящего для данной проблемной области инструментального средства, определение способа представления знаний в этом инструментальном средстве, выявление и лингвистическое программирование стандартных функций для составления правил – все это работа инженера по знаниям. Непосредственная разработка ЭС, ее сопряжение со средой, в которой она будет применяться, – задача программиста.

Что касается выбора инструментария, то прототип ЭС может быть создан одним из способов, представленных на рисунке 6.

Перед разработчиками ЭС всегда остро стоит вопрос о выборе адекватного программного инструментария для разработки. Быстро меняющийся рынок средств разработки предлагает десятки программных систем, однако при выборе надо принимать во внимание целый ряд как объективных, так и субъективных факторов, основными из которых являются особенности предметной области, наличие квалифицированной команды разработчиков, необходимость стыковки с другими програм- мными продуктами, финансовые и временные ограничения проекта, количество пользователей будущей системы и их квалификация. Особой популярностью пользуются пустые ЭС, или оболочки, главным образом, из-за простоты и скорости разработки баз знаний [12, 13]. Именно эти плюсы и стали решающими при выборе инструментария для разработки прототипа ЭС SBC (Strategy of Behavior in Conflict), графические результаты работы которой представлены на рисунках 3 и 4.

Согласно результатам исследований [8–10], установлено, что самым действенным способом решения конфликта в МС является согласованное изменение поведенческих стратегий агентов и управление направлением их целеустремленных действий. Согласование выбора способов и методов достижения общей цели должно осуществляться с учетом наличия у каждого агента собственной цели. При этом очень важно, чтобы агент понимал, что достижение общей цели (цели МС) будет способствовать достижению его личных целей. Если это условие не выполняется, у агента появляются внутренние противоречия и возникает внутренний конфликт. Методы недопущения и устранения внутренних конфликтов – тема отдельного исследования и в этой работе не рассматривается. На основе предложенной технологии разрешения конфликтов была разработана ЭС, позволяющая находить решение преодоления межагентного конфликта в МС и анализировать его устойчивость как на этапе подготовки к переговорам, так и при их проведении. Конечно, предложенная технология не позволяет найти такой вариант решения проблемы, который устраивал бы всех агентов и максимизировал их ЦФ в равной степени. Однако ее применение позволяет принять решение, гарантирующее достижение положительных значений ЦФ всех агентов. Опытная эксплуатация системы на примере подготовки основной характеристики образовательной программы по направлениям бакалавриата «Бухгалтерский учет, анализ и аудит», «Финансы и кредит» доказала, что ее применение позволяет почти на 70 % повысить оперативность разработки основной характеристики образовательной программы и согласования перечня компетенций, обязательных для формирования у студентов.

Литература

1.     Фишер Р., Юри У. Путь к согласию или переговоры без поражения. М.: Наука, 1990. 158 с.

2.     Хасан Б.И. Конструктивная психология конфликта. СПб: Питер, 2003. 250 с.

3.     Чхартишвили А.Г. Согласованное информационное управление // Проблемы управления. 2011. № 3. С. 43–48.

4.     Бурков В.Н., Коргин Н.А., Новиков Д.А. Введение в теорию управления организационными системами. М.: Либроком, 2009. 264 с.

5.     Кулинич А.А. Модель командного поведения агентов (роботов): когнитивный подход // Управление большими системами. 2014. Вып. 51. С. 174–196.

6.     Новиков Д.А. Математические модели формирования и функционирования команд. М.: Физматлит, 2008. 184 с.

7.     Новиков Д.А. Методология управления. М.: Либроком, 2011. 128 с.

8.     Мутовкина Н.Ю., Кузнецов В.Н., Клюшин А.Ю. Поведенческие модели интеллектуальных агентов в процессе инфор- мационного взаимодействия // Системы управления и информационные технологии. 2013. № 1.1 (51). С. 178–183.

9.     Мутовкина Н.Ю., Кузнецов В.Н., Клюшин А.Ю.  Методы согласованного управления конфликтом в многоагентной системе // Системы управления и информационные технологии. 2014. № 3.2 (57). С. 255–261.

10.  Mutovkina N.Yu., Klyushin A.Yu., Kuznetsov V.N.  Stability of containment strategy in multi-agent systems. Automation and Remote Control, 2015, vol. 76, iss. 6, pp. 1088–1093.

11.  Подиновский В.В., Ногин В.Д. Парето-оптимальные решения многокритериальных задач. М.: Физматлит, 2007. 256 с.

12.  Муромцев Д.И., Колчин М.А. Разработка экспертных систем в Drools Guvnor. СПб: Изд-во ИТМО, 2013. 54 с.

13.  Экспертные системы. Оболочки для создания экспертных систем. URL: http://www.bourabai.kz/alg/expert22.htm (дата обращения: 31.03.2016).