Research on Over-determined Logic for Handling the Inconsistency in Knowledge Bases
处理知识库中不一致性的超决定逻辑研究

In this paper, the authors discuss some drawbacks of several kinds of existing logic to handle inconsistency in knowledge bases at first, and then give the definition of over-determined structure, over-determined model and over-determined semantics. They also describe in detail the computation procedure for over-determined-semantics. As a result, a kind of logic for handling inconsistency is presented. Finally, a discussion on the over-determined logic is concluded with.