%0 Journal Article
%T A Survey on Verification and Validation of Knowledge-based Systems<br>综述：知识系统的V＆V技术
%A ZENG QingTian
%A LIANG Yong-Quan
%A DUAN Hua
%A <br>曾庆田
%A 梁永全
%A 段华
%J 计算机科学
%D 2006
%I 
%X Knowledge abnormities including inconsistency, redundancy and incompletities are the main reasons to affect the knowledge-based system efficiencies, so the knowledge verification and validation (V&V)are necessary. The related works about knowledge V&V are summarized in this paper. The knowledge ahnormities are classified and their harms to knowledge-based system are discussed. However, the knowledge V&V are usually difficult since knowledge repre- sentation,update and scale. The static and dynamic methods for knowledge V&V are listed respectively, and some known tools for knowledge V&V are compared. Finally,the future research for knowledge V&V is discussed.
%K Knowledge-based system
%K Knowledge abnormities
%K Knowledge representation
%K Knowledge verification
%K Knowledge validation<br>知识系统
%K 知识异常
%K 知识表示
%K 知识验证
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=5396A2E2B4EF752C&yid=37904DC365DD7266&vid=27746BCEEE58E9DC&iid=0B39A22176CE99FB&sid=2A8D03AD8076A2E3&eid=B91E8C6D6FE990DB&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=28