Методы вербального анализа принятия решений

Проверка условия  независимости для двух критериев.

Единая порядковая шкала  содержит ценную информацию о предпочтениях  ЛПР. Однако использование этой информации возможно при независимости сравнений, сделанных ЛПР, от изменения опорной  ситуации. Назовем два критерия независимыми по изменению качества, если ЕПШ, построенная для оценок этих критериев, остается неизменной при любых попарно одинаковых оценках по другим критериям. Проверка условия независимости по изменению качества осуществляется следующим образом. Повторим опрос ЛПР по сравнению оценок на шкалах двух критериев при предположении, что по прочим критериям имеются худшие оценки. При таком опросе предполагается, что первоначально по всем критериям имеются худшие оценки, а затем осуществляются сравнения улучшенных оценок по шкалам двух критериев. В результате получаем часть ЕПШ для этой же пары критериев, построенную уже у второй опорной ситуации. Если две ЕПШ совпадают, то можно принять, что два критерия независимы. 
 
Дадим содержательное объяснение такого способа проверки. Каждое сочетание оценок критериев представляет для ЛПР образ определенной альтернативы. Наиболее яркими, «контрастными» для ЛПР являются два образа, соответствующае сочетаниям лучших и худших оценок по всем критериям (опорные ситуации). Можно принять, что условия независимости выполняются, если эти образы не влияют на сравнения, совершаемые ЛПР. Обратимся опять к нашему примеру. Повторяем сравнения оценок по критериям А и Б при предположении, что по критериям В и Г имеются худшие оценки. Нетрудно убедиться, что результаты сравнений можно представить в виде отрезка ЕПШ: 
 
Б2=>А2=>АзБзВзГз. 
 
Критерии А и Б независимы по изменению качества, так как ЕПШ, построенные у двух опорных ситуаций, совпадают.¹⁰

Независимость по понижению качества для группы критериев.

 Поиск условий независимости  группы критериев от остальных  является предметом исследования  во многих работах в области  принятия решений. Так, если  пары критериев независимы по  предпочтению, то доказан факт  независимости любой группы критериев  от остальных. 
 
В статьях и книгах по принятию решений не встречаются примеры, когда зависимость между несколькими критериями не проявлялась бы в группе из трех критериев. Мы можем сослаться на мнение известных ученых Д. фон Винтерфельда и Г. Фишера, что групповая зависимость критериев «неопределима по природе и трудно обнаружима» в случае, когда все критерии попарно независимы. Легко увидеть, что введенное выше условие независимости по понижению качества близко к известному условию независимости по предпочтению. 
 
Мы можем утверждать следующее. 
 
Утверждение 1. В случае, когда все пары критериев независимы по понижению качества, любая группа критериев независима по понижению качества. Действительно, предложенная выше проверка для всех пар 
 
критериев достаточно полная. При этой проверке рассматриваются все возможные тройки критериев. Трудно предположить существование зависимости более сложного характера. В случаях, когда обнаружена зависимость критериев, рекомендуется изменить описание проблемы для исключения этой зависимости. 
 
Единая порядковая шкала для оценок всех критериев.

 В методе ЗАПРОС  опрос ЛПР у двух опорных  ситуаций осуществляется для  всех 0,5 N(N-1) пар критериев. Непротиворечивые ЕПШ для пар критериев можно объединить. Алгоритм построения общей ЕПШ для оценок всех критериев на основе парных ЕПШ у первой опорной ситуации состоит в следующем. Парные ЕПШ имеют единую начальную точку — сочетание лучших оценок по всем критериям. Совокупность парных ЕПШ с единой начальной точкой может быть представлена в виде графа. Для построения общей ЕПШ может использоваться стандартная процедура, так называемая «разборка» графа. Поместим на общей ЕПШ сочетание всех лучших оценок как начальную точку и удалим ее из графа. Далее определяется недоминируемая оценка на парных ЕПШ. Она помещается на общую ЕПШ, удаляется из графа, и так продолжается до переноса всех оценок на общую ЕПШ. Так как при построении парных ЕПШ все критериальные оценки сравниваются, то на общей ЕПШ все оценки упорядочены. 

Обратимся к приведенному выше примеру. Предположим, что, задавая  похожие вопросы и проводя  такие же сравнения, мы построили  единые шкалы оценок для всех пар  критериев (парные ЕПШ): 
 
A1В1 => Б2 =>А2 => Бз => Аз; 
 
A1В1 => А2 =>В2 => A3 => Вз; 
 
A1В1 => А2 =>Г2 => A3 => Гз; 
 
A1В1=> Б2 =>В2 ^ Бз => Вз; 
 
A1В1=> Б2 =>Г2 =t> Бз => Гз; 
 
A1В1=> В2 =>Г2 => Вз => Гз. 
 
Используем приведенный выше алгоритм для построения ЕПШ для оценок всех критериев: 
 
А1Б1В1Г1 => Б2=> А2 => В2 => Г2 => Б3=> А3 => В3 => Г3. 
 
 Проверка информации ЛПР на непротиворечивость. 
В процессе сравнений ЛПР может делать ошибки. Следовательно, необходимы процедуры проверки информации на непротиворечивость. В методе ЗАПРОС для такой проверки предусмотрены так называемые замкнутые процедуры. В методе ЗАПРОС предлагается строить ЕПШ для всех 0,5(N—1) пар критериев. Нетрудно убедиться, что из ЕПШ для 1-го и 2-го критериев и ЕПШ для 2-го и 3-го критериев можно частично упорядочить оценки всех трех критериев. Сравнение 1-го и 3-го критериев позволяет не только построить ЕПШ для трех критериев, но и частично проверить информацию ЛПР на непротиворечивость, так как часть информации дублируется. Нетранзитивность результатов сравнений означает наличие противоречивых ответов ЛПР. 
 
При построении единой ЕПШ для оценок всех критериев информация ЛПР проверяется на непротиворечивость. Если на каком-то этапе разборки графа нельзя выделить недоминируемую критериальную оценку, то это свидетельствует о противоречии в информации ЛПР. Противоречивые сравнения предъявляются ЛПР для анализа. Заметим, что с ростом N (усложнением задачи) количество дублирующей информации (позволяющей осуществить дополнительную проверку) увеличивается. Конечно, такая проверка не является исчерпывающей, но она представляется достаточно полной. 
 
Обратимся к приведенному выше примеру. Сравнения оценок для одной пары критериев при построении парной ЕПШ могут противоречить сравнениям, сделанным при построении ЕПШ для другой пары критериев. Так, предположим, что единая шкала критериев Б и В вместо вида, представленного в, имеет иной вид: BiBi=:>B2=>B2. Тогда при попытке построения единой шкалы всех критериев мы сталкиваемся с противоречием. 
 
Из единой шкалы для критериев А и В следует, что Вг предпочтительнее Аг, из единой шкалы для критериев А и В - что Аг предпочтительнее Вг — см. выше. Следовательно, Вг =>А2 => Ва => Bg. Возникающее противоречие не дает возможности разместить оценки Аг, Вг и Вг на единой шкале. Обычно такое противоречие является результатом непоследовательности в суждениях. Необходимо разобраться в проведенных сравнениях и изменить противоречивые решения. Итак, при построении единой шкалы оценок критериев осуществляется проверка предпочтений на непротиворечивость. Возможность соединения нескольких парных шкал в единую шкалу является подтверждением непротиворечивости предпочтений ЛПР. 
 
Вопросы, необходимые для построения единой ЕПШ, составляют весь диалог с ЛПР. Вольше информации от ЛПР не требуется. В нашем случае (четыре критерия) ЛПР должен ответить на 24 вопроса (если он отвечает непротиворечиво). По опыту использования системы ЗАПРОС известно, что этот диалог занимает 10-15мин.

Частный случай. 
При N=2 понятие опорной ситуации не существует. Вместо построения ЕПШ осуществляются сравнения понижений качества от лучших оценок и сравнения всех повышений качества от худших оценок. Полученные результаты (если они непротиворечивы) непосредственно используются для сравнения альтернатив, имеющих оценки по двум критериям.

Психологическая корректность процедуры выявления  предпочтений ЛПР. 
Процедура выявления предпочтений ЛПР в методе ЗАПРОС является корректной с психологической точки зрения. Ее проверка производилась неоднократно в различных экспериментах. Каждый из испытуемых был поставлен в положение ЛПР, объекты оценивались по нескольким критериям с качественными шкалами. Проверка по группе испытуемых показала, что при пяти критериях они допускали не более одного — двух противоречивых ответа из 34 (для одной опорной ситуации). Данная замкнутая процедура выявления предпочтений и построения единой шкалы оценок критериев неоднократно проверялась в экспериментах и на практике (при работе с ЛПР). Информация, получаемая от ЛПР, была почти всегда непротиворечива. Так, при опросе разных ЛПР по 4 критериям с 3-5 оценками на шкалах не наблюдалось ни одного нарушения транзитивности. При опросе по б и 7 критериям с 3—6 оценками на шкалах наблюдались 1—3 противоречивых ответа из 50-70. Повторный опрос ЛПР позволил сразу же устранить эти противоречия. Можно предположить, что при 3—4 оценках на шкалах критериев небольшое число противоречий сохранится до N=10. 

Сравнение альтернатив. Сравнение двух альтернатив 
 
Утверждение 2. Упорядоченность оценок на парной ЕПШ либо определяется посредством попарных сравнений, осуществляемых ЛПР, либо получается в результате транзитивного распространения, следующего из порядковых шкал критериев. Действительно, в тех случаях, когда оценки не сравнены непосредственно ЛПР, их положение на ЕПШ определяется:  
• либо упорядочением оценок на шкалах критериев, если они принадлежат одной шкале; 
• либо транзитивным распространением результатов сравнения ЛПР на основе упорядоченных оценок на шкалах критериев. 

Обратимся к примеру: ЕПШ  для критериевА и Б. Оценки А2 и Б2 сравнивались ЛПР. Превосходство оценки А2 над оценкой Бз следует из превосходства Бг над Бз (порядковая шкала). 

Утверждение 3. Упорядоченность оценок на общей ЕПШ следует либо из прямых сравнений ЛПР, либо из свойства упорядочения оценок на шкалах критериев. Доказательство очевидно. Введем функцию качества альтернативы V(yi) и сделаем следующие предположения относительно свойств этой функции: 
• существуют максимальное и минимальное значения V(yi); 
• при независимых критериях значение V(yi) возрастает с улучшением оценок по каждому из критериев. 
Присвоим каждой оценке на единой ЕПШ ранг, начиная с лучших оценок. Так, для ЕПШ в приведенном выше примере сочетанию лучших оценок соответствует ранг 1, оценке Б2 — ранг 2, оценке А2 — ранг 3 и т. д. 
 
Рассмотрим две альтернативы а и Р, представленные в виде векторов оценок по критериям. Можно определить ранги для всех компонентов векторов а и Р. Упорядочим ранги компонентов (оценок по критериям) альтернатив от лучших к худшим. Тогда каждой альтернативе можно поставить в соответствие вектор рангов оценок на ЕПШ,причем качество альтернативы определяется этим вектором:

где r1,rj…ri — ранги оценок на ЕПШ оценок альтернативы а; qs,qt,qu…qf – ранги оценок на ЕПШ оценок альтернативы Р. 
 
Утверждение 4. Если условие независимости по понижению качества выполнено для всех пар критериев и ранги оценок альтернативы а , следующие из ЕПШ, не хуже, чем ранги оценок для Р, а ранг хотя бы одной оценки лучше, то альтернатива а в соответствии с предпочтениями ЛПР превосходит альтернативу р : V(a) > V(p). 

Д о к а з а т е л ь с т в о . При выполнении условия независимости по падению качества имеем 
 
V(R)=V(r„r^,r„...,r,)^V(qs,rj,rk,...,r,). 
 
Продолжая заменять по одной оценки альтернативы а на оценки альтернативы р, получаем:

Суммируя левые и правые части, находим: V(a)>V(p),что и требовалось доказать. 
 

Не требуют доказательства следующие утверждения. 
 
Утверждение 5. Альтернатива а эквивалентна альтернативе Р, если их оценки в соответствии с ЕПШ имеют одинаковые ранги. 
 
Утверждение 6. Во всех случаях, когда не выполняются условия превосходства одной альтернативы над другой или их эквивалентности, альтернативы а и Р несравнимы. 
 
Следовательно, попарное сравнение упорядоченных по ЕПШ оценок дает возможность непосредственно по информации ЛПР сделать вывод о превосходстве одной альтернативы над другой либо об их эквивалентности. Если информации ЛПР недостаточно, то альтернативы несравнимы.¹¹

Упорядочение  группы заданных альтернатив 
Все реальные альтернативы, представленные их векторами критериальных оценок, сравниваются попарно приведенным выше способом. При этом легко устанавливается существование одного из трех отношений: превосходства (O1), эквивалентности (О2) или несравнимости (Оз). Пусть задана группа альтернатив и выявлены все попарные отношения между ними. Тогда отношения на совокупности альтернатив можно представить графом, вершины которого соответствуют альтернативам, направленная дуга — отношению O1, двунаправленная дуга — отношению О2, а отсутствие связи между вершинами — отношению Оз. Применим к этому графу описанный выше алгоритм «разборки». Выделим на основе бинарного отношения в исходном множестве альтернатив все неподчиненные альтернативы (доминирующие над другими или несравнимые) и назовем их первым ядром. Среди альтернатив, оставшихся после удаления первого ядра, выделим второе ядро и т.д. Альтернативе, входящей в i-e 
 
ядро, присвоим i-й ранг, если над ней доминирует какая-либо альтернатива из (i—1)-го ядра и она сама доминирует над какой-либо альтернативой из (i+l)-ro ядра. Если j-я альтернатива подчинена альтернативе из к-го ядра и доминирует над альтернативой из (к+р)-го ядра, то ее ранг находится в пределах от (к+1) до (к+р-1). Полученные таким образом совокупность ядер и ранги альтернатив могут использоваться для построения частичного (так как не все альтернативы сравнимы) упорядочения. Покажем эту процедуру на нашем примере. 
 
Компьютер сравнивает попарно проекты с помощью единой шкалы оценок критериев. Пусть один из поступивших проектов имеет такие оценки: Аг (разработана технология), Бг (окупаемость происходит за год), Bi (малые трудности организации производства), Гх (большой спрос). Второй проект имеет оценки: 
 
Ai (есть единичные изделия), Бг (срок окупаемости полгода), Вг (средние трудности организации производства), Гг (достаточный спрос). Сравнивая оценки проектов по единой шкале, находим, что Бг лучше Вг и Аг лучше Гг. Следовательно, первый проект лучше второго (по мнению ЛПР). Отметим, что единая порядковая шкала не всегда позволяет сравнивать проекты. Так, проекты с оценками А3Б2В3Г2 и А2Б3В2Г3 не сравнимы, так как Бг лучше Аг и Вз лучше Гз, но Вг лучше Гг и Бз лучше Аз. Компьютер осуществляет таким образом сравнения для всех пар объектов, а затем упорядочивает их по качеству.

Преимущества  метода ЗАПРОС. 
Преимущества метода ЗАПРОС заключаются в следующем: 
• все вопросы просты и понятны для ЛПР, они сформулированы на языке оценок критериев; 
• отвечая на вопросы, ЛПР должен быть логичным и последовательным, компьютер проверяет его предпочтения на непротиворечивость 
• любые сравнения качества альтернатив могут быть объяснены на этом же языке.¹²

Практическое  применение метода ЗАПРОС. 
Метод ЗАПРОС неоднократно применялся при решении практических задач. Одной из наиболее важных была задача формирования пятилетнего плана прикладных научных исследований и разработок. Число оцениваемых проектов составляло от нескольких сотен до нескольких тысяч. Была разработана анкета для экспертов, включающая восемь критериев с вербальными порядковыми шкалами: масштаб проекта, новизна ожидаемых результатов, квалификация исполнителя и т. д. Разработанное решающее правило использовалось для упорядочения проектов и отбора лучших. Проверка прогностических возможностей метода ЗАПРОС была осуществлена по результатам выполнения пятилетнего плана НИР для 750 проектов. Частичный порядок, построенный на этапе планирования, был использован для разделения принятых проектов на три группы по их качеству. Оценка качества выполненных проектов также проводилась с помощью метода ЗАПРОС, но использовались уже другие критерии. Выполненные проекты также были разделены на три группы по их качеству. Анализ показал, что на множестве из 750 проектов была корреляция 82% между оценками на этапе планирования и оценками выполненных проектов, что можно считать хорошим результатом при пятилетнем сроке выполнения проектов.¹³

3.4.Метод ВЕРБА.

Метод «ВЕРБА» построен с  использованием принципа полярности на основе процедур, используемых в методах  ВАР «ЗАПРОС» и «ОРКЛАСС», а также  принципа иерархической декомпозиции задачи принятия решений (ЗПР), используемого  в Методе Анализа Иерархии (МАИ)¹⁴. В соответствии с взаимными требованиями к подсистемам были преобразованы процедуры упорядочения вариантов решений и отображения совокупности вербальных оценок нижнего уровня иерархии в вербальные оценки критерия верхнего уровня иерархии, используемые в выше названных методах ВАР. 
После выявления предпочтений методами ВАР становится возможным формирование множества ответов эксперта, которые приведут к полученному решению, т.е. обосновать результат принятия решения. Поскольку метод «ВЕРБА» относится к классу методов ВАР, то обоснованием также является множество ответов приведших к полученному решению. Во время работы метода «Верба» как в режиме «Ранжирование альтернатив», так и в режиме «Синтез требований к решению», результат может быть получен как на одном, так и на различных уровнях иерархии. Исходя из этого, нами предлагается следующий укрупненный алгоритм обоснования решения, состоящий из следующих элементов: