(Go: >> BACK << -|- >> HOME <<)

Эпистемическая теория игр: различия между версиями

[отпатрулированная версия][отпатрулированная версия]
Содержимое удалено Содержимое добавлено
 
(не показано 15 промежуточных версий 2 участников)
Строка 1:
'''Эпистемическая теория игр''' ({{lang-en|epistemic game theory}}), иначе называемая '''интерактивной эпистемологией''' ({{lang-en|interactive epistemology}}), формализует допущения о [[Вера (теория игр)|верах]] и [[Знание (теория игр)|знаниях]] игроков относительно [[Теория рационального выбора|рациональности]], поведения оппонентов, их собственных знаний и вер. Эти допущения лежат в основе различных [[Концепция решения|концепций решения]] — правил, в соответствии с которыми прогнозируется поведение игроков и, следовательно, исход игры. Допущения часто описаны на интуитивном уровне, и эпистемический анализ необходим для строгого обоснование использования или неиспользования конкретной концепции. Эпистемический анализ позволяет уточнить интуитивное описание допущений, выявив их несовершенства и неочевидные следствия, обобщить интуиции и очертить границы применимости концепций. Вместе с тем, эпистемическая теория игр не является единственным и исчерпывающим подходом к обоснованию концепций решения, поскольку иногда эпистемические условия чрезмерно сильны.
 
Примером множества элементарных событий могут быть стратегии других участников, которые он не наблюдает. Один из центральных элементов эпистемической теории — [[Иерархия вер|иерархии вер]], с помощью которых формализуются условия [[Рациональность и общая вера в рациональность|рациональности и общей веры в рациональность]]. Иерархия вер представляет собой [[счётное множество]] вер, а именно: веру относительно стратегий других участников, веру относительно их вер и т.д. Один из первых формальных способов построения бесконечной иерархии предложил [[Харсаньи, Джон|Джона Харсаньи]]. Он ввёл [[Структура типов|структуру типов]], которая наделяет каждого из участников множеством возможных состояний (типов). Тип игрока определяется в соответствии с общеизвестным распределением, однако его реализация априори известна только самому обладателю типа, либо неизвестна никому. Тип, в частности, сопоставляет игроку систему вер о стратегиях и типах оппонентов.
 
== Вера и знание ==
В эпистемической теории игр существует два подхода к моделированию вер и знаний. Семантический подход основан на [[Теория множеств|теории множеств]]<ref>Halpern, J. Y. Why Bother With Syntax?</ref>, синтаксический — на [[Модальная логика|модальной логике]].
 
=== Семантическое представление ===
Пусть имеется множество ''состояний''<ref group="комм.">Состояния также называют ''возможными мирами''.</ref> <math>\Omega</math>. Под состоянием понимается исчерпывающее описание актуальных характеристик окружающего мира. Подмножества <math>\Omega</math> называются ''событиями'', и множество всех событий обозначается <math>2^{\Omega}</math>. Имеется индивид, чья информация об окружающем мире ограничена. Чтобы смоделировать эту неопределённость вводится ''оператор возможности'' <math>P: \Omega \rightarrow 2^{\Omega}</math>, сопоставляющий каждому состоянию некоторое подмножество состояний. Находясь в состоянии <math>\omega \in \Omega</math>, индивиду известно лишь то, что он пребывает в подмножестве <math>P(\omega) \subseteq \Omega</math>. Пара <math>(\Omega, P)</math> именуется ''шкалой вер''.
 
Индивид знает о наступлении конкретного события только в случае <math>P\omega \subseteq E</math>. Оператор возможности <math>P</math> обладает двумя свойствами:
Строка 18 ⟶ 20 :
 
== Примечания ==
=== Комментарии ===
{{примечания|group="комм."}}
 
=== Источники ===
{{примечания}}
 
=== Литература ===
* ''De Finetti, Bruno.'' Foresight: Its logical laws, its subjective sources, volume Breakthroughs in Statistics: Foundations and Basic Theory, pages 134{174. Springer-Verlag, 1992.
Строка 28 ⟶ 36 :
{| class="wikitable sortable" style="font-size:95%; text-align:center;"
|-
! style="width:160px200px; background:#ccccffEEEEEE;"| АнглоязычныйРусскоязычный термин
!#
! style="width:160px200px; background:#ccccffEEEEEE;"| РусскоязычныйАнглоязычный термин
! style="width:160px; background:#ccccff;"| Англоязычный термин
|-
| возможный мир || possible world
| || ||
|-
| оператор вер || belief operator
|-
| оператор возможности || possibility correspondence
|-
| событие || event
|-
| состояние || state
|-
| шкала вер || belief frame
|}
 
Строка 38 ⟶ 55 :
 
[[Категория:Теория игр]]
[[Категория:Формальная эпистемология]]