可废止逻辑 有疏漏性逻辑是Donald Nute提出的用来形式化有疏漏性推理的非单调逻辑在缺省逻辑中有三种不同类型的命题 硬性规则指定一个事实总是另一个事实的结论 有疏漏性规则指定一个事实典型的是另一个事实的结论 废止者指定对有疏漏性规则的例外 可以在有疏漏性规则和废止者上给出优先级在演绎期间硬性规则总是使用而有疏漏性规则只能在没有更高优先级的废止者指定它不能用的时候使用