Re: [推理] 關於綠眼睛邏輯問題

作者: arthurduh1 (arthurduh1)   2018-11-07 17:10:05
※ 引述《e1q3z9c7 (午仁)》之銘言:
: 1. 如果只有一個綠眼睛的人,則他不知道這件事,所以不算任何知識
: 2. 如果有兩個綠眼睛的人,則雙方知道這件事,但彼此不知道對方是否知道,因此是共同知識
: 3. 如果有三個綠眼睛的人,則不僅三個人都知道這件事,且每個人都知道另外兩個人知道
: 同時還知道另外兩個人知道自己知道,則理應成為公共知識
令 "我們之中至少有一個綠眼睛" 為 K,
以下都是以 K 這件事尚未成為公共知識當作前提.
假設這三個人叫 A, B, C.
1) A 知道 K:
因為 A 可以看到 B 的眼睛. 同理 B, C 也都知道.
2) B 知道 A 知道 K:
因為 B 知道 A 看得到 C 的眼睛.
3) C 不知道 B 知道 A 知道 K:
因為 C 不知道自己是否為綠眼,
而他設身處地在 B 的視角時, 心中那個 B 也不會知道自己 (B) 的眼睛顏色.
從而 C 無法得知那個 B 心中的 A 所看到的 B 與 C 有沒有綠色眼睛.
特別留意此處無法排除的可能性是來自於
"C 假設自己不是綠眼 & 心中的 B 也假設自己不是綠眼".
之後那段還會遇到相同情境.
結論是光靠 A, B, C 三人, K 不足以構成公共知識.
作者: e1q3z9c7 (午仁)   2018-11-07 18:18:00
我懂了,這細究真的蠻深奧的是否每多一人,就會在多一層的認知上產生落差?如果4個綠眼的話 因為有D C應該就能知道A知道B知道K但也可以類推D不知道A知道B知道C知道K 我不確定對不對

Links booklink

Contact Us: admin [ a t ] ucptt.com