A Survey on Verification and Validation of Knowledge-based Systems
综述：知识系统的V＆V技术

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.