层次化模糊Petri网:形式化定义和推理  

Hierarchical fuzzy Petri nets:formal definitions and reasoning

作　　者：潘洪军[1] 孙吉贵[1] 亓常松[1] 

机构地区：[1]吉林大学计算机科学与技术学院

出　　处：《吉林大学学报（工学版）》2007年第1期111-116,共6页Journal of Jilin University:Engineering and Technology Edition

基　　金：国家自然科学基金重大项目(60496321);国家自然科学基金资助项目(60473003);吉林省科技发展基金资助项目(20040526)

摘　　要：针对复杂知识库中知识规则数量多、知识规则的组织及其相互间的逻辑关系难以把握这一特点,在模糊Petri网的基础上给出了层次化模糊Petri网(Hierarchical Fuzzy PetriNets,HFPN)的形式化定义及其知识表示和知识推理。在HFPN中充分利用库所抽象、转换抽象实现了层次化的知识表示和知识推理。通过层次化,可以采用模块化方法设计知识系统,从而降低构建知识库的复杂性,方便知识库的优化和管理。There is a great deal of knowledge rules in a complex knowledge base and it is difficult to grasp the organizations and the logical relationships of the rules. To overcome such difficulty, a Hierarchical Fuzzy Petri Nets （HFPN） was proposed on the basis of Fuzzy Petri Nets （FPN）. The formal definitions, the knowledge representation method and reasoning of HFPN were also developed. By application of place abstraction and transition abstraction HFPN is able to realize hierarchical knowledge representation and reasoning. Using the concept of hierarchy, the complexity of constructing knowledge bases can be reduced by modularization method in the design phase, hence facilitates the knowledge base management and optimization.

关 键 词：计算机工程 知识库 模糊逻辑 层次化模糊Petri网 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]