非單調邏輯
維基百科,自由的 encyclopedia
非單調邏輯(英語:Non-monotonic logic)是(在前提的集合和單一的句子之間的)推論關係不是單調遞增的形式邏輯。
與單調推理(經典邏輯)相對,非單調推理是指知識庫加入新知識後,原有的推論會被推翻的邏輯。[1]也就是說,知識庫的推論不隨着知識增長而增長,即非單調遞增。這時,必須使用某種正確的維持機制,確保推理繼續進行。因此,非單調推理多是在知識不完全的情況下發生的。
多數形式邏輯都有單調性的推論關係,就是說,如果一個句子可以從前提的集合中推理出來,則它也可以從把這個前提集合作為子集包含的任何前提集合中推理出來,這意味着向理論增加一個公式永不引起它的推論集合的減小。在直覺上,單調性指示出學習一些新知識不能減小已知知識的集合。單調邏輯不能處理各種推理任務比如缺省推理(事實可以是已知的,只是因為缺乏反面的證據)、溯因推理(事實只按最合適的解釋演繹出來)、關於知識的推理(在事實變成已知的時候,對一個事實的無知必須被撤消),和信念修正(新知識可以和舊信念矛盾。)
目前對於非單調推理的研究一般有兩種途徑: