%0 Journal Article
%T Debugging for a First Order Logic Knowledge Base<br>一阶逻辑知识库的检测
%A Wang Shenkang
%A <br>王申康
%J 自动化学报
%D 1992
%I 
%X The method described in this paper is based on Loveland's MESON proof procedure of debugging a knowledge base (kb) of full first order logical rules, including true negation, disjunction, and if-and-only-if rules. It is used to query the kb and to detect redundancies and inconsistencies. Explanations are provided for each contradiction and redundancy found. Both backward and forward chainning capabilities of the system make it possible to investigate the consequences of new additions to the kb.
%K :Artificial intelligence
%K knowledge base
%K first order logic
%K theorem proving<br>一阶逻辑
%K 人工智能
%K 知识库
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=E76622685B64B2AA896A7F777B64EB3A&aid=3DD258069F4486E26F3D8DE645F07AF1&yid=F53A2717BDB04D52&vid=13553B2D12F347E8&iid=94C357A881DFC066&sid=2C20277AC27E4821&eid=54E527C5B72E59D8&journal_id=0254-4156&journal_name=自动化学报&referenced_num=0&reference_num=0