缺省邏輯是雷蒙德-賴特提出的一種非單調邏輯，用于將帶有缺省假設的推理形式化。默認邏輯可以表達諸如"在默認情況下，某物為真"的事實；相比之下，標準邏輯只能表達某物為真或某物為假。

這是一個問題，因為推理經常涉及到在大多數情況下是真的事實，但并不總是。一個經典的例子是。"鳥類通常會飛"。

這個規則在標準邏輯中可以用"所有的鳥都會飛"來表達，這與企鵝不會飛的事實不一致，或者用"所有不是企鵝也不是鴕鳥和......的鳥都會飛"來表達，這需要對規則的所有例外進行說明。

缺省邏輯的目的是將像這樣的推理規則形式化，而不明確提及它們的所有例外情況。

一個缺省理論是一對.W是一組邏輯公式，稱為背景理論，它將確定的事實形式化。D是一組默認規則，每個規則的形式是。根據這個默認，如果我們相信"前提"是真的，并且每個{displaystyle{Justification}}的每一個都是真實的。_{n}}與我們當前的信念一致，我們就會被引導去相信結論是真的。W中的邏輯公式和默認的所有公式最初被假定為一階邏輯公式，但它們有可能是任意形式邏輯中的公式。

它們是命題邏輯中的公式的情況是研究最多的一種。例子"鳥類通常會飛"的缺省規則被以下缺省形式化。這條規則意味著，如果X是一只鳥，并且可以假設它是會飛的，那么我們就可以得出結論說它會飛。

一個包含關于鳥類的一些事實的背景理論是下面這個。根據這個默認規則，禿鷹會飛，因為前提條件Bird(Condor)是真的，而且理由Flies(Condor)與目前已知的情況并不矛盾。

相反，Bird(Penguin)不允許得出Flies(Penguin)的結論：即使默認的Bird(Penguin)的前提條件為真，Flies(Penguin)的理由也與已知的情況不一致。

從這個背景理論和這個默認條件來看，Bird(Bee)不能被得出結論，因為默認規則只允許從Bird(X)推導出Flies(X)，而不是反過來。

從后果中推導出推理規則的前因后果是對后果的一種解釋，也是歸納推理的目的。

一個常見的默認假設是，不知道是真的東西被認為是假的。這被稱為"封閉世界假設"，并在缺省邏輯中被正式化，對每一個事實F使用類似下面的缺省。

例如，計算機語言Prolog在處理否定時使用了一種默認的假設：如果一個否定的原子不能被證明是真的，那么它就被假設為假的。

然而，請注意，Prolog使用所謂的否定為失敗：當解釋器必須評估原子

如果一個缺省沒有先決條件（或者等價地，它的先決條件是同義的），它就是分類的或無先決條件的。

如果一個缺省有一個等同于其結論的單一理由，那么它就是正常的。如果一個缺省既是分類的又是正常的，那么它就是超正常的。如果一個缺省的所有理由都包含其結論，那么它就是半正常的。

如果一個缺省理論包含的所有缺省都是分類的、正常的、超正常的或半正常的，那么這個理論就被稱為分類的、正常的、超正常的或半正常的。

如果一個缺省規則的前提條件是由該理論所包含的，并且其理由都與該理論一致，那么該規則就可以應用于該理論。