Research on Over determined Logic for Handling the Inconsistency in Knowledge Bases
Qing Wang · 1998
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.