b***e
发帖数: 1419 | 1 这类题在逻辑里叫做modal logic。搞AI的哥们应该是高手。
在通常研究的数理逻辑里，我们一般有如下statement:
p命题是真的，
q命题是假的。
也就是说所有的命题的真假都是在一个universal reference
下来讨论的。
而在modal logic里，我们则可以有如下更复杂的statement:
A认为p命题是真的，
B认为C认为q命题是假的。
也就是说，命题的真假不再是绝对的，而是相对于不同的
reference.
以前在AI的课上学过一些modal logic。很感兴趣，但是也颇
感到学起来费劲，一会儿就绕晕了。
市面上常见的一些难题，很多都是基于modal logic。比较著名
的有这里提到的海盗分金问题，孙庞斗智，女权岛处死奸夫问题，
二人猜数问题。还有值得一提的是那个拜占庭将军问题，其实也
和modal logic有关。 | j***y
发帖数: 2074 | 2 copied from another bbs.
海盗分金问题--经典智力题推而广之
豆寇二十八好年华
海盗分金问题--经典智力题推而广之
idear
这是个纯粹的"数学游戏",在现实世界里是不会发生的,
因为它没有包含人的感情因素.例如,1号海盗救过俺的小命,
就算不给俺分啥,俺也不哭.
海盗分金问题--经典智力题推而广之
·eigolomoh(异调)·
（本帖改编自«科学美国人»杂志中IanStewart的«凶猛海盗的逻辑&ra
quo;）
海盗，大家听说过吧。这是一帮亡命之徒，在海上抢人钱财，夺人性
命，干的是刀头上舔血的营生。在我们的印象中，他们一般都瞎一只
眼，用条黑布或者讲究点的用个黑皮眼罩把坏眼遮上。他们还有在地
下埋宝的好习惯，而且总要画上一张藏宝图，以方便后人掘取。不过
大家是否知道，他们是世界上最民主的团体。参加海盗的都是桀骜不
驯的汉子，是不愿听人命令的，船上平时一切事都由投票解决。船长
的唯一特权，是有自己的一套餐具--可是在他不用时，其他海盗是
可以借来用的。船上的唯一惩罚，就是被丢到海里去喂鱼。
现在船上有若干个海盗，要分 | H****h
发帖数: 1037 | 3 这个题目其实并不难，关键是毅力与恒心，否则很容易犯错误的。
以下是我在这个BBS上找到的一篇转载自新浪网的帖子。
也许就是你想要的解答。我对文章的正确性不负责。
标 题: [转载] 给出标准答案----海盗分金子
发信站: The unknown SPACE (Tue Jul 25 01:28:54 2000), 转信
【 以下文字转载自 single 讨论区 】
【 原文由 centaur 所发表 】
数学的逻辑有时会导致看来十分怪异的结论。一般的规则是，如果逻
辑推理没有漏洞，
那么结论就必定站得住脚，即使它与你的直觉矛盾。 1998年9月，加
利福尼亚州帕洛阿
尔托的Stephen M. Omohundro寄给我一道难题，它恰好就属于这一类
。这难题已经流传
了至少十年，但是Omohundro对它作了改动，使它的逻辑问题变得分
外复杂了。
先来看看此难题原先的形状。10名海盗抢得了窖藏的100块金子，并
打算瓜分这些战利
品。这是一些讲民主的海盗（当然是他们自己特有的民主），他们的
习惯是按下面的方
式进行分配：最厉害的一名海盗提出分配方案，然后所有的海盗（包
括提出方案者本 |
|
