智能网络管理中一种基于Petri网的知识验证技术

A KNOWLEDGE VERIFICATION TECHNIQUE BASED ON PETRI NET IN INTELLIGENCE NETWORK MANAGEMENT

知识库是智能网络管理系统中的重要组成部分 ,知识库的维护要求知识库系统必须具备知识的验证功能 .智能网管系统中知识组织的动态性决定了知识的结构性验证必须正确、有效和及时 .本文以有色 Petri网为基础 ,针对智能网管系统中知识验证的主要内容 ,以一种扩充的有色 Petri网作为描述和分析工具 ,建立了相应的知识表示模型和知识验证模型 ,提出了一种简洁的、基于有色 Petri网的知识验证方法 ,并给出了相应的判定准则 .

Knowledge base is the important part of intelligence network management system (INMS). The knowledge verification must be provided for knowledge base maintaining in INMS. Owing to dynamic property of structures of knowledge in INMS, it is determined that the knowledge verification must be correct, effective and seasonable. In this paper, Based on color Petri net, to counter main contents of knowledge verification in INMS, an enhanced color Petri net is taken as the describing and analyzing tool. The knowledge representation model and knowledge verification model are established. a simple and direct knowledge verification method based on color Petri net is put forward and the judge rules in verification process are provided.