Re: [轉錄] 微軟中國研究院最新面試題

看板logic作者 (kyle)時間18年前 (2007/10/23 00:23), 編輯推噓0(000)
留言0則, 0人參與, 最新討論串152/168 (看更多)
※ 引述《luciferii (路西瓜)》之銘言: : ※ 引述《bombduck ( )》之銘言: : : 我是 91 派的 : : 而 64 派的假設是 : : A 說的第一句話在 B 「回答後」才會「正確」 : : 雖然題目沒有說明不能這樣假設,但我個人認為用前一個假設會比較合適 : 我不早就說是對中文語意的理解嗎? : 認為前者合適是因為作題目作多的習慣,認為後者合適是對中文使用的習慣。 個人認為 這無關甚麼中文使用的習慣云云 事實上 你的習慣也不等於其他人的習慣 更何況依照你對語句的嚴謹程度 誰都可以任意去解釋了 這題我之前也提過了 要不然就是任意答案都可 要不就是依照絕對成立的標準推出9/1 因為6/4號的推法 小明第一句話 是猜測語氣 不確定而說肯定 就是說謊 如果可以說謊的話 那我現在也來講一下我對本題中文的理解 =前情提要= 老師: "小明...你知道12月喔" 老師: "小華...你知道1號喔.." =本劇開始= 小明內心 :(幹 12月有三個耶 怎麼辦 好吧 先唬唬他) 小明:"哈哈哈 如果我不知道的話,小強肯定也不知道啦" (奸笑) 小華心驚 :(靠 整個中南海 還沒人敢偷我的雞 看我嚇死你) 小華:"傑傑傑 我本來不知道的,但是我現在已經知道了" (奸笑) 小明驚 :(!! 媽的 怎麼可能知道 你這唬爛王 不行 輸人不輸陣) 小明:"黑嘿嘿 我也知道了" 老師:"................你們在幹嘛......" 我之前也說了 這是推理遊戲 如果可以猜 題目要說明 不然每一句都必須絕對成立 6/4派是把第一句看作是試探語氣了 那也不是不行 只是如此的標準之下每個答案都成立了 在我個人觀點 每個答案都成立的題目是無意義的 所以只有9/1成立 :為什麼會有somedoubt那種錯誤? : 因為直接將符號寫成 : □ ~K(a)→~K(b) : 事實上這樣寫是錯的,因為所有情形包含 : ~K(a,t1)→~K(b,t1), K表 Know : ~K(a,t2)→~K(b,t2), : ~K(a,t3)→~K(b,t3), : 或者要說是改變K的意義也行 : ~K1(a)→~K1(b) K1 表 know at t1 : ~K2(a)→~K2(b) K2 表 know at t2 : ~K3(a)→~K3(b) K3 表 know at t3 : 其中一種是錯的,代表小明不可以肯定->矛盾 : 說穿了就是 : 9/1 派的人認為小明是講 ~K1(a)→~K1(b) : 6/4 派的人認為小明是講 ~K3(a)→~K3(b) : 一人選一種而已。 : 接受哪種語意是個人觀感。 : 但是要辯說使用前者推不出來9/1,或使用後者推不出來6/4 : 就是基本邏輯沒學好的問題了。 -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 210.64.151.117
文章代碼(AID): #177CvumH (logic)
討論串 (同標題文章)
本文引述了以下文章的的內容:
以下文章回應了本文
完整討論串 (本文為第 152 之 168 篇):
文章代碼(AID): #177CvumH (logic)