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

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

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