采用模糊Petri网的形式化推理算法及其应用

Fuzzy Petri Net Based Formalized Reasoning Algorithm with Applications

以模糊Petri网为工具,研究了多种约束条件下的人类知识和推理过程的表示方法.在此基础上,将模糊Petri网与矩阵运算相结合,给出了模糊推理过程的形式化推理算法.算法考虑了推理过程中的众多约束条件,包括命题在规则中的权重、变迁触发的阈值、规则的可信度以及多结论规则等,将复杂的推理过程采用矩阵运算实现,充分利用了模糊Petri网的并行处理能力,使模糊推理过程更加简单、快速和易于实现.

Based on fuzzy Petri net, human knowledge representation and reasoning under multi-constraints are discussed. And then, combining fuzzy Petri net with matrix operation, an algorithm of formalized fuzzy reasoning process is proposed, in which all of the constraints in the reasoning rules, such as weights of the input propositions, thresholds of the transitions, degree of truths of the rules, and multiple conclusions rules, are considered. It demonstrates that the fuzzy reasoning process is accomplished more simply, quickly and easily as the algorithm is adopted and the efficiency of the reasoning is also improved due to the parallel operation ability of Petri net.