看板
[ logic ]
討論串微軟中國研究院最新面試題
共 168 篇文章
內容預覽:
簡單的反例. 當小明講完話後，小強知道了，但是小明還不知道。. 這個情況推翻了你的結論。. 你會直覺換算成這樣，代表你已經習慣性地換成你熟悉的邏輯語言. 直接排除原有中文題意裏產生的其他歧義. 雖然你在講不論過去現在或未來，但是你整段的推論還是停留在最原始的第一種。. 如果domain加入時間t1,
(還有402個字)
內容預覽:
結論：這句話的意思是說不會有小明不知道而小強知道的情況。. 這個條件句的邏輯形式為. □(~Ka→~Kb) (述詞K表示知道， a表示小明， b表示小強). 或者你可以說小明所宣稱的蘊含關係是某種必然蘊含關係，意即將原句翻譯如下：. ~Ka □→ ~Kb. 既然第一個條件句中的蘊含關係是某種必然蘊含
(還有611個字)
內容預覽:
「最後」的推論已經解釋過，. 我從第一篇就已經說是語意解析的問題. 你認為跟題目不一樣，是已經認定A講的話只能有一種中文解釋。. 「如果我猜不出來的話，你要跟我說」. 中文裏是模棱兩可的，. 意思會是. 「我已經猜不到了，跟我說」. 但也可能是. 「我等等猜不到的話，再跟我說」. 雖然經驗裏後者比較
(還有271個字)
內容預覽:
前文推文中有吵架被砍了. 重回. 排除錯誤. 對這句理解有問題"如果小明知道答案 小明不確定小強知不知道答案". 即使沒有預設一和A第一句話，所有可能性為. 如果A知道答案，在某些答案時，A確定B知道答案 a1. 在某些答案時，A確定B不知道答案 a2. 在某些答案時，A不確定B知不知道答案 a3.
(還有581個字)