有疏漏性逻辑 编辑
有疏漏性逻辑是Donald Nute提出的用来形式化有疏漏性推理的非单调逻辑。在有疏漏性逻辑中，有事实、规则及优势关系三种不同类型的命题。而规则部分，又分为严格规则、有疏漏性规则、以及否决质询规则三种：
1