Аксиома независимости от посторонних альтернатив

Аксиома независимости от посторонних альтернатив (англ. independence of irrelevant alternatives, IIA) — одно из ключевых условий рационального коллективного выбора, применяемое в теории общественного выбора, теории принятия решений и социальном выборе. Суть аксиомы заключается в том, что предпочтение между двумя альтернативами не должно изменяться при добавлении или удалении третьей (посторонней) альтернативы. Иными словами, если индивид или группа предпочитает вариант A варианту B, то это предпочтение должно сохраняться независимо от того, присутствует ли в наборе вариантов альтернатива C. Аксиома является фундаментальным элементом многих моделей рационального поведения, но одновременно служит предметом критики и эмпирических исследований, так как в реальных ситуациях люди и группы часто нарушают её.

Определение и формализация

Аксиома независимости от посторонних альтернатив была впервые строго сформулирована экономистом Кеннетом Эрроу в его теореме о невозможности (1951). В рамках теории общественного выбора она формулируется следующим образом: если в профиле предпочтений избирателей (или агентов) альтернатива A ранжируется выше альтернативы B, и при этом набор альтернатив расширяется за счёт добавления новой альтернативы C (или сокращается), то относительный порядок A и B не должен меняться. Формально, для любой пары альтернатив x и y и любого множества альтернатив S, содержащего x и y, функция общественного благосостояния должна удовлетворять условию: если предпочтения всех индивидов относительно x и y не изменяются при изменении S, то и общественное предпочтение между x и y остаётся неизменным.

В более широком контексте теории принятия решений аксиома IIA применяется к индивидуальным выборам. Согласно ей, если индивид выбирает A из набора {A, B}, то он должен выбирать A и из набора {A, B, C}, при условии, что C не является более предпочтительной, чем A. Однако на практике это условие часто нарушается из-за эффектов контекста, таких как эффект компромисса или эффект приманки.

История и развитие

Предпосылки и теорема Эрроу

В середине XX века экономисты и политологи активно искали способы агрегации индивидуальных предпочтений в коллективное решение, которое было бы одновременно рациональным и демократичным. Кеннет Эрроу в своей диссертации (1951) показал, что при наличии хотя бы трёх альтернатив и двух индивидов невозможно создать функцию общественного благосостояния, которая удовлетворяла бы одновременно нескольким разумным условиям: универсальности (все возможные профили предпочтений допустимы), единогласия (если все предпочитают A B, то и общество предпочитает A B), транзитивности (если A > B и B > C, то A > C) и независимости от посторонних альтернатив. Теорема Эрроу стала фундаментальным результатом, показавшим, что любая процедура коллективного выбора несовершенна. Аксиома IIA в этой теореме играет роль одного из условий, которое делает невозможным существование идеального механизма голосования.

Критика и альтернативные подходы

После публикации теоремы Эрроу аксиома IIA стала предметом интенсивных дебатов. Критики, такие как экономист Амартия Сен, утверждали, что условие IIA слишком строгое и не отражает реальные процессы принятия решений. Сен показал, что в некоторых случаях информация о посторонних альтернативах может быть релевантной для оценки относительной привлекательности двух вариантов. Например, если альтернатива C очень похожа на A, то добавление C может «оттянуть» голоса от A, что изменит соотношение между A и B. В ответ на критику были предложены модификации аксиомы, например, условие «независимости от клонирования» (independence of clones), которое требует, чтобы добавление альтернатив, почти идентичных существующим, не влияло на результат.

Примеры нарушения аксиомы

Эффект приманки (decoy effect)

Один из наиболее известных примеров нарушения IIA в индивидуальном выборе — эффект приманки. Предположим, потребитель выбирает между двумя моделями смартфонов: A (более дешёвый, с меньшим объёмом памяти) и B (более дорогой, с большим объёмом памяти). Если добавить третью модель C, которая дороже A, но имеет ещё меньший объём памяти (то есть явно хуже A по всем параметрам), то доля выбора A может увеличиться. Это происходит потому, что C служит «приманкой», делая A более привлекательным на фоне явно проигрышной альтернативы. Таким образом, предпочтение между A и B меняется при добавлении C, что противоречит аксиоме.

Парадокс Кондорсе

В теории общественного выбора нарушение IIA иллюстрируется парадоксом Кондорсе. При голосовании по трём альтернативам (A, B, C) может возникнуть цикл: A побеждает B, B побеждает C, но C побеждает A. В такой ситуации добавление или удаление одной из альтернатив может изменить исход выборов между двумя другими. Например, если из набора удалить C, то A и B могут поменяться местами в ранжировании, что прямо нарушает IIA.

Применение в различных областях

Экономика и теория игр

В экономике аксиома IIA используется при моделировании поведения потребителей и фирм. В частности, она лежит в основе модели логистической регрессии (logit model), где вероятность выбора альтернативы зависит от её полезности относительно всех других альтернатив. Однако модель logit предполагает, что добавление новой альтернативы пропорционально уменьшает вероятности выбора всех существующих, что на практике не всегда верно. Для учёта нарушений IIA были разработаны более сложные модели, такие как nested logit или mixed logit.

Политология и избирательные системы

В политологии аксиома IIA критически важна для анализа избирательных систем. Многие системы голосования, такие как мажоритарная система относительного большинства, нарушают IIA. Например, на выборах с тремя кандидатами (A, B, C) может оказаться, что A побеждает B при отсутствии C, но при участии C побеждает B, хотя C набирает меньше голосов. Это явление известно как «эффект спойлера» и часто наблюдается на реальных выборах. В ответ были предложены системы, более устойчивые к нарушениям IIA, например, система «мгновенного второго тура» (instant-runoff voting) или метод Кондорсе.

Искусственный интеллект и машинное обучение

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

Критика и ограничения

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

В теории общественного выбора аксиома IIA также подвергается сомнению. Некоторые исследователи утверждают, что условие IIA слишком сильно ограничивает возможные механизмы голосования и что на практике можно обойтись более слабыми условиями, например, «независимостью от клонирования» или «монотонностью». Однако отказ от IIA приводит к другим проблемам, таким как возможность манипулирования результатами голосования.

Интересные факты

• Теорема Эрроу, в которой аксиома IIA является одним из условий, была удостоена Нобелевской премии по экономике в 1972 году.
• В математической психологии нарушение IIA изучается в рамках теории перспектив (prospect theory), где показано, что люди часто нарушают это условие при оценке рисков.
• В некоторых избирательных системах, например, в системе «одобрительного голосования» (approval voting), аксиома IIA выполняется частично, так как избиратели могут голосовать за нескольких кандидатов одновременно.

Источники

• Arrow, K. J. (1951). Social Choice and Individual Values. Wiley.
• Sen, A. (1970). Collective Choice and Social Welfare. Holden-Day.
• Tversky, A. (1972). «Elimination by aspects: A theory of choice». Psychological Review, 79(4), 281–299.
• Luce, R. D. (1959). Individual Choice Behavior: A Theoretical Analysis. Wiley.
• Saari, D. G. (2001). Chaotic Elections! A Mathematician Looks at Voting. American Mathematical Society.