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

针对复杂知识库中知识规则数量多、知识规则的组织及其相互间的逻辑关系难以把握这一特点，在模糊Petri网的基础上给出了层次化模糊Petri网（HierarchicalFuzzyPetriNets，HFPN）的形式化定义及其知识表示和知识推理。在HFPN中充分利用库所抽象、转换抽象实现了层次化的知识表示和知识推理。通过层次化，可以采用模块化方法设计知识系统，从而降低构建知识库的复杂性，方便知识库的优化和管理。