簡介
可廢止推理是對推理形式的研究，它儘管令人信服，卻不如演繹推理那么形式化和嚴格。它已經在哲學中，和最近在人工智慧中討論過了。
其他演繹推理的替代者包括歸納推理和逆推推理。它們在傳統上不被術語"可廢止推理"所覆蓋。
哲學起源
儘管亞里士多德把對邏輯和哲學有效的推理形式同在日常生活中使用的更常見的推理(區分了開來，後來的哲學家主要關心演繹推理。
直到邏輯實證主義開始失寵，哲學家 Roderick Chisholm 和 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
