模糊有色Petri网的形式化推理算法研究
Research on Formalized Reasoning Algorithm Based on Fuzzy Colored Petri Net作者机构:海军工程大学电子工程学院 中国载人航天工程办公室 91960部队政治部干部科
出 版 物:《计算机科学》 (Computer Science)
年 卷 期:2012年第39卷第S3期
页 面:256-258页
核心收录:
学科分类:08[工学] 0812[工学-计算机科学与技术(可授工学、理学学位)]
摘 要:Petri网以其图形化的表示方式广泛应用于形式化推理中。基于模糊有色Petri网的形式化推理算法,以系统内部事务之间的逻辑关系为依据,充分利用模糊Petri网在分析不确定知识中的优势,通过知识模糊、库所抽象、转换抽象实现层次化的知识表示和知识推理,并结合有色Petri网对系统规模作适当约简,从而构造出了一种新型的模糊着色网(FCPN)知识表示和获取模型,有效弥补了传统Petri网在实际应用中的缺陷,使模糊推理过程更加简单且易于实现。