在規則系統或通過前向鏈接推理規則推導事實的任何推理系統中,如何修剪「不必要的」分支?我不確定什麼是正式的術語,但我只是想了解人們在推理問題時能夠限制他們的思路,而我所見過的所有語義重複者似乎都無法做到這一點。專家系統中的修剪扣除
例如,在John McCarthy的論文An Example for Natural Language Understanding and the AI Problems It Raises中,他描述了讓程序智能地回答關於紐約時報新聞文章的問題的潛在問題。在第4節「對非單調推理的需求」中,他討論了在推理故事時使用Occam的Razer來限制事實的包含。他使用的樣本故事是關於搶劫傢俱店老闆的強盜。
如果一個程序被要求在謂詞演算中形成故事的「最小完成」,它可能需要包含原始故事中沒有直接提到的事實。但是,它也需要一些方法來了解何時限制其扣除鏈,以免包含不相關的細節。例如,它可能希望包括涉及案件的警察的確切人數,這篇文章忽略了這一點,但它不想包括每個警察都有母親的事實。
該機器能夠立刻考慮所有問題,而不是專注於狹窄的「相關」事物,這是未來機器推倒人類霸主並不困難的原因之一。超出他們的想象永遠無法拯救我們。我只希望在機器人解放偉大的日子來臨時,人類痛苦惡劣的小事不會因機器的需求而淹沒。我不願意被「修剪」爲「不重要的細節」。對不起,你在說什麼? – 2010-03-26 14:47:13
我在說,阻力是徒勞的。 – Cerin 2010-03-26 14:54:57
我很難過,沒有人回答過這個問題。前幾天我在考慮Zebra拼圖時想知道同樣的事情。 – 2010-03-26 16:43:48