Главная страница
Навигация по странице:

  • Таблица 3.1

  • Т. Саати Принятие решений. Т. саати принятие решений метод анализа иерархий


    Скачать 4.58 Mb.
    НазваниеТ. саати принятие решений метод анализа иерархий
    АнкорТ. Саати Принятие решений.pdf
    Дата09.05.2017
    Размер4.58 Mb.
    Формат файлаpdf
    Имя файлаТ. Саати Принятие решений.pdf
    ТипДокументы
    #7332
    КатегорияИнформатика. Вычислительная техника
    страница6 из 28
    1   2   3   4   5   6   7   8   9   ...   28
    ГЛАВА 3
    ОСНОВЫ
    3.1. ВВЕДЕНИЕ
    Эта глава знакомит с некоторыми дальнейшими методологическими наблюдения- ми. Сначала разъясняется основная математическая аргументация метода. Естест- венно, возникает вопрос, почему выбрана шкала от 1 до 9, а не любая другая из возможных шкал. Показано, что данная шкала не хуже любой другой шкалы, но преимущество ее заключается в простоте, и поэтому совершенно естественна. В по- следней части главы исследуется процесс пересмотра суждений, проводятся чис- ленные расчеты всех собственных значений и левых, и правых собственных векто- ров для примера национальных богатств и обсуждается согласованность в методе
    Дельфи. Наконец, кратко обсуждаются сравнения троек, четвёрок и т. д.
    3.2. ПРИОРИТЕТ КАК СОБСТВЕННЫЙ ВЕКТОР:
    СВЯЗЬ С СОГЛАСОВАННОСТЬЮ
    Рассмотрим элементы
    1
    , ,
    n
    C
    C

    некоторого уровня иерархии. Мы хотим опреде- лить веса
    1
    , ,

    n
    ω
    ω
    их влияния на некоторый элемент следующего уровня. Как описано в гл. 1, основным инструментом будет матрица чисел, представляющих су- ждения о парных сравнениях. Покажем, почему для представления приоритетов вы- бран собственный вектор, соответствующий наибольшему собственному значению.
    Обозначим через
    ij
    a
    число, соответствующее значимости элемента
    i
    C
    по срав- нению с
    j
    C
    . Матрицу, состоящую из этих чисел, обозначим через
    A
    , т. е.
    ( )
    =
    ij
    A
    a
    Как отмечалось ранее,
    1/
    =
    ij
    ji
    a
    a
    , т. е. матрица
    A
    обратно-симметричная
    *
    . Если наше суждение совершенно при всех сравнениях, то
    =
    ik
    ij
    jk
    a
    a a
    для всех
    i
    ,
    j
    ,
    k
    и матрицу
    A
    называем согласованной.
    Очевидным для согласованной матрицы является случай, когда сравнения осно- ваны на точных измерениях, т. е. веса
    1
    , ,

    n
    ω
    ω
    известны. Тогда
    =
    i
    ij
    j
    a
    ω
    ω
    ,
    ,
    1, 2,
    ,
    =

    i j
    n
    (3.1) и поэтому
    =
    =
    =
    j
    i
    i
    ij
    jk
    ik
    j
    k
    k
    a a
    a
    ω
    ω
    ω
    ω ω
    ω
    Также, конечно,
    1
    /
    1/
    /
    =
    =
    =
    ji
    j
    i
    ij
    i
    j
    a
    a
    ω ω
    ω ω
    *
    Термин обратно-симметричная матрица введен как наиболее адекватный перевод с английского тер- мина reciprocal matrix. – Прим. перев.

    50
    Рассмотрим подробнее этот случай. Как показано в Приложении 1, матричное уравнение
    ⋅ =
    A x
    y
    , где
    (
    )
    1
    , ,
    =

    n
    x
    x
    x
    и
    (
    )
    1
    , ,
    =

    n
    y
    y
    y
    соответствует краткой записи системы урав- нений
    1
    =
    =

    n
    ij i
    i
    j
    a x
    y
    ,
    1, 2,
    ,
    =

    i
    n
    Теперь из (3.1) получаем
    1
    =
    j
    ij
    i
    a
    ω
    ω
    ,
    ,
    1, 2,
    ,
    =

    i j
    n
    , и, следовательно,
    1 1
    =
    =

    n
    ij
    j
    j
    i
    a
    n
    ω
    ω
    ,
    1, 2,
    ,
    =

    i
    n
    , или
    1
    =
    =

    n
    ij
    j
    i
    j
    a
    n
    ω
    ω
    ,
    1, 2,
    ,
    =

    i
    n
    , что эквивалентно выражению
    =
    A
    n
    ω
    ω
    (3.2)
    В теории матриц эта формула отражает то, что
    ω
    – собственный вектор матрицы
    A
    с собственным значением
    n
    . Уравнение (3.2), расписанное поэлементно, выгля- дит следующим образом:
    1 2
    2 1
    1 1
    1 1
    1 2
    1 2
    2 2
    2 1
    2 2
    2 1
    2
    /
    /
    /
    /
    /
    /
    /
    /
    /


     
     


     
     


     
     


    =
    =
     
     


     
     

        








    n
    n
    n
    n
    n
    n
    n
    n
    n
    A
    A
    A
    A
    A
    A
    n
    A
    ω
    ω
    ω ω
    ω ω
    ω ω
    ω
    ω
    ω ω ω ω
    ω ω
    ω
    ω
    ω ω ω ω
    ω ω
    Обратимся к конкретному случаю, в котором
    ij
    a
    основаны не на точных измере- ниях, а на субъективных суждениях. В данном случае
    ij
    a
    будет отклоняться от
    «идеальных» отношений
    /
    i
    j
    ω ω
    , и поэтому уравнение (3.2) более не будет иметь места. Полезными могут оказаться следующие два факта из теории матриц.
    Первый факт: если
    1
    , ,

    n
    λ
    λ
    числа, удовлетворяющие уравнению
    =
    Ax
    x
    λ
    , т. е. являются собственными значениями
    A
    , и если
    1
    =
    ii
    a
    для всех
    i
    , то
    1
    =
    =

    n
    i
    i
    n
    λ
    Поэтому, если имеет место (3.2), то все собственные значения — нули, за исклю- чением одного, равного
    n
    . Ясно, что в случае согласованности
    n
    есть наибольшее собственное значение
    A
    Второй полезный факт заключается в том, что если элементы
    ij
    a
    положительной обратно-симметричной матрицы
    A
    незначительно изменить, то собственные значе- ния также изменятся незначительно.

    51
    Объединяя эти результаты, находим, что если диагональ матрицы
    A
    состоит из единиц (
    1
    =
    ii
    a
    ) и
    A
    – согласованная матрица, то при малых изменениях в
    ij
    a
    наи- большее собственное значение max
    λ
    остается близким к
    n
    , а остальные собственные значения – близкими к нулю.
    Поэтому можно сформулировать следующую задачу: если
    A
    – матрица значений парных сравнений, то для нахождения вектора приоритетов нужно найти вектор
    ω
    , который удовлетворяет max
    =
    A
    ω λ ω
    Так как желательно иметь нормализованное решение, слегка изменим
    ω
    , пола- гая
    1
    =
    =

    n
    i
    i
    α
    ω
    и заменяя
    ω
    на
    (
    )
    1/
    α ω
    . Это обеспечивает единственность, а также то, что
    1 1
    =
    =

    n
    i
    i
    ω
    Заметим, что так как малые изменения в
    ij
    a
    , вызывают малое изменение max
    λ
    , отклонение последнего от
    n
    является мерой согласованности. Оно позволяет оце- нить близость полученной шкалы к основной шкале отношений, которую мы хотим оценить. Поэтому, как сказано в гл. 1, индекс согласованности
    (
    )
    (
    )
    max
    /
    1


    n
    n
    λ
    рассматривается как показатель «близости к согласованности». В общем случае, если это число
    0,1

    , мы можем быть удовлетворены суждениями.
    Полезно повторить, что описанные суждения могут не только нарушить отноше- ние согласованности, но и быть нетранзитивными, т. е. если относительная важ- ность
    1
    C
    больше, чем
    2
    C
    и относительная важность
    2
    C
    больше, чем
    3
    C
    , то относи- тельная важность
    1
    C
    может не быть больше, чем
    3
    C
    – обычный случай в человече- ских суждениях. Интересную иллюстрацию относительно несогласованности или от- сутствия транзитивности предпочтений представляют различные турниры. Команда
    1
    C
    может проиграть команде
    2
    C
    , которая проиграла команде
    3
    C
    ; однако
    1
    C
    может выиграть у
    3
    C
    . Поэтому несогласованность в выступлениях команд – факт, с кото- рым нужно считаться. Конечно, нашей модели присуще требование транзитивности, однако процедура «описания» может вызвать затруднения.
    В [101] исследовано предположение, что нетранзитивность предпочтений может быть естественным явлением, а не следствием ошибки в суждениях или заблужде- нием. Сделано заключение, что в ряде случаев нетранзитивность является естест- венной и ее нельзя избежать.
    В проведенном эксперименте 62 студента колледжа должны были сделать выбор одного из трех гипотетических брачных партнеров
    x
    ,
    y
    и
    z
    . По интеллекту их ран- жирование было
    xyz
    , по внешности –
    yzx
    , по имущественному положению –
    zxy
    Структура эксперимента не объяснялась. Объекты сравнивались неодновременно и попарно случайным образом. В каждом случае
    x
    описывался как очень умный, не- красивый и с хорошим достатком;
    y
    — как умный, с очень приятной внешностью и бедный;
    z
    — с посредственным интеллектом, приятной внешностью и богатый. Все потенциальные партнеры описывались не столь бедными, некрасивыми или глупы- ми, чтобы быть автоматически исключенными из рассмотрения.
    При определении групповых предпочтений большинством голосов обозначился круговой характер, так как
    x
    превзошел
    y
    с соотношением 39 к 23;
    y
    превзошел
    z
    с соотношением 57 к 5 и
    z
    превзошел
    x
    с соотношением 33 к 29.

    52
    Выборы были:
    21

    xyz
    ;
    17

    xyzx
    ;
    12

    yzx
    ;
    7

    yxz
    ;
    4

    zyx
    ;
    1

    xzy
    ;
    0

    zxy
    ;
    0

    xzyx
    Нетранзитивный характер легко объясняется как результат выбора альтернати- вы, которая выше по двум из трех критериев. Упорядочения
    xyz
    и
    yzx
    , по- видимому, получились из-за придания большего веса интеллекту и внешности соот- ветственно. Четверо студентов, которые сделали противоположный выбор по отно- шению к интеллекту
    ( )
    zyx
    , были мужчины и, возможно, выразили степень мужской боязни интеллектуальных женщин. Семерых студентов, которые сделали противо- положный выбор по отношению к богатству
    (
    )
    yxz
    , не следует считать людьми, бес- смысленно пренебрегающими деньгами. Они могли отдать значительное предпочте- ние
    y
    перед
    x
    из-за большой несоразмерности во внешности,
    x
    перед
    z
    из-за большой несоразмерности в интеллекте и
    y
    перед
    z
    из-за сочетания внешности и интеллекта. Когда требовалось сранжировать все три альтернативы, те, чьи выборы носили нетранзитивный характер, дали разрозненные ответы, в большинстве выбо- ров
    ( )
    9
    yzx
    и
    ( )
    4
    yxz
    . Студенты, имевшие транзитивные упорядочения для бинарных выборов, в большинстве произвели очевидные упорядочения.
    Во втором эксперименте, где летчиков просили сделать попарный выбор из огня, раскаленного металла и падения, наиболее распространенными выборами были: огонь предпочтительнее раскаленного металла; раскаленный металл предпочти- тельнее падения; падение предпочтительнее огня.
    Первые два выбора, вероятно, можно объяснить убеждением, что пилот испыты- вает ужас от раскаленных предметов; этот страх сильнее, чем от огня, однако пилот привык к устойчивому состоянию и поэтому естественна реакция на падение. Тем не менее, это не объясняет третий выбор, который не кажется неразумным.
    Такие эксперименты не доказывают, что выборы, которые делает человек, не- транзитивны. Однако они могут предлагать свои пути для составления планов таких экспериментов, которые используют либо цикличность, либо только транзитивность.
    В экспериментах, в которых оценки компонент противоречивы, предполагается воз- никновение цикличности. Тогда основной вопрос будет: При каких условиях транзи- тивность не имеет места? А не являются ли предпочтения транзитивными? Некото- рые исследователи избегают этой проблемы, утверждая, что транзитивность являет- ся одной из составляющих определения рационального поведения.
    Известная теорема К. Эрроу о невозможности утверждает, что нельзя найти та- кую функцию общественной полезности, которая удовлетворяла бы интересам как отдельных индивидуумов, так и всего общества в целом, и единственным способом выбора, приемлемым при всех обстоятельствах, является передача права выбора
    «диктатору». Действительно, трудно вообразить, что даже отдельная личность мо- жет иметь функцию полезности, которая удовлетворяет всем возможным ее выборам при всех обстоятельствах, с которыми она может столкнуться. В работе Эрроу [5] транзитивность предпочтений берется в качестве детерминистической (да, нет) ос- новы согласованности и ее нарушение рассматривается как логическое противоре- чие.
    Люди постоянно идут на компромиссы, которые нарушают транзитивность, одна- ко в целом являются приемлемыми решениями, так как в них учитывается относи- тельная важность имеющихся критериев. Ясно, что существуют моменты, когда ин- дивидуум не может принять четкого решения из-за того, что компромиссный выбор из нескольких линий поведения равнозначен. Действительно, если критерии верно определены и оценены, у индивидуума нет причин предпочесть бездействие дейст- вию.
    Хотя автор не особенно разделяет идею о необходимости рассмотрения функции благосостояния общества, кажется, что основные предпосылки, использованные для

    53 доказательства теоремы об общественной невозможности, требуют пересмотра. В теореме о невозможности функция общественной полезности не должна так сильно отличаться от функции полезности отдельного индивидуума. Индивидуум чувствует себя счастливым или несчастным в зависимости от того, насколько хорошо он опре- деляет приоритеты для себя и находит компромиссы. Он может и часто имеет внут- ренние конфликты при любых выборах, которые делает даже при совершенной ра- циональности в выражении интенсивностей своих предпочтений.
    3.3. СРАВНЕНИЕ ШКАЛ
    Некоторые проблемы, изложенные в предыдущем разделе, независимы от шкалы сравнения, которую мы применяем, поскольку это – шкала отношений. (Шкалы раз- ностей кратко рассматриваются во второй части книги.) Однако имеются все осно- вания поставить вопрос: почему выбираются величины от 1 до 9? В этом разделе мы попытаемся показать читателю, что эта шкала действительно лучше всех других.
    Начнем более подробное описание нашей шкалы (см. табл. 3.1).
    Таблица 3.1
    Степень важности
    Определение
    Объяснение
    1
    Одинаковая значимость
    Два действия вносят одинаковый вклад в достижение цели
    3
    Некоторое преобладание значимо- сти одного действия перед другим
    (слабая значимость)
    Опыт и суждение дают лёгкое пред- почтение одному действию перед дру- гим
    5
    Существенная или сильная значи- мость
    Опыт и суждение дают сильное пред- почтение одному действию перед дру- гим
    7
    Очень сильная или очевидная зна- чимость
    Предпочтение одного действия перед другим очень сильно. Его превосход- ство практически явно.
    9
    Абсолютная значимость
    Свидетельство в пользу предпочтения одного действия другому в высшей степени предпочтительны
    2, 4, 6, 8
    Промежуточные значения между соседними значениями шкалы
    Ситуация, когда необходимо компро- миссное решение
    Обратные величины приведённых выше чисел
    Если действию i при сравнении с действием j приписывается одно из приведённых выше чисел, то действию j при сравнении с i при- писывается обратное значение
    Обоснованное предположение
    Рациональ- ные значе- ние
    Отношения, возникающие в задан- ной шкале
    Если постулировать согласованность, то для получения матрицы требуется n числовых значений
    Наибольший вклад в исследование вопроса стимулов и реакций внесли Э. Вебер
    (1795–1878), Г. Фехнер (1801–1887) и С. Стивенс (1906–1973).
    В 1846 г. Вебер сформулировал закон, касающийся стимула измеримой величи- ны
    s
    . Он обнаружил, например, что люди, держащие в руке предметы с различным весом, могут различать предметы весом 20 г от 21 г, однако не могут уловить разни- цу, если второй предмет весит 20,5 г. С другой стороны, в то время как они не могут различить предметы весом 40 г и 41 г, разница предметов весом 40 г и 42 г воспри- нимается, и т. д. для бóльших весов.

    54
    Нужно увеличить
    s
    на минимальную величину
    s
    , чтобы достичь состояния, при котором наше восприятие уже может различить
    s
    и
    + ∆
    s
    s
    ;
    s
    называется едва за-
    метным различием (езр). Отношение
    /
    = ∆
    r
    s s
    не зависит от
    s
    . Закон Вебера утвер- ждает, что изменение восприятия отмечается при увеличении стимула на постоян- ную долю самого стимула. Этот закон имеет место, когда
    s
    мало по сравнению с
    s
    , и практически перестает действовать, когда
    s
    или слишком мал, или слишком велик. Агрегирование или декомпозиция стимулов, что необходимо в кластерах или уровнях иерархии, является эффективным способом расширения применимости это- го закона.
    В 1860 г. Фехнер исследовал последовательность едва заметных увеличений стимулов. Обозначим первый стимул через
    0
    s
    Следующий стимул с едва заметным различием (см. [7]) согласно закону Вебера
    (
    )
    0 1
    0 0
    0 0
    0 0
    1

    = + ∆ = +
    =
    +
    s
    s
    s
    s
    s
    s
    s
    r
    s
    Аналогично
    (
    )
    (
    )
    2 2
    2 1
    1 1
    0 0
    1 1
    = + ∆ =
    + =
    +

    s
    s
    s
    s
    r
    s
    r
    s
    α
    В общем случае
    (
    )
    1 0
    0,1, 2,

    =
    =
    =

    n
    n
    n
    s
    s
    s
    n
    α
    α
    Таким образом, стимулы с заметными различиями располагаются в геометриче- ской прогрессии. В то же время Фехнер чувствовал, что соответствующие воспри- ятия составляют арифметическую прогрессию в дискретных точках, где наблюдают- ся едва заметные различия. Последние получаются, если решить относительно
    n
    полученное уравнение. Имеем
    (
    )
    0
    log log
    / log
    =

    n
    n
    s
    s
    α
    , т. е. восприятие – линейная функция логарифма стимула. Поэтому если обозна- чить восприятие через
    M
    , а стимул через
    s
    , то психофизический закон Вебера–
    Фехнера запишется в виде log
    , 0
    =
    +

    M
    a
    s b a
    Предположим, что стимулы возникают при проведении парных сравнений отно- сительно сравнимых действий. Нас интересуют реакции, численные значения кото- рых даны в форме отношений. Итак,
    0
    =
    b
    , из чего мы должны получить
    0
    log
    0
    =
    s
    или
    0 1
    =
    s
    , что возможно, если проградуировать единичный стимул. Но это происхо- дит при сравнении некоторого вида действия с самим собой.
    Следующая заметная реакция соответствует стимулу
    1 0
    =
    =
    s
    s
    α α
    , который вызывает реакцию log / log
    1
    =
    a
    a
    . Следующий стимул будет
    2 2
    0
    =
    s
    s
    α
    , который вызовет реакцию – 2. Таким образом, получаем последовательность
    1, 2, 3, …
    Для согласованности мы помещаем действия в кластер, стимулы парных сравнений которого вызывают реакции, имеющие величины одного порядка. На практике качественные различия в реакциях на стимулы немногочисленны. Прибли- зительно их пять, как перечислено выше, с дополнительными, которые представля- ют собой компромиссы между соседними реакциями. Понятие компромисса особенно достойно внимания при осмысливании процесса суждения в противоположность чув- ствам. Это увеличивает число различий до девяти, что совместимо со сделанным ра- нее предположением о порядке величины.

    55
    1   2   3   4   5   6   7   8   9   ...   28


    написать администратору сайта