作者micklin (离乡背井的米克)
看板logic
标题Re: [请益] 谁说真话
时间Mon Sep 22 01:19:28 2008
※ 引述《rounders (望仔)》之铭言：
: ※ 引述《jayfrog (若要人不宅 除非己莫宅)》之铭言：
: : 假设有三个长个一模一样的机器人，每个机器人必须投下金币後才可以问问题，而问完一
: : 个问题後，则必须再投入新的金币，才能再次的启动。这三个机器人分别如下：
: : 1.诚者: 对你所说的问题，都会回答正确的答案
: : 2.骗子：对你所说的问题，都会回答错误的答案
: : 3.墙头草：如果你问的问题，诚者或骗子其中一个回答是，他的答案就是是
: : 举个例子：
: : 诚者：是 骗子：是 墙头草：是
: : 诚者：是 骗子：否 墙头草：是
: : 诚者：否 骗子：是 墙头草：是
: : 诚者：否 骗子：否 墙头草：否
: : 用逻辑符号来说 他的回答方式就是 "诚者ˇ骗子"
: : 再举个例子：
: : 你问墙头草:1+1=2 他会说是(因为诚者会回答是)
: : 1+1=3 他也会说是(因为骗子会回答是)
: : 而你身上只有三个金币，你要问什麽才能分辨出谁是谁呢？
: : 对了，忘了说。他们的回答方式是用举手的，换言之，他们只会说"是"或"否"。
: : 什麽意思呢？如果你问其中一个机器人说：1+1=2，对不对？
: : 他会举起右手，但我们不知道右手所指的意思是"是" 还是"否"
: : 当然三个机器人的是和否都是同边的
: : ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
: : 其实我很怕 我题目说的很不清楚
: 假设3台机器为A、B、C
: O：诚者 X：骗子 I：墙头草 R：右手 L：左手
: !)问B：如果我问你是不是骗子，你会举右手?
这算是一个问题吗?
这种问题应该会被机器人反问「所以你的问题是『要问我是不是骗子』吗?」....
然後你的金币就被吃掉了.
不然就是机器人一直在等你问「你是不是骗子」, 然後呆呆的等你,
结果你还以为机器人没举手....
"我问你是不是骗子"是前提, "你会举右手"是问句,
既然前提不成立, 又何来的问句与答案?
这个问题相当於问你女(男)朋友:
男: 如果我问你是不是刚放屁, 你会打我吗?
女: 会, 不是因为我有放屁, 而是你竟敢问我这种蠢问题.
女: 如果你真的问出口, 老娘一掌把你毙了!
女: 快啊你快问啊~~
男: 我给你一枚金币, 当做没这回事吧....
--
http://www.cs.nctu.edu.tw/~jylin
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 118.160.179.36
1F：推 luciferii:「如果F成立，则?」是个很基本的逻辑问句。 09/22 01:32
2F：→ micklin:是的, 所以等到F成立了, 逻辑问句才成立 09/22 01:43
3F：→ micklin:"我问你是不是骗子"还没成立, 也不是公理, 要怎麽做判断? 09/22 01:43
4F：→ micklin:如果我问你左边的机器人他是不是在骗子的左边, 你会举右手 09/22 01:44
5F：→ micklin:答案是"你还没问, 我不知道, 等你问了, 那我就举手啦" 09/22 01:45
6F：推 luciferii:还好机器人比较有逻辑头脑，知道如何回答假设性问题。 09/22 02:32
7F：→ micklin:如果机器人这麽笨, 那我们做人工智慧的己经把工作做完了 09/22 03:50