缺省逻辑适于对协调的知识进行表示和推理：前提中的矛盾导致平凡扩张而缺省规则中的冲突导致扩张不存在。为了保证扩张存在性，一种做法是对缺省理论加以限制，得到各种片断。然而对缺省理论的限制也削弱了它的表达能力。另一种方法则是提出各种缺省逻辑的变种。不幸的是，运用变种得到的结论与用缺省逻辑求得的不同，即使前提无矛盾冲突也是如此。在本文中，我们将研究如何解决缺省理论中的矛盾与冲突。本文的主要贡献有： ·为缺省逻辑提供四值语义。正如缺省逻辑是经典逻辑的扩展一样，四值缺省逻辑扩展了四值逻辑的表达与推理能力，而四值逻辑也提供了解决缺省理论中的矛盾的手段。 ·给出了一组缺省理论的变换方法，使得四值缺省逻辑中的推理问题转化为等价的缺省理论的扩张求解问题。 ·提出一种标记缺省逻辑，使得标记扩张必然存在。同时，当前提无矛盾与冲突时，在标记缺省逻辑中得到的结论与在缺省逻辑中得到的结论完全等价。 ·给出了缺省标记变换，将标记扩张的求解转换为等价的缺省理论中的扩张求解问题。 四值缺省逻辑和标记缺省逻辑分别为解决缺省理论中的矛盾与冲突提供了不同的方法，四值缺省按四值语义进行推理，而标记缺省逻辑则侧重于发现和分析矛盾与冲突。与缺省逻辑的其他变种不同，标记缺省逻辑是缺省逻辑的超协调扩展，缺省理论的语义不发生改变。标记缺省逻辑额外的推理能力为用户提供了更多的信息，这些信息有助于用户分析和更新他们的知识表示。