作者ksmrt0123 (ksmrt)
看板logic
標題Re: [討論] 第幾天有幾個人會殺了幾個的問題
時間Tue Mar 10 01:03:24 2009
這題是說明 common knowledge 常見的範例.
在遊客沒對所有土著說出[有人眼睛是藍色的]這句話前,
所有土著的確應該都已知道這件事,
但他們不能夠確定的是, 所有其他土著是否也都知道這件事,
這種情況可稱[有人眼睛是藍色的]是土著群的
mutual knowledge --- 每人都知道但不確定別人是否都知道
遊客說話後情況改變了, 這時所有土著可確定其他土著也
都知道這件事了, 這件事就變成土著群的
common knowledge了
--- 每人都知道且知道所有其他人也都知道
基於此 common knowledge 後續的邏輯推論與行動才能開始,
這就是遊客說了才有事的原因
更多 Common knowledge 之說明請參考:
http://en.wikipedia.org/wiki/Common_knowledge_(logic)
http://plato.stanford.edu/entries/common-knowledge/
※ 引述《asdinap (asdinap)》之銘言：
: 對於推文中
: t大說到[遊客沒說就沒事.但說了就會有事]
: 我的問題正是想問為何遊客說了就會有事 有沒遊客說該話 差在哪裡
: c大說到[遊客公開的時候是讓彼此知道對方有這個知識]
: 但因為題中50人都藍眼 所以除了大家早知[他們有人是藍眼]
: 且每人應也知{其他人也已知[他們有人是藍眼]}
: (大家都知道大家都看得到藍眼人)
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 219.68.71.218
1F：→ ksmrt0123:謝謝板主錯愛.. 不過我建議m MathTurtle那篇才對 03/11 02:17
2F：→ ksmrt0123:這篇對 common knowledge的說明那段並不正確 03/11 02:18
3F：→ ksmrt0123:就是MathTurtle 特別說明的那段 03/11 02:19
4F：→ ksmrt0123:應該 m MathTurtle 那篇就夠了 03/11 02:20
5F：→ ksmrt0123:感謝板主與MathTurtle大師 03/11 02:20