基于離散事件系統(tǒng)的產生式推理故障診斷建模方法的研究.pdf

1、故障診斷是目前的熱門研究領域之一，隨著人工智能技術的不斷發(fā)展，基于產生式系統(tǒng)的故障診斷專家系統(tǒng)也是目前的研究熱點。但是產生式系統(tǒng)本身存在推理效率較低、不能結構性表示知識等缺點，用自動機對產生式推理系統(tǒng)進行建模與推理，是克服上述缺點的一種有效方法；同時，在針對較為復雜的產生式系統(tǒng)時，產生式系統(tǒng)中規(guī)則間相互調用的邏輯正確性驗證，也是產生式系統(tǒng)正常運作的保證，用自動機模型對產生式系統(tǒng)進行建模，則可利用自動機本身嚴密的邏輯性質對產生式規(guī)則間的邏

2、輯正確性進行驗證。
　　本研究主要內容包括：⑴提出了基于一般自動機的產生式系統(tǒng)建模方法。結合產生式推理與自動機的特點，構建了推理機模型，并泛化為可以進行多條產生式推理的一般性模型，給出了建模流程圖以及模型簡化方法。最后，進行實例分析，驗證了方法的有效性。⑵提出了基于確定性格值自動機的產生式系統(tǒng)建模方法。這種方法是基于一般自動機建模方法的理論延伸，在繼承了一般自動機建模方法特點的同時，結合格值自動機的特殊理論，提出了模型簡化方法、規(guī)