采用模糊Ｐｅｔｒｉ網的形式化推理算法及其應用
2003-04-29 00:44:03賈立新薛鈞義茹峰
西安交通大學學報 2003年12期
賈立新 薛鈞義 茹 峰
摘要：以模糊Petri網為工具，研究了多種約束條件下的人類知識和推理過程的表示方法．在此基礎上，將模糊Petri網與矩陣運算相結合，給出了模糊推理過程的形式化推理算法．算法考慮了推理過程中的眾多約束條件，包括命題在規則中的權重、變遷觸發的閾值、規則的可信度以及多結論規則等，將復雜的推理過程采用矩陣運算實現，充分利用了模糊Petri網的并行處理能力，使模糊推理過程更加簡單、快速和易于實現．
關鍵詞：模糊Petri網；知識表示；推理算法
中圖分類號：TPl8文獻標識碼：A文章編號：0253—987X(2003)12—1263—04
