%0 Journal Article
%T Research on Over-determined Logic for Handling the Inconsistency in Knowledge Bases<br>处理知识库中不一致性的超决定逻辑研究
%A WANG Qing-yi
%A CHEN En-hong
%A LIU Gui-quan
%A CAI Qing-sheng
%A <br>王清毅
%A 陈恩红
%A 刘贵全
%A 蔡庆生
%J 软件学报
%D 1998
%I 
%X 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.
%K Knowledge bases
%K inconsistency
%K over-determined logic<br>知识库，不一致性，超决定逻辑.
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=65BA289EB4E4D9CA&yid=8CAA3A429E3EA654&vid=9CF7A0430CBB2DFD&iid=E158A972A605785F&sid=A2745AA1110798CA&eid=0C3F9E980968AF79&journal_id=1000-9825&journal_name=软件学报&referenced_num=4&reference_num=7