有疏漏性邏輯 有疏漏性邏輯是Donald Nute提出的用来形式化有疏漏性推理的非單調邏輯在有疏漏性邏輯中有事實facts規則rules及優勢關係superiority relation三種不同類型的命題而規則部分又分為嚴格規則strict rules有疏漏性規則defeasible rules以及否決質詢規則defeaters三種 事實無可爭辯的聲明 優勢關係在規則集合上定義的二元關係中的優勢關係優勢關係確定兩個衝突規則的相對強度若在制定優勢關係導致出現循環時則會自動否決相關的論證結果 嚴格規則所指定的一個事實總是另一個事實的結論 有疏漏性規則給定的一個事實典型上是為另一個事實的推定結論有疏漏性規則會因為有相反證據的提出而停止適用 否決質詢規則指定例外給有疏漏性規則而非用來得出任何的結論它們的唯一用途是防止得出某些結論 可以在有疏漏性規則和否決質詢規則上給出優先等級優勢關係在演繹期間先適用嚴格規則而有疏漏性規則只能適用在没有更高優先等級的否決質詢規則指定它不能用的時候優勢關係若導致出現循環時則會自動否決相關的論證結果