Индивидуальные предпочтения и индивидуальный выбор.
Два предположения, на которых базируется дальнейшая теория: методологического индивидуализма и целесообразности действий.
1. Экономические или социально-политические процессы и их исходы можно понимать в терминах индивидуальных предпочтений и выборов. Только люди (индивидуумы) могут предпочитать, разделять или отвергать цели, принимать решения, обучаться и т.п.. В конечном итоге любая групповая акция опирается на индивидуальные предпочтения и действия людей.
2. Целесообразность действий заключается в том, что теория игр не рассматривает никаких социальных аспектов поведения людей. Не рассматривается зависимость поведения игрока от его социальной принадлежности, образования, пола или уровня доходов. Поведение игрока в понимании теории игр определяется целесообразностью.
Термины «рациональный игрок», «рациональное решение», «рациональный выбор» обычно употребляется для подытоживания предположения о целесообразности. Целесообразность не означает, вообще говоря, что игроки тщательно и осознанно перечисляют все свои альтернативные действия, выявляют все вероятные и просто возможные последствия этих действий, оценивают вероятность каждого последствия и в точности распределяют свои предпочтения на множестве всех возможных последствий. Привычки, инстинкты, простые правила и эвристики, помогающие упростить принятие сложных решений, не игнорируются.. Теория игр предполагает, что при построении модели игровой ситуации уже учтены все чисто человеческие черты игроков, и на долю идеализированных игроков осталась лишь задача рационального выбора, например: выбрать действие, приводящее к достижению максимального гарантированного дохода.
Некоторые фундаментальные понятия и определения
Рассмотрим три базовые концепции: действия, исходы и состояние природы. Под действием будем понимать решение или выбор из некоторого числа альтернатив, который игрок делает в некотором специфическом контексте, и это именно то, что мы стараемся предсказать. Предположение о целесообразности означает, что действие игрока ориентировано на достижение определенного исхода или/и во избежание определенного исхода. Таким образом, между действием и исходом существует определенная причинно-следственная связь. Связь эта, однако, не прямая, а опосредованная (иначе мы не имели бы игровой ситуации). А именно, необходимо ввести еще концепцию состояния природы, под которым понимаются такие внешние условия, при которых исход “И” достигается посредством действия “Д”.
Действия
Пусть aj обозначает одно из действий игрока (альтернативу с номером j), а A - множество всех допустимых действий: A={a1, a2, a3,...,aj,...}.
Предположим теперь, что игрок может выбирать одно и только одно действие из списка А. Тогда множество А является исчерпывающим или полным: в нем перечислены все возможности и одна из них должна быть реализована, а элементы множества А являются взаимоисключающими: игрок не может выбрать более одного действия. Когда, например, мы моделируем процесс голосования и изучаем вопрос, почему человек принимает (не принимает) участие в голосовании, мы используем множество А, состоящее только из двух элементов: A={a1 - голосовать, a2 - не голосовать}. Даже на таком примитивном уровне описания множество А является полным и взаимоисключающим. Любой избиратель вынужден осуществить одно из действий и не в состоянии осуществить оба сразу.
Исходы
Под целью можно понимать исход - объект, к которому стремится игрок. Обозначая исходы R={r1, r2, ..., rk,...}, на них налагаются те же ограничения, что и на действия. Множество R должно быть полным, а его элементы взаимоисключающими.
Анализируя результаты парламентских выборов при двухпартийной системе, мы можем сформировать следующее множество исходов: R={r1: победила партия 1, r2: победила партия 2, r3: ни одной из партий победить не удалось}. Однако, если нас интересует не только факт победы, но и счет, то элемент множества исходов в общем виде будет выглядеть как “партия 1 набрала v1 голосов, а партия 2 набрала v2”. Если мы станем перечислять все подобные исходы (перебирая все мыслимые комбинации v1 и v2), то число их окажется очень большим, хотя все еще конечным. Но если мы рассматриваем игру, в которой игроки вносят некоторые суммы в кассу своей партии, и размер взносов ничем не ограничен, то число исходов становится просто бесконечным.
Бесконечные и несчетные множества (в частности интервалы значений действительных чисел) имеют простую геометрическую интерпретацию и позволяют привлекать нашу геометрическую интуицию для интерпретации результатов.
Пример: партийный казначей для проведения предвыборной кампании распределяет фиксированную сумму денег, скажем Х, между тремя кандидатами.
Рисунок 1 Бюджетный симплекс |
Все мыслимые способы дележа представлены на рисунке 1 точками, составляющими треугольник, называемый бюджетным симплексом.
Бюджетный симплекс - ограниченное и замкнутое множество.
Кроме того, оно выпуклое.
Выпуклым множеством называется такое, что если выбрать любые две точки, принадлежащие этому множеству и соединить их отрезком прямой, то весь отрезок тоже будет принадлежать множеству. Свойство выпуклости вполне понятно из следующих трех примеров:
| 
| 
|
| а) выпуклое множество | б) строго выпуклое множество | в) невыпуклое множество: точка А находится вне его. |
Итак, бюджетный симплекс - ограниченное, замкнутое и выпуклое множество.
Состояние природы (среды)
Введение понятия альтернатив и исходов недостаточно для полного описания процесса принятия решений. Дело в том, что неясно как действия (альтернативы) связаны с исходами. Связь между действиями и исходами обеспечивается “состоянием природы”.
S = {s1, s2, ...,si, ...}
Пример: Выборы между двумя кандидатами. Альтернативы: за, против, воздержался.
Связь между действиями и исходами, опосредованная состояниями природы представлена в следующей таблице:
| s1 | s2 | s3 | s4 | s5 | |
| a1: голос за 1 | r2: побеждает 2 | r3: ничья | r1: побеждает 1 | r1: побеждает 1 | r1: побеждает 1 |
| a2: голос за 2 | r2: побеждает 2 | r2: побеждает 2 | r2: побеждает 2 | r3: ничья | r1: побеждает 1 |
| a3: воздержался | r2: побеждает 2 | r2: побеждает 2 | r3: ничья | r1: побеждает 1 | r1: побеждает 1 |
Если превалирует ситуация s1 или s5, то от конкретного голосующего гражданина ничего не зависит: он может голосовать как угодно. Если же, однако, превалирует ситуация s3, т.е. голоса распределяются между кандидатами примерно поровну, то голос гражданина становится решающим: от него напрямую зависит исход.
Таким образом, информация о превалирующем состоянии среды оказывается чрезвычайно важной при выборе действия. Качество же этой информации может варьировать от полной определенности до полного отсутствия таковой. Простейшим случаем является принятие решения в условиях определенности, т.е. в ситуации, когда заведомо известно, к какому исходу приведет то или иное действие. Более сложным случаем является принятие решений в условиях риска. При отсутствии точной информации о состоянии природы осмысленность выбору может придать лишь приблизительная информация, а именно, в этом случае предполагается, что игрок может хотя бы оценивать вероятность того, что то или иное состояние природы окажется превалирующим.
В случае полной информации принятие решений не составляет труда. Если имеется хорошо определенный порядок предпочтений на множестве исходов, то следует просто выбрать действие, приводящее к наиболее предпочтительному исходу.
Предпочтения
Слабое и сильное предпочтения. Будем писать 
, если исход r1 для игрока i по крайней мере не хуже чем r2. (слабое предпочтение)
Предположение 1 (полнота): Для любых двух исходов 
либо либо 
.
Предположение 2 (транзитивность): Для любых трех исходов 
если и 
, то 
.
Индифферентность: исходы r1 и r2 одинаково предпочтительны 
, если и одновременно.
Строгое (сильное) предпочтение означает наличие слабого предпочтения при отсутствии индифферентности: 
.
Предположения о полноте (1) и транзитивности (2) не так просты и очевидны, как может показаться на первый взгляд.
Предположим, вы очень любите классическую музыку. Что вы предпочитаете: взбитые сливки с шоколадом или прелюдию Баха?
Предположим, я предпочитаю чай без сахара, но не могу отличить разницу в сладости, если она составляет одну крупинку сахара на стакан. Тогда получается следующее (цифры будут обозначать число крупинок сахара): 
.
Но при достаточно большом числе n я безусловно отличу сладкий чай от несладкого. Так что транзитивности здесь нет. Благодаря таким примерам часто рассматривается альтернативное предположение, согласно которому только строгое предпочтение считается транзитивным.
Функция полезности
Отношения индифферентности, слабого и сильного предпочтения, рассмотренные выше, удобны для конечных множеств. Но для бесконечных множеств, таких как бюджетный симплекс, они становятся неудобными. В то же время, очевидна близость этих отношений к математическим отношениям {=, ≥, >}, выражающим отношения между числами. Хорошо бы использовать эти математические отношения для выражения отношения предпочтения между альтернативами или исходами. Для этого можно ввести функцию, которая ставила бы в соответствие каждому исходу некоторое действительное число, причем так, что более предпочтительному исходу соответствовало бы большее число.
Такая функция называется функцией полезности (она вводится неоднозначно!). Функция полезности u(r) определена на множестве исходов R и удовлетворяет следующему условию:
для любых u(r1)>u(r2) тогда и только тогда, когда 
.
Пример: бюджетный симплекс. Исходом в данном случае является тройка r=(x1, x2, x3), соответствующая дележу денег между тремя кандидатами. Определим функции полезности для каждого из кандидатов следующим образом:
Тогда для игрока 1 исход r предпочтительнее 
, если 
.
Векторные исходы.
В реальной жизни исходы часто бывают многоплановыми, так что оценки лучше - хуже, более или менее предпочтительный оказываются к ним трудно применимыми. Пусть, например, Государственная Дума принимает некоторый бюджетообразующий закон, в котором фиксируется распределение денег по нескольким позициям. Общественность может благосклонно принять решение по одной позиции, но подвергнуть резкой критике решение по другой. Можно, разумеется, каким-то образом усреднить оценку законопроекта, пренебрегая возникающим при этом произволом (стандартного способа усреднения не существует), но можно поступить и по другому, рассматривая исход как вектор, состоящий из нескольких компонент - частичных исходов.
Пример: Варианты финансирования оборонных и социальных программ. Пусть в парламенте рассматривается вопрос о распределении бюджетных средств между министерством обороны и министерством социального обеспечения. Пусть х1 – количество средств выделяемых на военные нужды, а х2 – на социальные нужды. И пусть предельное количество средств , выделяемых по обеим статьям, не может превышать величины Х. То есть:
(1.1) 
Естественными функциями полезности будут для министерства обороны – х1, а для министерства социального обеспечения – х2. Рассмотрим в рамках этих предположений несколько альтернативных исходов. На рисунке ниже граница бюджетного симплекса представлена линией 
. Допустимыми с точки зрения (1.1) исходами являются все точки, содержащиеся в треугольнике, образованном осями х1, х2 и границей бюджетного симплекса.
Рассмотрим пару исходов r1 и r2. С учетом функций полезности исходы индифферентны с точки зрения министерства социального обеспечения. Однако с точки зрения министерства обороны исход r2 явно предпочтительнее.
Рисунок2. Векторные исходы.
Математически этот факт можно выразить следующим образом: 
. Аналогично: 
. Исход r4 предпочтительнее, чем r1 для обоих игроков: 
. В подобных случаях говорят, что исходы r2 и r3 доминируют по Парето исход r1, а исход r4 доминирует по Парето все выше перечисленные исходы. Если мы рассмотрим исход r5, находящийся на границе симплекса, то обнаружим, что найти доминирующий его исход невозможно. Действительно, мы находили доминирующие для r1 исходы, двигаясь от этой точки либо вверх (r3), либо вправо (r2), либо в северо-восточном направлении (r4). Ни одно из подобных движений в точке r5 невозможно. Точки, подобные r5, называются оптимальными по Парето.
Формальное определение состоит в следующем.
Исход r доминирует по Парето исход q, если
Исход r называется оптимальным по Парето (Парето - оптимальным), если он не доминируем по Парето.
Разумеется, рациональные игроки не должны стремиться ни к каким иным исходам, кроме Парето - оптимальных. Проблема заключается в том, что Парето -оптимальных исходов много. В нашем примере их несчетное число: каждая точка прямой является Парето - оптимальной. Парламент должен выбрать одну из этих точек. Парламент – это орган коллективного принятия решений. Ситуация, когда игрок является не индивидуумом, а группой лиц, вполне стандартна для теории игр. Например, если игрок фирма, то решения принимает совет директоров. Если игрок – партия, то решения принимает партийный съезд. Среди членов Парламента, несомненно, будут депутаты, лоббирующие интересы военного ведомства, но будут и такие, которые будут активно поддерживать финансирование социальных программ. Налицо конфликт интересов. Какое решение будет оптимальным с точки зрения коллектива? Существует ли универсальный алгоритм, позволяющий учесть все индивидуальные предпочтения членов органа, принимающего решения, и вынести справедливое коллективное решение?