基于模糊Petri網(wǎng)的與-或樹算法研究.pdf

1、與/或樹是用于表示問題及其求解過程的一種形式化方法，它為問題的解決提供了一種問題歸約的方法。Petri網(wǎng)是一種系統(tǒng)建模工具，由于其異步、并發(fā)的特性很適合描述動態(tài)系統(tǒng)，因此在現(xiàn)實問題的解決中有著廣泛應(yīng)用?；谂c/或樹在問題求解中的簡便性和Petri網(wǎng)對系統(tǒng)的描述能力，將與/或樹運用到Petri網(wǎng)的推理過程中，將給問題推理帶來方便。 本文研究了基于模糊Petri網(wǎng)的與/或樹算法的理論和方法，并在此基礎(chǔ)上實現(xiàn)了基于該算法的系統(tǒng)設(shè)計，研

2、究內(nèi)容如下： (1)對與/或樹和產(chǎn)生式規(guī)則進行研究，實現(xiàn)了用與/或樹表示產(chǎn)生式規(guī)則；對Petri網(wǎng)和產(chǎn)生式規(guī)則進行研究，實現(xiàn)了用Petri網(wǎng)表示產(chǎn)生式規(guī)則；通過產(chǎn)生式規(guī)則，在與/或樹和Petri網(wǎng)之間建立了一種對應(yīng)關(guān)系。 (2)對模糊理論進行研究，在產(chǎn)生式規(guī)則和Petri網(wǎng)的基礎(chǔ)上，得到模糊產(chǎn)生式規(guī)則的概念和模糊Petri網(wǎng)的概念，并對基于知識表示的模糊Petri網(wǎng)數(shù)學(xué)模型進行定義。 (3)對可信度方法進行研究，