Теорема Ауманна — различия между версиями

Материал из Вики LessWrong.ru
Перейти к: навигация, поиск
м
(Возникновение общего знания о постериорах)
 
(не показаны 3 промежуточные версии 1 участника)
Строка 1: Строка 1:
 +
{{Golden}}
 +
 
'''Теорема Ауманна''' — теорема, определяющая достаточные условия для того, чтобы апостериорные [[Вероятность|вероятности]] двух [[агент]]ов относительного какого-либо события совпадали.
 
'''Теорема Ауманна''' — теорема, определяющая достаточные условия для того, чтобы апостериорные [[Вероятность|вероятности]] двух [[агент]]ов относительного какого-либо события совпадали.
  
Строка 25: Строка 27:
 
Известно по меньшей мере три ситуации, при которых между агентами может возникнуть общее знание о постериорах какого-либо события.
 
Известно по меньшей мере три ситуации, при которых между агентами может возникнуть общее знание о постериорах какого-либо события.
  
* Агенты могут обменяться всей имеющейся у них информацией, тогда они оба изменят свои разбиения на <math>\mathcal P_1 \vee \mathcal P_2</math>, и их постериоры относительно любых событий будут совпадать.
+
* Агенты могут обменяться всей имеющейся у них информацией, тогда они оба изменят свои разбиения на <math>\mathcalP_1\vee\mathcalP_2</math>, и их постериоры относительно любых событий будут совпадать.
* Агенты могут использовать т. н. «стандартный протокол экономистов»:
+
* В некоторых особо удачных (с точки зрения выбора разбиений и события <math>A</math>) постериоры обоих агентов будут постоянны всюду на <math>P</math>. В этом случае агенты, пронаблюдав каждый только <math>\mathbf P_1(\omega)</math> и <math>\mathbf P_2(\omega)</math> соответственно, будут автоматически обладать общим знанием о постериорах друг друга.
 +
* Агенты могут неявным образом обмениваться информацией, чтобы сузить изначально широкое общее знание до более узкого, используя событие <math>A</math> в качестве опорного (причем обмен информацией возможен до тех пор, пока постериоры агентов не будут совпадать). Для этого можно использовать т. н. «стандартный протокол экономистов»:
 
** вначале первый агент сообщает второму свои текущие постериоры;
 
** вначале первый агент сообщает второму свои текущие постериоры;
 
** затем второй (пользуясь знанием разбиения первого) убирает из рассмотрения все элементы <math>\mathcal P_1</math>, где постериоры отличались бы от названного числа, и на оставшемся множестве вычисляет свои постериоры, которые сообщает первому;
 
** затем второй (пользуясь знанием разбиения первого) убирает из рассмотрения все элементы <math>\mathcal P_1</math>, где постериоры отличались бы от названного числа, и на оставшемся множестве вычисляет свои постериоры, которые сообщает первому;
 
** первый, зная, какие элементы из <math>\mathcal P_1</math> выкинул второй, и на каких из оставшихся элементах <math>\mathcal P_2</math> постеориоры второго отличались бы от названного числа, выкидывает их из рассмотрения; на оставшемся множестве вычисляет свои новые постериоры и сообщает их второму;
 
** первый, зная, какие элементы из <math>\mathcal P_1</math> выкинул второй, и на каких из оставшихся элементах <math>\mathcal P_2</math> постеориоры второго отличались бы от названного числа, выкидывает их из рассмотрения; на оставшемся множестве вычисляет свои новые постериоры и сообщает их второму;
 
** процесс повторяется до тех пор, пока не сойдется (показано, что для разбиений с конечным числом элементов это всегда произойдет); в этот момент постериоры обоих агентов станут общим знанием, и по теореме Ауманна будут совпадать.
 
** процесс повторяется до тех пор, пока не сойдется (показано, что для разбиений с конечным числом элементов это всегда произойдет); в этот момент постериоры обоих агентов станут общим знанием, и по теореме Ауманна будут совпадать.
* В некоторых особо удачных (с точки зрения выбора разбиений и события <math>A</math>) постериоры обоих агентов будут постоянны всюду на <math>P</math>. В этом случае агенты, пронаблюдав каждый только <math>\mathbf P_1(\omega)</math> и <math>\mathbf P_2(\omega)</math> соответственно, будут автоматически обладать общим знанием о постериорах друг друга.
 
  
 
== Распространенные заблуждения о теореме Ауманна ==
 
== Распространенные заблуждения о теореме Ауманна ==
Строка 40: Строка 42:
 
Т. н. «[[Игра Ауманна о согласии|Игра Ауманна]]» не описывается теоремой Ауманна, так как в ней не выполняется ни одно из ключевых условий теоремы — приоры игроков не совпадают; отсутствует знание приоров других игроков; существует не одно событие, а несколько (по числу игроков); отсутствует общее знание о том, что игроки являются идеальными рационалистами; не используется «стандартный протокол экономистов» (каждый игрок называет постериоры своего события, а не одного общего).
 
Т. н. «[[Игра Ауманна о согласии|Игра Ауманна]]» не описывается теоремой Ауманна, так как в ней не выполняется ни одно из ключевых условий теоремы — приоры игроков не совпадают; отсутствует знание приоров других игроков; существует не одно событие, а несколько (по числу игроков); отсутствует общее знание о том, что игроки являются идеальными рационалистами; не используется «стандартный протокол экономистов» (каждый игрок называет постериоры своего события, а не одного общего).
  
== Статьи на тему ==
+
== Статьи по теме ==
 
* [https://projecteuclid.org/download/pdf_1/euclid.aos/1176343654 Agreeing to disagree] — оригинальная статья Роберта Ауманна
 
* [https://projecteuclid.org/download/pdf_1/euclid.aos/1176343654 Agreeing to disagree] — оригинальная статья Роберта Ауманна
 
* [https://brights-russia.org/article/common-knowledge-and-aumanns-theorem.html Общее знание и теорема Ауманна] — статья Скотта Ааронсона
 
* [https://brights-russia.org/article/common-knowledge-and-aumanns-theorem.html Общее знание и теорема Ауманна] — статья Скотта Ааронсона

Текущая версия на 09:02, 6 сентября 2024


Теорема Ауманна — теорема, определяющая достаточные условия для того, чтобы апостериорные вероятности двух агентов относительного какого-либо события совпадали.

Теорема утверждает, что если между двумя агентами являются общим знанием их априорные вероятности; разбиения на множестве миров, соответствующие их постериорам; тот факт, что они оба являются идеальными рационалистами; а также постериоры некоторого события A, то эти постериоры будут совпадать.

Общее знание[править]

По определению, между двумя и более агентами существует общее знание о некотором факте, если все они знают об этом факте; а также знают, что все знают об этом факте; а также все знают, что все знают, что все знают об этом факте, и так далее до бесконечности.

Если на пространстве миров Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \Omega} для первого агента задано разбиение «какие миры он может отличать от других» Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \mathcal{P}_1} , а для второго Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \mathcal{P}_2} (и при заданном реальном мире Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \omega} первый агент обладает знанием Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \mathbf P_1(\omega) \in \mathcal P_1} , а второй Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \mathbf P_2(\omega) \in \mathcal P_2} , то общее знание двух агентов определяется как элемент наилучшего общего огрубления этих двух разбиений, содержащих мир Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \omega} (обозначим его Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle P \in \mathcal P_1 \wedge \mathcal P_2} ). Допустимо также считать все надмножества Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle P} общим знанием, хотя обычно рассматривается наименьшее по включению множество. При этом агенты обязаны иметь «общее знание в неформальном смысле» о разбиениях друг друга (оба агента знают, что для первого задано разбиение Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \mathcal P_1} , а для второго Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \mathcal P_2} ; и они знают, что оба это знают и т. д.).

Априорная и апостериорная вероятность[править]

Пусть задано вероятностное пространство Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \{ \Omega, \mathcal B, p \}} . Тогда априорная вероятность события Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle A} для обоих агентов равна мере этого события Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle p(A)} .

Апостериорная вероятность (вероятность при условии известной агентам информации — Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \mathbf P_1(\omega)} и Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \mathbf P_2(\omega)} соответственно) определяется по формулам Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle q_1 = \frac{ p( A \cap \mathbf P_1) }{ p( \mathbf P_1 ) }} и Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle q_2 = \frac{ p( A \cap \mathbf P_2) }{ p( \mathbf P_2 ) }} .

Постериоры первого агента Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle q_1} будут являться общим знанием между обоими агентами, если всюду на Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle P \in \mathcal P_1 \wedge \mathcal P_2} эти постериоры будут одинаковы, то есть Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \forall i : P_1^i \subseteq P \Rightarrow \frac{ p( A \cap P_1^i ) }{ p( P_1^i ) } = q_1} .

Формулировка и доказательство теоремы[править]

Пусть задано вероятностное пространство Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \{ \Omega, \mathcal B, p \}} , есть два агента с разбиениями Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \mathcal P_1} и Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \mathcal P_2} , зафиксирован реальным мир Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \omega} . Пусть событие Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle A} таково, что между двумя агентами есть общее знание о том, что постериоры первого равны Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle q_1} , а постериоры второго равны Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle q_2} . Тогда Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle q_1 = q_2} .

Доказательство. Пусть Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle P \in \mathcal P_1 \wedge \mathcal P_2}  — общее знание между Алисой и Бобом. При этом Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle P = \bigcup_{i} P_1^i} , где Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle P_1^i \in \mathcal P_1} . Как было показано, «является общим знанием, что постериоры Алисы равны Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle q_1} » означает, что для всех Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle P_1^i} выполняется Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \frac{ p( A \cap P_1^i ) }{ p( P_1^i ) } = q_1} . Значит, Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle p( A \cap P_1^i ) = q_1 \cdot p( P_1^i )} для всех Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle i} . Суммируя по всему Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle P} , получаем: Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle p( A \cap P ) = q_1 \cdot p( P )} . Рассмотрев аналогичным образом общее знание о постериорах второго агента, получаем Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle p( A \cap P ) = q_2 \cdot p( P )} . Но тогда Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle q_1 = q_2} . Что и требовалось доказать.

Возникновение общего знания о постериорах[править]

Известно по меньшей мере три ситуации, при которых между агентами может возникнуть общее знание о постериорах какого-либо события.

  • Агенты могут обменяться всей имеющейся у них информацией, тогда они оба изменят свои разбиения на Невозможно разобрать выражение (неизвестная функция «\mathcalP»): {\displaystyle \mathcalP_1\vee\mathcalP_2} , и их постериоры относительно любых событий будут совпадать.
  • В некоторых особо удачных (с точки зрения выбора разбиений и события Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle A} ) постериоры обоих агентов будут постоянны всюду на Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle P} . В этом случае агенты, пронаблюдав каждый только Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \mathbf P_1(\omega)} и Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \mathbf P_2(\omega)} соответственно, будут автоматически обладать общим знанием о постериорах друг друга.
  • Агенты могут неявным образом обмениваться информацией, чтобы сузить изначально широкое общее знание до более узкого, используя событие Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle A} в качестве опорного (причем обмен информацией возможен до тех пор, пока постериоры агентов не будут совпадать). Для этого можно использовать т. н. «стандартный протокол экономистов»:
    • вначале первый агент сообщает второму свои текущие постериоры;
    • затем второй (пользуясь знанием разбиения первого) убирает из рассмотрения все элементы Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \mathcal P_1} , где постериоры отличались бы от названного числа, и на оставшемся множестве вычисляет свои постериоры, которые сообщает первому;
    • первый, зная, какие элементы из Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \mathcal P_1} выкинул второй, и на каких из оставшихся элементах Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \mathcal P_2} постеориоры второго отличались бы от названного числа, выкидывает их из рассмотрения; на оставшемся множестве вычисляет свои новые постериоры и сообщает их второму;
    • процесс повторяется до тех пор, пока не сойдется (показано, что для разбиений с конечным числом элементов это всегда произойдет); в этот момент постериоры обоих агентов станут общим знанием, и по теореме Ауманна будут совпадать.

Распространенные заблуждения о теореме Ауманна[править]

Широко известная формулировка «рационалисты не могут согласиться не соглашаться» на самом деле является загадочной (сноска: в том же смысле, как «загадочные ответы» — она дает почти ноль информации о сути теоремы).

Формулировка «если два человека не соглашаются, то по крайней мере один из них не прав» также относится не к самой теореме, а к одному из самых элементарных условий, лежащих в ее основе — существованию объективной реальности, общей для обоих агентов (его можно сформулировать так: «пусть задано вероятностное пространство Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \{ \Omega, \mathcal B, p \}} , причем для обоих агентов оно совпадает»).

Т. н. «Игра Ауманна» не описывается теоремой Ауманна, так как в ней не выполняется ни одно из ключевых условий теоремы — приоры игроков не совпадают; отсутствует знание приоров других игроков; существует не одно событие, а несколько (по числу игроков); отсутствует общее знание о том, что игроки являются идеальными рационалистами; не используется «стандартный протокол экономистов» (каждый игрок называет постериоры своего события, а не одного общего).

Статьи по теме[править]

См. также[править]