计算机科学 ›› 2012, Vol. 39 ›› Issue (Z11): 256-258.
• 数据库与数据挖掘 • 上一篇 下一篇
马良荔，陈 杰，汪丽华
出版日期:
发布日期:
Online:
Published:
摘要： Petri网以其图形化的表示方式广泛应用于形式化推理中。基于模糊有色Petri网的形式化推理算法，以系统内部事务之间的逻辑关系为依据，充分利用模糊Petri网在分析不确定知识中的优势，通过知识模糊、库所抽象、转换抽象实现层次化的知识表示和知识推理，并结合有色Petri网对系统规模作适当约简，从而构造出了一种新型的模糊着色网(FCPN)知识表示和获取模型，有效弥补了传统Petri网在实际应用中的缺陷，使模糊推理过程更加简单且易于实现。
关键词: 模糊，有色Petri网，形式化方法
Abstract: Petri net has been applied in formalized reasoning widely by its graphics mode, and the formalized reasoning based on fuzzy colored Petri net(PCPN)is formed by the advantages of the traditional fuzzy colored Petri net in reasoning, the logical relationships of the rules, and by application of the fuzzy knowledge, the place abstraction and the transition abstraction to represent the Petri nets in a graphical way with hierarchical classification and colored display. In this way, a new mode of fuzzy colored Petri net in knowledge reasoning and mode achieving is constructed to improve the traditional Petri net effectively and make the course of reasoning and realizing easily.
Key words: Fuzzy, Colored Petri net, Formalized
马良荔，陈 杰，汪丽华. 模糊有色Petri网的形式化推理算法研究[J]. 计算机科学, 2012, 39(Z11): 256-258. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2012/V39/IZ11/256
Cited
首页