可廢止推理

有疏漏性推理是對推理形式的研究，它儘管令人信服，卻不如演繹推理那麼形式化和嚴格。它已經在哲學中，和最近在人工智能中討論過了。

其他演繹推理的替代者包括歸納推理和逆推推理。它們在傳統上不被術語「有疏漏性推理」所覆蓋。

哲學起源

儘管亞里士多德把對邏輯和哲學有效的推理形式同在日常生活中使用的更常見的推理（參見辯證法和修辭學）區分了開來，後來的哲學家主要關心演繹推理。

直到邏輯實證主義開始失寵，哲學家羅德里克·奇澤姆和John L. Pollock復興了對有疏漏性推理的興趣。

人工智能

大約在同一個時期，人工智能的先驅如約翰·麥卡錫和Patrick J. Hayes在遇到框架問題和限定問題的時候，提出了某種形式的有疏漏性推理。

已提出的一些形式的有疏漏性推理：

• McCarthy提出的方案是限制的邏輯原理
• Raymond Reiter提出了缺省邏輯系統和封閉世界假定的形式化
• McDermott和Doyle提出了非單調邏輯
• Robert C. Moore提出了自動認識邏輯
• Donald Nute提出了有疏漏性邏輯

參見

• 常識
• 信念修正

外部連結

• Article on Defeasible Reasoning（頁面存檔備份，存於互聯網檔案館） in the Stanford Encyclopedia of Philosophy
• An example of defeasible reasoning in action