综述:知识系统的V&V技术

A Survey on Verification and Validation of Knowledge-based Systems

知识库的异常是影响整个知识系统性能的重要因素之一,因此必须对获取的知识进行校验。本文综述了知识库异常检测和验证的相关研究,给出了异常知识的分类及其危害性,分析了知识库验证困难的原因,介绍了用于知识库验证的静态和动态方法,列举了国际上几个著名的知识库验证工具,并对知识库验证的研究进行了展望。

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 abnormities 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,tile future research for knowledge V＆V is discussed.