قضیهٔ توافقِ اومن نشان میدهد عاملانِ بیزیِ آرمانی با پیشینِ مشترک، وقتی باورهای پسینشان «دانشِ مشترک» شود، نمیتوانند بر اختلاف توافق کنند.
1مسئلهای که حل میکند
اختلافِ پایدار عادی به نظر میرسد، اما قضیه نشان میدهد چه مقدار عدمتقارنِ پنهان لازم دارد. اگر دو عاملِ کاملاً بیزی از یک پیشین شروع کنند و هر کدام پسینِ دیگری را بداند و بداند که دیگری میداند و الی آخر، پسینها باید برابر شوند. پس اختلافِ واقعی نشانهٔ شکستِ دستکم یکی از شرایطِ آرمانی است.
2ایدهٔ اصلی
دو عاملِ عقلانی با احتمالاتِ پیشینِ مشترک، که هر یک احتمالِ پسینِ دیگری را میداند، نمیتوانند بر سرِ اختلاف توافق کنند. اختلافِ پایدار میان آنها صوراً ناممکن است.
3خاستگاه و زمینه
رابرت اومن قضیه را در ۱۹۷۶ اثبات کرد. نتیجهای در معرفتشناسیِ تعاملی است و به پیشینهای مشترک، شرطیسازیِ بیزی و دانشِ مشترک تکیه دارد. اهمیتِ عملیاش این نیست که انسانها شرایط را دارند، بلکه اینکه قضیه چکلیستی برای فهمِ علتِ نداشتنشان میدهد.
4مثالِ کلاسیک
صوراً اثبات شده و تقریباً هرگز مشاهده نشده. یعنی در هر اختلافِ واقعی دستکم یکی از شرطها برقرار نیست.
5اعتراضها و پاسخها
اعتراض. فرضِ پیشینِ مشترک غیرواقعی است و شاید تمامِ اختلاف را در خود پنهان کند.
پاسخ. بله. پیشینهای متفاوت یکی از مسیرهای روشنِ اختلافِ پایدارند. آنگاه قضیه ابزارِ تشخیص میشود: بپرسید گره در پیشین، شاهدِ خصوصی، بهروزرسانیِ غیربیزی یا نبودِ دانشِ مشترک است، نه اینکه اختلاف را واقعیتی اولیه بدانید.
اعتراض. انسانها نمیتوانند دانشِ مشترکِ بازگشتی و نامتناهی از پسینِ هم بسازند.
پاسخ. درست است. ارتباطِ محدود و رفتارِ راهبردی آرمانسازی را میشکند. باز هم قضیه بیشتر بهعنوان خطِ مبنا مفید است که نشان میدهد برای دوامِ اختلاف چه اصطکاکِ اطلاعاتی یا عقلانیتی باید حاضر باشد.
6با اینها اشتباه نگیرید
دانشِ مشترک و اطلاعاتِ مشترک
ممکن است همه واقعیتی را بدانند بیآنکه همه بدانند که همه میدانند و الی آخر. دانشِ مشترک شرطی بسیار قویتر و بازگشتی است.
اومن و میانگینگیری
قضیه نمیگوید دو نفر باید احتمالها را میانگین بگیرند. تحتِ فرضها، پسینهای کاملاً بهاشتراکگذاشتهشده با ورودِ بازگشتیِ اطلاعات همگرا میشوند.
7خطاهای رایج
- استفاده از اومن برای غیرعقلانی نامیدنِ اختلافِ واقعی بدون بررسیِ پیشینِ مشترک و دانشِ مشترک.
- شفاف دانستنِ پسینِ اعلامشده در حالی که انگیزهٔ راهبردی میتواند مردم را به گزارشِ نادرستِ باور وادارد.
8در کارِ شما
مسئله را دقیق مکانیابی میکند. اختلافِ پایدار یا دربارهٔ پیشینهاست یا دربارهٔ اطلاعات — هرگز دربارهٔ اینکه «ما فقط جور دیگری میبینیم»، که اصلاً تبیینِ در دسترسی نیست.
9خودآزمایی
دو تحلیلگرِ بیزی پسینِ اعلامیِ هم را میدانند اما همچنان اختلاف دارند. قضیه به شما میگوید بهجای اینکه یکی را فوراً غیرعقلانی بنامید دنبال چه بگردید؟
نمایش پاسخ
فرضِ شکسته: پیشینهای متفاوت، اطلاعاتِ خصوصیِ آشکارنشده، نبودِ دانشِ مشترک، مدلهای متفاوت، بهروزرسانیِ غیربیزی یا گزارشِ راهبردی. اختلافِ پایدار وجودِ یک گُوِ پنهان را تشخیص میدهد.