Aumann’s_agreement_theorem
でゲーム理論、オーマンの合意定理がある定理ことを実証している合理的な薬との共通の知識お互いの信念のができません同意することに同意します。それは最初で、「同意しないことに同意」と題した1976年の論文で策定されたロバート・オーマン定理がされて誰の後、命名します。
説明
オーマンの合意定理によれば、合理的に（特定の正確な意味で）行動し、互いの信念を共通に知っている2人は、同意しないことに同意することはできません。2人が本物であれば具体的には、ベイジアン合理共通と事前分布、およびそれらのそれぞれが持っている場合は、共通の知識個々の事後確率を、そして彼らの事後は等しくなければなりません。この定理は、人々の個々の事後確率が、世界について観察されたさまざまな情報に基づいている場合でも当てはまります。別のエージェントがいくつかの情報を観察し、それぞれの結論に達したということを単に知っているだけで、それぞれが彼らの信念を修正することを余儀なくされ、最終的に正しい後部について完全に合意することになります。したがって、同じ事前確率を持ち、互いの事後確率を知っている2人の合理的なベイジアンエージェントは同意する必要が
そのような合意に合理的な時間で到達できるかどうか、そして数学的な観点から、これを効率的に行うことができるかどうかという疑問が生じます。スコットアーロンソンは、これが実際に当てはまることを示しました。もちろん、共通の優先順位の仮定はかなり強力なものであり、実際には当てはまらない可能性がしかし、ロビン・ハンソンは、事前確率を生じさせたプロセス（たとえば、遺伝的および環境的影響）について同意するベイジアンは、特定の合理性前の条件を順守する場合、共通の事前確率を持つべきであるという議論を示しました。
同じ問題を別の視点から研究しているZivHellmanの研究論文では、事前情報が一般的でない場合に何が起こるかを考察しています。この論文は、事前の情報がどれほど一般的であるかを測定する方法を示しています。この距離がεの場合、一般的な知識の下では、イベントに関する不一致は常に上からεによって制限されます。εがゼロになると、オーマンの元の合意定理が要約されます。は2013年論文では、ジョゼフ・ハルパーンとWillemienケツは「選手たちは、共通の前があっても、曖昧さの存在に反対することに同意するものとしますが、曖昧さを可能にする異種の事前分布を仮定してより制限的であることができます。」と主張しました
参考文献
^ オーマン、ロバートJ.（1976）。「同意しない」 （PDF）。統計学年報。4（6）：1236–1239。土井：10.1214 / aos / 1176343654。ISSN 0090から5364まで。JSTOR 2958591。
^ アーロンソン、スコット（2005）。合意の複雑さ（PDF）。ACMSTOCの議事録。pp。634–643。土井：10.1145 /1060590.1060686。ISBN
978-1-58113-960-0。
^ ハンソン、ロビン（2006）。「珍しい先例は起源紛争を必要とする」。理論と決定。61（4）：319–328。CiteSeerX 10.1.1.63.4669。土井：10.1007 / s11238-006-9004-4。 ^ ヘルマン、ジブ（2013）。「ほぼ一般的な事前情報」。ゲーム理論の国際ジャーナル。42（2）：399–410。土井：10.1007 / s00182-012-0347-5。
^ ハルパーン、ジョセフ; ウィリーマインケッツ（2013-10-28）。「あいまいな言語とコンセンサス」（PDF）。