基于定性演算的推理及其應(yīng)用.pdf

1、基于定性演其的推理及其應(yīng)用Y694783基于定性演算的推理及其應(yīng)用研究生:王嵐指導(dǎo)教師:陳圖云專業(yè):基燦數(shù)學(xué)研究方向:數(shù)理邏樣及其對計算機的應(yīng)用摘要:本文將原有定性推理中的定性演算類的劃分推廣到七類，并在具體分類下定義新的定性運算規(guī)則表并討論其性質(zhì)，其中包括筆者定義的定性⑨、⑧運算。隨后引人定性關(guān)系的概念，在此基礎(chǔ)上討論了定性綜合評判，最后研究了定性關(guān)系方程的求解，并將其運用到模糊控制中關(guān)掛詞:定性演算定性關(guān)系綜合評判刁模糊控制引言定性

2、推理的方法主要來源于對現(xiàn)實世界物理系統(tǒng)的研究川。為從宏觀上搞清一個物理系統(tǒng)，有時并不需要過于精確的定量方法，往往定性的方法更加簡捷方便，也更加實用有效，用定性與定量綜合集成的方法來進(jìn)行智能控制研究在近幾年已成為大趨勢。不確定性推理Cz.17和定性推理Ca1正是這種發(fā)展趨勢的動力之一，所以定性推理的方法在模糊控制及綜合評判的發(fā)展中都起到重要的作用。已有的定性推理川中首先將一些具體的事物抽象化，并歸人有限的幾個類，不妨稱之為“定性化”。其最

3、典型的作法是像dekleer和Brown`〕那樣把實數(shù)分為三類:大于。，等于。，和小于。。用符號仁x〕表示x的值經(jīng)定性化后的歸類，它們是:Cx7十10一1x。x今。x0.70.7)r0.3。，3妻二)E川E一0.3(二(一E一0.7簇z一0.3一1毛T一0.7.分類1與分類2代表了兩種不同的劃分類型—非均勻劃分和基本均勻的劃分，分類的不同必然引起定性運算結(jié)果的不同，也就是在不同的系統(tǒng)內(nèi)定性運算規(guī)則表不同，下面針對分類1和分類2分別定義定

4、性運算0，e，⑧，。，8，②及定性⑨、⑦運算，見表1.1^1.18.注1.2關(guān)于定性演算的定義有幾點需要說明:1.由于定性推理的產(chǎn)生就是因為系統(tǒng)缺少原理性描述，要想進(jìn)行在定量基礎(chǔ)上的推導(dǎo)是十分繁雜而且有時是不可行的，所以才要引人定性值，想從宏觀上控制物理系統(tǒng)。在定義定性演算過程中隨著類的增加，系統(tǒng)內(nèi)的定性信息增加，便于更好的進(jìn)行宏觀控制，但同時系統(tǒng)內(nèi)的未確定值也隨之而增加，如果我們在不太影響整個系統(tǒng)的前提下對一些未確定值給予最大可能的定

5、性值，則可得到一個與現(xiàn)實系統(tǒng)相類似的擬系統(tǒng)。擬系統(tǒng)的運行一定與現(xiàn)實系統(tǒng)有差別，但可將擬系統(tǒng)的運行看做現(xiàn)實系統(tǒng)的運行的近似情況，若在具體推導(dǎo)下加人適量已知系統(tǒng)的定量信息加以調(diào)整擬系統(tǒng)的運行，就可以得到與現(xiàn)實系統(tǒng)十分相似的運行，也可近似看做現(xiàn)實系統(tǒng)的真實運行。2對于擬系統(tǒng)來說也仍存在著未知值，’”所以要把集合Q擴展為K=3210，一12，一3).則Q，對于下述定性運算封閉。3.同樣鑒于未知值“”的存在，應(yīng)將下列各表的行與列各加一項“”，使得

6、所有的基本定性運算在整個Q‘上均有定義，定義:(EX〕⑨)=(心[x])=(嗯)=巨〕=其中‘..”是任意的基本定性運算，“=”除具有原有意義連接兩個完全相等的定量值外，在定性運算中還可以連接兩個完全屬于同類的定性值，即“二”是嚴(yán)格意義下的相等。4.在比較運算e和。中，百及暮代表定性值進(jìn)行定性運算曰及。時定性關(guān)系“e及。”的真假程度值，即321分別代表真的程度最大、居中、較小，。代表不真也不假，一3，一2，一1代表假的程度最大、居中、較