| 一种知识库校验工具PKBV的设计与实现 |
| |
| 引用本文： | 张墨华,李伟华.一种知识库校验工具PKBV的设计与实现[J].计算机应用,2006,26(2):465-0467. |
| |
| 作者姓名： | 张墨华 李伟华 |
| |
| 作者单位： | 1. 西北工业大学,计算机学院,陕西,西安,710072;河南财经学院,计算机科学系,河南,郑州,450002
2. 西北工业大学,计算机学院,陕西,西安,710072 |
| |
| 摘 要： | 以Petri网建模基于规则的知识库，并据此开发出知识库校验工具PKBV，该工具通过对Petri网可达性及不变量的分析计算，来检查知识库中常见的完整性与一致性错误，针对具有多领域知识库的复杂系统，PKBV具有抽取多领域知识库之间的关联规则并进行校验的功能，满足了复杂知识系统的校验需求。
|
| 关 键 词： | 知识库 Petri网 知识库校验 |
| 文章编号： | 1001-9081（2006）02-0465-03 |
| 收稿时间： | 2005-04-30 |
| 修稿时间： | 2005-04-302005-10-27 |
Design and realization of a tool for the verification of knowledge bases |
| |
| ZHANG Mo-hua,LI Wei-hua.Design and realization of a tool for the verification of knowledge bases[J].journal of Computer Applications,2006,26(2):465-0467. |
| |
| Authors: | ZHANG Mo-hua LI Wei-hua |
| |
| Abstract: | 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. |
| |
| Keywords: | knowledge base petri net verification of knowledge base |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用》浏览原始摘要信息 |
|
点击此处可从《计算机应用》下载全文 |
|
