知识库校验相关论文
本文课题背景为国家“驾驶员辅助决策人工智能系统”及“驾驶员辅助决策支持系统”。驾驶员辅助决策人工智能系统(PAAIS,Pilot Ass......
以Petri网建模基于规则的知识库,并据此开发出知识库校验工具PKBV,该工具通过对Petri网可达性及不变量的分析计算,来检查知识库中......
