|
|||||
|
|
| 专家系统知识库验证：Ⅱ.基于决策表的知识库验证工具KBV | |
| 引用本文： | 张杰,张素贞.专家系统知识库验证：Ⅱ.基于决策表的知识库验证工具KBV[J].华东理工大学学报(自然科学版),1996,22(5):583-589. |
| 作者姓名： | 张杰 张素贞 |
| 作者单位： | 华东理工大学自动化研究所 |
| 摘 要： | 说明决策表和知识库之间的关系，详细介绍了作者开发的基于决策表的知识库验证工具ＫＢＶ。给出了在ＫＢＶ中检查冗余，矛盾，循环，守完备性的算法。ＫＢＶ能对包含特定规则，通用规则和框架的知识库进行验证。由于考虑了各子决策表之间的逻辑关系，ＫＢＶ得到的结果是全局的。 |
| 关 键 词： | 专家系统 知识库 验证 决策表 KBV |
| 本文献已被 CNKI 维普 等数据库收录！ | |