| 综述：知识系统的V＆V技术 |
| |
| 引用本文： | 曾庆田 梁永全 段华. 综述：知识系统的V＆V技术[J]. 计算机科学, 2006, 33(2): 19-24 |
| |
| 作者姓名： | 曾庆田 梁永全 段华 |
| |
| 作者单位： | 山东科技大学信息科学与工程学院,青岛266510 |
| |
| 基金项目： | 本文工作得到自然科学基金的资助（#60073017和#60273019）和科技部重大基础项目基金（#2001CCA03000和#2002DEA30036）的资助. |
| |
| 摘 要： | 知识库的异常是影响整个知识系统性能的重要因素之一，因此必须对获取的知识进行校验。本文综述了知识库异常检测和验证的相关研究，给出了异常知识的分类及其危害性，分析了知识库验证困难的原因，介绍了用于知识库验证的静态和动态方法，列举了国际上几个著名的知识库验证工具，并对知识库验证的研究进行了展望。
|
| 关 键 词： | 知识系统 知识异常 知识表示 知识验证 |
A Survey on Verification and Validation of Knowledge-based Systems |
| |
| ZENG QingTian,LIANG Yong-Quan,DUAN Hua (College of Information Science and Technology,Shandong University of Science and Technology,Qingdao. A Survey on Verification and Validation of Knowledge-based Systems[J]. Computer Science, 2006, 33(2): 19-24 |
| |
| Authors: | ZENG QingTian LIANG Yong-Quan DUAN Hua (College of Information Science Technology Shandong University of Science Technology Qingdao |
| |
| Affiliation: | College of Information Science and Technology,Shandong University of Science and Technology,Qingdao 266510 |
| |
| Abstract: | 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. |
| |
| Keywords: | Knowledge-based system Knowledge abnormities Knowledge representation Knowledge verification Knowledge validation |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
