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

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

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