Non-Monotonic Logic｜非單調邏輯：新證據進來後，合理推論可以被撤回，而不是只能越加越多

SEP 將 non-monotonic logic 說明為為 defeasible reasoning 設計的一族形式邏輯：推理者可以先依現有資訊得到結論，取得新資訊後再撤回它；這類模式見於日常推理、醫療診斷與科學推理。

非單調不是推理任意反覆；不同系統仍以嚴格規則規定何時可撤回、優先或保留結論。