有疏漏性逻辑

有疏漏性逻辑^[1][2][3]是Donald Nute提出的用来形式化有疏漏性推理的非单调逻辑。在有疏漏性逻辑中，有事实(facts)、规则(rules)及优势关系(superiority relation)三种不同类型的命题。而规则部分，又分为严格规则(strict rules)、有疏漏性规则(defeasible rules)、以及否决质询规则(defeaters)三种：

事实：无可争辩的声明。

优势关系：在规则集合上定义的二元关系中的优势关系。优势关系确定两个（冲突）规则的相对强度。若在制定优势关系导致出现循环时，则会自动否决相关的论证结果。

严格规则：所指定的一个事实总是另一个事实的结论；

有疏漏性规则：给定的一个事实，典型上是为另一个事实的推定结论；有疏漏性规则会因为有相反证据的提出而停止适用。

否决质询规则：指定例外给有疏漏性规则，而非用来得出任何的结论。它们的唯一用途是防止得出某些结论。

可以在有疏漏性规则和否决质询规则上给出优先等级（优势关系）。在演绎期间，先适用严格规则，而有疏漏性规则只能适用在没有更高优先等级的否决质询规则指定它不能用的时候。优势关系若导致出现循环时，则会自动否决相关的论证结果。

参见

• 常识
• 非单调逻辑
• 缺省逻辑
• 有疏漏性推理