高级检索

  • ISSN 1006-3080
  • CN 31-1691/TQ
引用本文:
Citation:

专家系统知识库验证:Ⅱ.基于决策表的知识库验证工具KBV

  • 摘要: 说明决策表和知识库之间的关系,详细介绍了作者开发的基于决策表的知识库验证工具KBV。给出了在KBV中检查冗余,矛盾,循环,守完备性的算法。KBV能对包含特定规则,通用规则和框架的知识库进行验证。由于考虑了各子决策表之间的逻辑关系,KBV得到的结果是全局的。
  • 加载中
计量
  • 文章访问数:  958
  • HTML全文浏览量:  58
  • PDF下载量:  82
  • 被引次数: 0
出版历程

专家系统知识库验证:Ⅱ.基于决策表的知识库验证工具KBV

  • 1. 华东理工大学自动化研究所

摘要: 说明决策表和知识库之间的关系,详细介绍了作者开发的基于决策表的知识库验证工具KBV。给出了在KBV中检查冗余,矛盾,循环,守完备性的算法。KBV能对包含特定规则,通用规则和框架的知识库进行验证。由于考虑了各子决策表之间的逻辑关系,KBV得到的结果是全局的。

English Abstract

目录

    /

    返回文章