非單調邏輯

非單調邏輯 （ Non-monotonic logic ） 是 （ 在前提的集合和單一的句子之間的 ） 推論關係不是單調遞增的形式邏輯 。 與單調推理 （ 經典邏輯 ） 相對 ， 非單調推理是指知識庫加入新知識後 ， 原有的推論會被推翻的邏輯 。 也就是說 ， 知識庫的推論不隨着知識增長而增長 ， 即非單調遞增 。 這時 ， 必須使用某種正確的維持機制 ， 確保推理繼續進行 。 因此 ， 非單調推理多是在知識不完全的情況下發生的 。 多數形式邏輯都有單調性的推論關係 ， 就是說 ， 如果一個句子可以從前提的集合中推理出來 ， 則它也可以從把這個前提集合作爲子集包含的任何前提集合中推理出來 ， 這意味着向理論增加一個公式永不引起它的推論集合的減小 。 在直覺上 ， 單調性指示出學習一些新知識不能減小已知知識的集合 。 單調邏輯不能處理各種推理任務比如缺省推理 （ 事實可以是已知的 ， 只是因爲缺乏反面的證據 ） 、 溯因推理 （ 事實只按最合適的解釋演繹出來 ） 、 關於知識的推理 （ 在事實變成已知的時候 ， 對一個事實的無知必須被撤消 ） ， 和信念修正 （ 新知識可以和舊信念矛盾 。 ） 目前對於非單調推理的研究一般有兩種途徑 ： 一種方法認爲經典邏輯對於研究非單調推理明顯有不足的地方 ， 因此最好是建立新的語義機制跟邏輯系統 。 在此基礎上進行非單調推理的研究以解決一些問題 ， 例如Reiter的缺省邏輯和Moore的自動認識邏輯 ， 還有擴充邏輯程序 （ extended logic program ） 。 另一種觀點與此正好相反 ， 堅持這種觀點的人認爲 ， 在經典邏輯框架下研究非單調推理是完全可行的 ， 關鍵是怎麼使用經典邏輯 。 例如封閉世界假設 ， McCarthy的限定推理 （ Circumscription ） 和Poole提出的假設推理 （ default reasoning ） 。