作者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