非單調邏輯- 維基百科，自由的百科全書

非單調邏輯（英語：Non-monotonic logic）是（在前提的集合和單一的句子之間的）推論關係不是單調遞增的形式邏輯。

與單調推理（經典邏輯）相對，非單調推理是指知識庫加入 ... 非單調邏輯 維基百科，自由的百科全書 跳至導覽 跳至搜尋 非單調邏輯（英語：Non-monotoniclogic）是（在前提的集合和單一的句子之間的）推論關係不是單調遞增的形式邏輯。

與單調推理（經典邏輯）相對，非單調推理是指知識庫加入新知識後，原有的推論會被推翻的邏輯。

[1]也就是說，知識庫的推論不隨著知識增長而增長，即非單調遞增。

這時，必須使用某種正確的維持機制，確保推理繼續進行。

因此，非單調推理多是在知識不完全的情況下發生的。

多數形式邏輯都有單調性的推論關係，就是說，如果一個句子可以從前提的集合中推理出來，則它也可以從把這個前提集合作為子集包含的任何前提集合中推理出來，這意味著向理論增加一個公式永不引起它的推論集合的減小。

在直覺上，單調性指示出學習一些新知識不能減小已知知識的集合。

單調邏輯不能處理各種推理任務比如預設推理（事實可以是已知的，只是因為缺乏反面的證據）、溯因推理（事實只按最合適的解釋演繹出來）、關於知識的推理（在事實變成已知的時候，對一個事實的無知必須被撤消），和信念修正（新知識可以和舊信念矛盾。

） 目前對於非單調推理的研究一般有兩種途徑： 一種方法認為經典邏輯對於研究非單調推理明顯有不足的地方，因此最好是建立新的語義機制跟邏輯系統。

在此基礎上進行非單調推理的研究以解決一些問題，例如Reiter的預設邏輯和Moore的自動認識邏輯，還有擴充邏輯程序（英語：extendedlogicprogram）。

另一種觀點與此正好相反，堅持這種觀點的人認為，在經典邏輯框架下研究非單調推理是完全可行的，關鍵是怎麼使用經典邏輯。

例如封閉世界假設，McCarthy的限定推理（Circumscription）和Poole提出的假設推理（defaultreasoning）。

目次 1預設推理 2溯因推理 3有關知識的推理 4信念修正 5參見 6參考資料 7外部連結 預設推理[編輯] 預設假定的一個例子是典型的鳥類辨識。

作為結果，如果給出一個是鳥的動物，並且不知道其他事情，就假定它會飛。

如果後來知道這個動物其實是企鵝，這個事實無論如何都必須被撤銷。

這個例子展示了建模預設推理的邏輯不應當是單調的。

形式化預設推理的邏輯可以粗略的分為兩類：可以處理任意的預設假定的邏輯（預設邏輯、可廢止邏輯和回答集編程），和形式化不知道為真的事實可以被預設假定為假的特殊預設假定的邏輯（封閉世界假定和限制）。

溯因推理[編輯] 溯因推理是推導已知事實的最可能解釋的過程。

溯因邏輯不應當是單調的，因為最可能的解釋不是必然正確的。

例如，看到潮濕的草地的最可能的解釋是下雨了；但是在知道了草地潮濕的真正原因是澆水了的時候，這個解釋應當被撤銷。

因為獲得了增加的知識（灑水車經過了），舊的解釋（下雨了）被撤消了，建模解釋的任何邏輯都是非單調的。

有關知識的推理[編輯] 如果邏輯包括意味著事物是已知的公式，這個邏輯不應當是單調的。

實際上，學習以前是未知的事物導致去除指定這個知識是未知的公式。

第二個改變（增加導致去除）違反了單調性的條件。

關於知識的推理的邏輯有一個自動認識邏輯。

信念修正[編輯] 信念修正是改變信念來調和出可能同舊信念矛盾的一個新信念。

在新信念是正確的假定下，某些舊信念必須撤銷來維持一致。

適應增加新信念的這種撤銷使用於信念修正的任何邏輯都是非單調的。

信念修正方法是對次協調邏輯的替代選擇，它容忍矛盾而不是嘗試去除它。

參見[編輯] 溯因推理 回答集編程 自動認識邏輯 信念修正 限制 封閉世界假定 預設邏輯 可廢止推理 參考資料[編輯] N.BidoitandR.Hull.Minimalism,justificationandnon-monotonicityindeductivedatabases.JournalofComputerandSystemSciences,38:290-325,1989. G.Brewka.NonmonotonicReasoning:LogicalFoundationsofCommonsense.CambridgeUniversityPress,Cambridge,1991. M.CadoliandM.Schaerf.Asurveyofcomplexityresultsfornon-monotoniclogics.JournalofLogicProgramming,17:127-160,1993. F.M.Donini,M.Lenzerini,D.Nardi,F.Pirri,andM.Schaerf.Nonmonotonicreasoning.ArtificialIntelligenceReview,4:163-210,1990. M.L.Ginsberg,editor.ReadingsinNonmonotonicReasoning.MorganKaufmann,LosAltos,LosAltos,Ca,1987. W.Lukaszewicz.Non-MonotonicReasoning.Ellis-Horwood,Chichester,WestSussex,England,1990. W.MarekandM.Truszczynski.NonmonotonicLogics:Context-DependentReasoning.Springer,1993. ^Non-monotonicReasoning.[2014-01-28].  外部連結[編輯] StanfordEncyclopediaofPhilosophyentry ApagebyAnthonyAabyonNon-monotoniclogic 取自「https://zh.wikipedia.org/w/index.php?title=非单调逻辑&oldid=48115942」 分類：​計算機邏輯隱藏分類：​含有英語的條目邏輯學小作品 導覽選單 個人工具 沒有登入討論貢獻建立帳號登入 命名空間 條目討論 臺灣正體 不转换简体繁體大陆简体香港繁體澳門繁體大马简体新加坡简体臺灣正體 查看 閱讀編輯檢視歷史 更多 搜尋 導航 首頁分類索引特色內容新聞動態近期變更隨機條目資助維基百科 說明 說明維基社群方針與指引互助客棧知識問答字詞轉換IRC即時聊天聯絡我們關於維基百科 工具 連結至此的頁面相關變更上傳檔案特殊頁面靜態連結頁面資訊引用此頁面維基數據項目 列印/匯出 下載為PDF可列印版 其他語言 العربيةEnglishEsperantoEspañolفارسیFrançais日本語NederlandsPortuguêsУкраїнська 編輯連結