Re: [請益] 誰說真話

看板logic作者 (離鄉背井的米克)時間17年前 (2008/09/22 01:19), 編輯推噓2(205)
留言7則, 2人參與, 最新討論串15/43 (看更多)
※ 引述《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

09/22 01:32, , 1F
「如果F成立,則?」是個很基本的邏輯問句。
09/22 01:32, 1F

09/22 01:43, , 2F
是的, 所以等到F成立了, 邏輯問句才成立
09/22 01:43, 2F

09/22 01:43, , 3F
"我問你是不是騙子"還沒成立, 也不是公理, 要怎麼做判斷?
09/22 01:43, 3F

09/22 01:44, , 4F
如果我問你左邊的機器人他是不是在騙子的左邊, 你會舉右手
09/22 01:44, 4F

09/22 01:45, , 5F
答案是"你還沒問, 我不知道, 等你問了, 那我就舉手啦"
09/22 01:45, 5F

09/22 02:32, , 6F
還好機器人比較有邏輯頭腦,知道如何回答假設性問題。
09/22 02:32, 6F

09/22 03:50, , 7F
如果機器人這麼笨, 那我們做人工智慧的己經把工作做完了
09/22 03:50, 7F
文章代碼(AID): #18re8YC0 (logic)
討論串 (同標題文章)
文章代碼(AID): #18re8YC0 (logic)