贾立新，薛钧义，茹峰
（西安交通大学电气工程学院，710049，西安）
摘要：以模糊Petri网为工具，研究了多种约束条件下的人类知识和推理过程的表示方法．在此基础上，将模糊Petri网与矩阵运算相结合，给出了模糊推理过程的形式化推理算法．算法考虑了推理过程中的众多约束条件，包括命题在规则中的权重、变迁触发的阈值、规则的可信度以及多结论规则等，将复杂的推理过程采用矩阵运算实现，充分利用了模糊Petri网的并行处理能力，使模糊推理过程更加简单、快速和易于实现．
关键词：模糊Petri网；知识表示；推理算法
中图分类号：TP18文献标识码：A文章编号： 0253987X（2003）12126304