%0 Journal Article
%T Design and realization of a tool for the verification of knowledge bases<br>一种知识库校验工具PKBV的设计与实现
%A ZHANG Mo-hua
%A LI Wei-hua
%A <br>张墨华
%A 李伟华
%J 计算机应用
%D 2006
%I 
%X This paper used Petri net to model the knowledge base and a knowledge verification tool, PKBV , was developed based on Petri net. Incomplete and inconsistent errors were checked by the analysis and calculation of reachability and invariance of Petri net. PKBV can extract associated rules among the multi-knowledge bases, which meets the verification demands of complicated knowledge-based system.
%K knowledge base
%K petri net
%K verification of knowledge base<br>知识库
%K Petri网
%K 知识库校验
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=831E194C147C78FAAFCC50BC7ADD1732&aid=8C0FEEC77AB78C0F&yid=37904DC365DD7266&vid=96C778EE049EE47D&iid=0B39A22176CE99FB&sid=BC88D6B0750E09D1&eid=9BAF8BADA5DAC376&journal_id=1001-9081&journal_name=计算机应用&referenced_num=1&reference_num=8