方略学科导航

搜索结果: 1-1 共查到“知识工程 PKBV”相关记录1条 . 查询时间(0.071 秒)

一种知识库校验工具PKBV的设计与实现知识库校验工具 PKBV 2008/12/16

以Petri网建模基于规则的知识库，并据此开发出知识库校验工具PKBV，该工具通过对Petri网可达性及不变量的分析计算，来检查知识库中常见的完整性与一致性错误，针对具有多领域知识库的复杂系统，PKBV具有抽取多领域知识库之间的关联规则并进行校验的功能，满足了复杂知识系统的校验需求。