У 1998

НЕЧЕТКОСТЬ В ПРИНЯТИИ РЕШЕНИЙ
(Философско-методологические аспекты)1

В.С.Диев

 

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

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

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

Основное, что характеризует проблемы, стоящие перед человеком двадцатого века, будь то политика, экономика, наука – это сложность и неопределенность. Именно эти факторы стали катализатором проведения современных исследований процессов принятия решений. С методологической точки зрения теория управления представляет значительный интерес в плане использования современных математических методов для исследования деятельности практически действующего и познающего социального субъекта. При этом расширение круга вопросов человеческой практики, где математика может оказаться эффективной, часто тормозится рядом предубеждений. Так, люди, не владеющие математическими методами, иногда думают, что любая проблема может быть переведена на язык математики, и, следовательно, решена ее средствами. Часто высказывается и противоположная точка зрения. Например, Норберт Винер считал принцип неопределенности настолько существенной особенностью социальных систем, что, по его мнению, математический аппарат, разработанный для описания физических и даже биологических процессов, вообще не пригоден для социально-экономических объектов [4, 98 100].

Отметим, что очень часто неопределенность отождествляют лишь с отсутствием полной информации о том или ином объекте. На самом деле, незнание состояний объекта, относительно которого принимается решение, не является единственной неопределенностью, обусловленной субъективными причинами. Наряду с этим можно назвать "неопределенность желаний" или целей, а также неопределенность критериев выбора решения. Действительно, во многих практических ситуациях сложность принимаемых решений определяется прежде всего двумя факторами: количеством альтернативных вариантов и количеством и разнородностью критериев оценки этих вариантов. В слабоструктурируемых проблемах принятия решений, где качественные, плохо определенные факторы имеют тенденцию доминировать, критерии оценки альтернатив носят, как правило, субъективный характер в том смысле, что сам набор критериев может быть определен только на основании предположений Лица, Принимающего Решения ( далее будем употреблять аббревиатуру – ЛПР). Термин "слабоструктурируемые проблемы" (ill-structured) был введен Г.Саймоном [5]. Представляется достаточно очевидным, что такой класс проблем охватывает широкий спектр реальных ситуаций.

Можно выделить несколько основных типов неопределенностей в задачах принятия решений [6]:

– объективная неопределенность ("неопределенность природы");

– неопределенность, вызванная отсутствием достаточной информации (гносео-логическая неопределенность);

– стратегическая неопределенность, вызванная зависимостью от действий других субъектов управления (партнеров, противников, организаций и т.п.);

– неопределенность, порожденная слабоструктрурируемыми проблемами;

– неопределенность, вызванная нечеткостью, расплывчатостью как процессов и явлений, так и информации, их описывающей.

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

Рассмотрим подробнее тот тип неопределенности в задачах принятия решений, который связан с нечеткими, качественными (нежесткими, неточными, расплывчатыми) свойствами процессов и явлений. Этот вид неопределенности характерен для экономических, социальных и других систем, в функционировании которых участвует человек. В таких системах часто имеет место ситуация, когда объекты исследования, условия задачи, цели не могут быть описаны точно. Неточность измерения и, как следствие, нечеткость описания реальных объектов является естественной. Однако, не смотря на такую нечеткость, в практических ситуациях обычно удается получить определенное представление об этих объектах и решать поставленные задачи. Например, следующие нечеткие утверждения типа "А существенно меньше В", или "На фондовом рынке наблюдается значительный рост" все же несут достаточную информацию.

Многочисленные исследования процессов принятия решений убедительно показывают, что человеку несвойственно мыслить и принимать решения только в "количественных" характеристиках. Он мыслит прежде всего “качественно”, и для него поиск решений, прежде всего поиск замысла решения, и здесь количественные оценки играют вспомогательную роль. Формализация нечетких понятий – одна из главных задач, которую надо решать при разработке моделей принятия решений в сложных, неопределенных ситуациях. В свое время появление формальной логики было шагом вперед в борьбе с неопределенностью, расплывчатостью представления человеческих знаний. Логика была призвана исключить нестрогость, неоднозначность из рассуждений. Следующий этап в преодолении неопределенности, имеющей случайный характер, связан с теорией вероятностей. Затем возникла потребность в теории, позволяющей формально описывать нестрогие, нечеткие понятия и обеспечивающей возможность продвинуться в познании процессов принятия решений, содержащих такие понятия. Вопрос о том, как обрабатывать нечеткости, перекликается с вопросом о том, каким образом ввести в формальные модели управления субъективизм человека.

Принципиально новый шаг в развитии и применении методов принятия решений связан с появлением теории нечетких множеств. В 1965 г. в журнале “Informa-tion and Control” появилась статья Л.Заде, которая называлась "Fuzzy Sets" [7]. Название нового объекта, который рассматривается в работах Заде, было придумано им самим. При переводе этого термина на другие языки возникло немало трудностей из-за неоднозначности термина “fuzzy”. На русский язык, например, его переводили и как “нечеткий”, и как “размытый”, и как “расплывчатый”, и даже как “неопределенный”. Первый из переводов со временем занял доминирующее положение в литературе, хотя встречаются и другие варианты.

Основная идея Л.Заде состояла в том, что человеческий способ рассуждений, опирающийся на естественный язык, не может быть описан в рамках традиционных математических формализмов. Этим формализмам присуща строгая однозначность интерпретации, а все, что связано с использованием естественного языка, имеет многозначную интерпретацию. Поэтому обычные количественные методы анализа не эффективны при анализе гуманистических систем (термин Л.Заде), т.е. систем, в которых существенная роль принадлежит суждениям и знаниям человека. Как правило, такие системы являются слабоструктурируемыми и гораздо более сложны, чем механистические системы, поведение которых допускает численное описание. Л.Заде подчеркивает, что по мере возрастания сложности системы наша способность формулировать точные, содержащие смысл утверждения о ее поведении уменьшается вплоть до некоторого порога, за которым точность и смысл становятся взаимоисключающими [8]. Этот принцип несовместимости связан со способом восприятия и рассуждений человека. В его основе лежат обобщенные, схематизированные, а следовательно, неточные субъективные представления о реальности.

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

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

В основу теории нечетких множеств Л.Заде положил обобщение понятия характеристической функции множества:

c A: X ® {0,1}, A М X

м 1, если x О A
c A (x) = н
о 0, если x П A

предложив вместо нее рассматривать функцию принадлежности m A: X ® [0, 1] нечеткого множества А. Нечетким множеством A в X называется совокупность пар вида (x; m A(x)), где x М X. Значение m A(x) для конкретного x называется степенью принадлежности этого элемента нечеткому множеству A. Например, если m A(x) = 1, то это означает, что x определенно принадлежит A, если m A(x) = 0, то следовательно x определенно не принадлежит A, если m (x) = 0,5, то это означает, что принадлежность множеству A определяется степенью 0,5. Затем с помощью функции принадлежности вводятся операции над нечеткими множествами [7, 9].

Отметим, что при определении нечеткого множества непосредственно с помощью функции принадлежности появляются определенные трудности в интерпретации степеней принадлежности элементов множеству. Это, в свою очередь, затрудняет моделирование субъективной информации с помощью нечетких множеств. В последние годы появились работы, где в основе определения нечеткого множества лежит понимание его как совокупности элементов, проявляющих (хотя и в различной степени) некоторое общее свойство. В рамках этого подхода функция принадлежности оказывается производным понятием.

Надо сказать, что программа построения нечеткой математики быстро нашла отклик среди ученых. Исследования стали развиваться в двух основных направлениях. Часть исследований устремилась “вширь”, вводя в рассмотрение нечеткие обобщения таких фундаментальных понятий математики, как функция, отношение, предикат. Появились нечеткие уравнения и нечеткие интегралы, нечеткая логика и нечеткая топология и многие другие подобные области. Другие исследования устремились “вглубь”. Их целью было выявление самой природы нечеткости, возможности ввести нечеткие объекты не только на основе нечетких множеств Л.Заде, а каким-либо иным способом. Оба эти направления породили огромное количество работ.

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

В простейшем случае принятие решений в нечетко определенной обстановке описывается следующей схемой. Множество допустимых выборов является нечетким множеством А в некотором полном классе выборов. Задана функция f: X ® Y, значение f(x) которой описывает результат выбора конкретного элемента из X без учета допустимости или недопустимости этого выбора. Цель принятия решения описывается нечетким множеством C в полном классе исходов Y. Решение задачи выполнения нечеткой цели определяется при этом как пересечение нечетких множеств выборов и цели. Иными словами, решение есть максимальное (по включению) нечеткое множество D в X, такое что

1. D М A (допустимость решения),

2. f (D) М C (выполнение нечеткой цели), где f (D) – образ D при отображении f.

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

Широкие возможности для приближенного описания явлений, не поддающихся описанию в общепринятых количественных терминах, представляет лингвистическая переменная, которая отличается от числовой переменной тем, что ее значениями являются не числа, а слова или предложения в естественном или формальном языке. Например, характеристика возраста является лингвистической переменной, если принимает значения – очень молодой, молодой, вполне молодой, немолодой, старый, очень старый и т.п., а не численные значения 20, 25, 40, 50 лет. Использование нечетких словесных понятий, которыми оперирует ЛПР, позволяет ввести в рассмотрение качественные описания и учесть неопределенность в задачах принятия решений, достигнуть более полного описания всех факторов, имеющих отношение к данной задаче и не поддающихся точному количественному описанию [10]. Лингвистический подход при построении моделей принятия решений позволяет использовать для описания проблемной ситуации приближенные, субъективные оценки ЛПР, выраженные с помощью нечетких понятий, отношений и высказываний профессионального языка. Этот подход дает возможность формализовать нечеткие описания с помощью нечетких множеств, лингвистических переменных и нечетких свидетельств и оперировать полученными формализованными объектами посредством аппарата нечетких множеств. С помощью лингвистической переменной можно представлять решения задачи как в виде нечетких описаний с использованием понятий и отношений профессионального языка ЛПР, так и в виде четких рекомендаций. Формализация нечетких понятий и отношений профессионального языка ЛПР обеспечивается введением понятий нечеткой и лингвистической переменных, нечеткого множества и отношения. Первые два обеспечивают переход от словесных описаний задачи к числовым, другие два являются средством численного представления нечетких понятий и отношений.

Следует отметить, что большая часть математического аппарата, применявшегося в теории решений, допускает обобщение на случай нечетких множеств и лингвистических переменных. Элементы нечеткой математики находят широкое применение в моделях принятия решений [11, 12]. Основанная на теории нечетких множеств новая методология построения компьютерных систем, а именно нечетких систем, существенно расширяет области применения компьютеров. Прикладные нечеткие системы являются одной из передовых технологий, в которых лидирует Япония [13]. Нечеткие системы сегодня широко применяются как в промышленности, так и для решения задач управления в медицине, экономике, маркетинге, страховании, обучении и других областях, где существенную роль играет субъективный опыт экспертов.

Перевод условий практической задачи на язык математических моделей всегда был трудным и приводил подчас к потере трудноформализуемой качественной информации в исходных данных. До появления теории нечетких множеств большинство качественных характеристик и присущих им неопределенностей, если они не статистической природы, просто игнорировались. Обоснование своего подхода Л.Заде начал именно с противопоставления понятий “неточности” и “случайности”. Он поставил под сомнение интуитивно принимаемое допущение, что неточность независимо от ее природы может быть отождествлена со случайностью. По его мнению, следует различать случайность и нечеткость, так как именно нечеткость является основным источником неточности во многих процессах принятия решений [14]. Под нечеткостью при этом понимается тот тип неточности, который связан с такими классами объектов, в которых нельзя указать определенную границу, отделяющую элементы, принадлежащие к данному классу, и элементы, ему не принадлежащие. Например, в класс мягких предметов входят предметы, мягкие в различной степени.

Критики подхода Л.Заде задают вопрос: “Что же нового в теории нечетких множеств? Всему этому хорошо служит теория вероятностей”. Действительно, в чем же состоит различие между случайностью и нечеткостью? На элементарном примере покажем, как могут различаться эти подходы. Обратимся к учебнику А.А.Боровкова [15, 29]. Для того, чтобы формализовать какую-либо вероятностную задачу, надо соответствующему эксперименту приписать измеримое пространство б W Fс . W означает множество элементарных исходов эксперимента, а алгебра или s -алгебра F выделяет класс событий. Все остальные подмножества W , не входящие в F, событиями не являются. При этом класс событий F часто определяют как s -алгебру, порожденную той или иной алгеброй А. Выделение той или иной алгебры или s -алгебры событий F обусловлено, с одной стороны, существом рассматриваемой задачи, с другой – природой множества W . Как мы увидим, далеко не всегда можно определить вероятность так, чтобы она имела смысл для любого подмножества W .

Пусть W = {a, b, c, d} и в качестве алгебры событий F = {Ж {b},{c},{b, c},{a, d},{a, b, d}, {a, c, d}, W }. Важно отметить, что такие подмножества W как {a} и {d} – событиями не являются и для них вероятность не определяется. Вероятность на этом вероятностном пространстве можно определить, например, следующим образом: P(Ж ) = 0; P({b}) = 0,3; P({c}) = 0,2; P({a, d}) = 0,5; P({a, b, d}) = 0,8; P({a, c, d}) = 0,7; P({b, c}) = 0,5; P(W ) = 1. Еще раз подчеркнем, что недостаточно с каждым подмножеством W связать число p О [0, 1] и назвать его вероятностью, необходимо, чтобы это подмножество и p удовлетворяли определенным условиям.

Как действуют в теории нечетких множеств? Определим нечеткое подмножество А множества W , приписывая каждому элементу значение функции принадлежности, например: A = {(a; 0,3), (b; 0,7), (c; 0), (d; 1)}, т.е. {d} – определенно принадлежит А, {c} – определенно не принадлежит, а элементы {a} и {b} принадлежат с некоторой степенью.

Принципиальное же отличие между случайностью и нечеткостью заключается в том, что функция принадлежности, которая лежит в основе использования математического аппарата нечетких множеств, всегда является гипотезой. Она дает субъективное представление ЛПР об особенностях проблемной ситуации, характере целей и имеющихся ограничениях. Таким образом, эта форма утверждения гипотез открывает ЛПР новые возможности: позволяет строить оценки для альтернатив посредством формального аппарата. Затем, в схемах анализа, использующих теорию нечетких множеств, также как в традиционных методах, строится некоторая система гипотез, только теперь они формулируются в терминах "субъективной" принадлежности. В итоге анализа ЛПР получает результат, который также носит нечеткий характер.

Важно подчеркнуть, что теория нечетких множеств не призвана конкурировать с теорией вероятностей и статистическими методами, она заполняет пробел в области структурируемой неопределенности там, где нельзя корректно применять статистику и вероятность. Методы, основанные на подходе Л.Заде, не могут дать окончательного критерия отбора, их задача – отбросить неконкурентноспособные, выделить наиболее перспективные [16]. Подытоживая приведенные рассуждения, можно сказать, что использование методов теории нечетких множеств, позволяет, подобно принципу Парето “сжать” множество возможных альтернатив. Думается, что эта теория, развивающаяся по пути освоения субъективной информации и моделирования приближенных рассуждений человека, содержит в себе большой потенциал для применения в самых различных областях человеческой деятельности.

Примечание

1 Работа выполнена при финансовой поддержке Российского гуманитарного научного фонда. Проект N 98-03-04407.

Литература

1. Диев В.С. Управление как объект философского анализа // Тезисы I Российского философского конгресса. В 7 т. Т. 4. СПб.: Изд-во СПбГУ. 1997. с.281-283.

2. Дункан Д.У. Основополагающие идеи в менеджменте. М.: Дело. 1996.

3. Simon H.A. The New Science of Management Decision. New York: Harper and Row. 1960.

4. Винер Н. Творец и робот. – М. 1966.

5. Simon H. The Structure of Ill-structured Problems // Artificial Intelligence. – 1973, – V. 4. – P. 181 – 202.

6. Диев В.С. Гносеологические и методологические аспекты неопределенности в принятии решений // В сб. "Личность и познание". – М. – 1991. – С. 192 – 211.

7. Zadeh L.A. Furry Sets // Information and Control. – N. 8. – 1965. – P. 338 – 353.

8. Заде Л.А. Основы нового подхода к анализу сложных систем и процессов принятия решений // Математика сегодня. – М.: Знание. 1974. – С. 5 – 49.

9. Кофман А. Введение в теорию нечетких множеств. – М.: Радио и связь. – 1982.

10. Заде Л.А. Понятие лингвистической переменной и его применение к принятию приближенных решений. – М.: Мир, – 1976.

11. Нечеткие множества в моделях управления и искусственного интеллекта. – М.: Наука, – 1986.

12. Обработка нечеткой информации в системах принятия решений. – М.: Радио и связь, – 1989.

13. Прикладные нечеткие системы (Пер. с япон.) К.Асан, Д.Ватада, С.Иваи и др. – М.: Мир. – 1993.

14. Беллман Р., Заде Л. Принятие решений в расплывчатых условиях. Вопросы анализа и процедуры принятия решений. – М.: Мир. – 1976.

15. Боровков А.А. Теория вероятностей. – М.: Наука. – 1976.

16. Zadeh L.A. Furry Sets as a Basis for a Theory of Possibility // Furry Sets and Sistems. – V. 1. N. 1. – 1978. – P. 3 – 28.

630090 Новосибирск 90,
ул. Пирогова, 2
Новосибирский госуниверситет