加权模糊Petri网的正向推理算法  

Forward Reasoning Algorithm Based on Weighted Fuzzy Petri Net

作　　者：吴荣海[1] 范晓梅[1] 吴坚[1] 赵贵文[1] 

机构地区：[1]大理学院数学与计算机学院,云南大理671003

出　　处：《大理学院学报（综合版）》2007年第8期68-72,81,共6页Journal of Dali University

基　　金：大理学院科研基金资助项目(2006X37)

摘　　要：通过引入补弧,使加权模糊Petri网能够处理含有非命题的规则。提出一种建立在加权模糊Petri网模型上的形式化正向推理算法,将加权模糊Petri网与矩阵运算结合,通过矩阵运算来实现推理。In order to deal with the rules that may contain the negative propositions, the ＂complementary arc＂ is introduced into the weighted fuzzy Petri net. And then, combing weighted fuzzy Petri net with matrix operations, a formalized forward reasoning algorithm is proposed, based on the model of the weighted fuzzy Petri net, which implements the inference according to the matrix operations.

关 键 词：加权模糊推理 PETRI 矩阵 正向推理 非命题 

分 类 号：O233[理学—运筹学与控制论]