算子模糊邏輯

在OFL系統(tǒng)中：

( l ) 文字具有形式λ1…λnP，其中λ1是算子，P是二值邏輯中的原子，故OFL 中公式的解釋和二值公式的解釋相同；

( 2 ) 一般地λ1…λnP

( 3 ) 算子格中的運(yùn)算·，可以取做算術(shù)平均值運(yùn)算。

由于在OFL系統(tǒng)中，λ1…λnP

自從1965年Zadeh教授提出Fuzzy集理論后；Fuzzy邏輯及其Fuzzy推理就成為計(jì)算機(jī)科學(xué)家們感興趣的問(wèn)題，井逐漸被承認(rèn)為人工智能理論基礎(chǔ)中一個(gè)重要組成部份。

1971年Lee和 Chang提出了建立在[0,1]區(qū)間上的 Fuzzy 邏輯，井將歸結(jié)方法引入Fuzzy邏輯做為一種反向 Fuzzy推理規(guī)則。

1975年Zadeh提出了模糊語(yǔ)言邏輯和給出了一種正向 Fuzzy推理規(guī)則。

1980年劉敘華教授根據(jù)模糊語(yǔ)言邏輯中的 Fuzzy命題的真值是取在由Fuzzy集組成的格上的特點(diǎn)，建立了真值取在格上的 Fuzzy邏輯，并將歸結(jié)方法引人該邏輯 ，得到一種反向 Fuzzy 推理規(guī)則。

Zadeh的模糊語(yǔ)言邏輯是建立在嶄新的語(yǔ)言變量這個(gè)概念上，由于它緊緊抓住了語(yǔ)言模糊這個(gè)本質(zhì)現(xiàn)象，因此這個(gè)邏輯系統(tǒng)表現(xiàn)出豐富的內(nèi)涵，但是， 該系統(tǒng)提出的對(duì)于程度詞的處理還是初步的。

劉敘華教授提出的格上的 Fuzzy 邏輯，雖然是比模糊語(yǔ)言邏輯更為一般的抽象，但是由于這種數(shù)學(xué)上的抽象，使得該系統(tǒng)不能明晰的顯現(xiàn) Fuzzy命題和Fuzzy推理的特點(diǎn)，因?yàn)樵撓道@對(duì)Fuzzy命題的描寫(xiě)，在形式上和二 值邏輯對(duì)普通命題的描寫(xiě)沒(méi)有區(qū)別，F(xiàn)uzzy 命題與普通命題的唯一區(qū)別隱藏在原子的真值里。

因此，1984年劉敘華教授等人提出了一種所謂“算子Fuzzy邏輯”的概念。在這種系統(tǒng)里，一個(gè)Fuzzy命題中的所有程度詞，都可明晰的用算子表示出來(lái)，這種表示方式，在形式上有點(diǎn)類(lèi)似著名專(zhuān)家系統(tǒng)MYCIN 中的知識(shí)和規(guī)則。將歸結(jié)方法引人這個(gè)系統(tǒng)，得到了所謂2一歸結(jié)方法。引進(jìn)了一個(gè)定理的λ一恒真和λ一恒假的概念， 亦即，不僅能描述一個(gè)Fuzzy定理，而且能描述這個(gè)Fuzzy 定理能在多大程度上成立的模糊程度。λ一歸結(jié)方法做為反向 Fuzzy推理規(guī)則，能夠反證任何一個(gè)在算子Fuzzy邏輯系統(tǒng)中，任意一個(gè) λ一恒假的 Fuzzy定理。

本項(xiàng)目在已有工作基礎(chǔ)上，對(duì)算子模糊邏輯及推理方法做進(jìn)一步研究。使用算子顯示地描述模糊命題的不確定性，將對(duì)模糊推理中對(duì)模糊命題的不一致性和不完全性的處理轉(zhuǎn)化為對(duì)算子的計(jì)算過(guò)程。通過(guò)形式演繹描述和處理人類(lèi)基于知識(shí)的推理形為的規(guī)律和特征。將一階邏輯中的歸結(jié)方法及其一些改進(jìn)方案推廣到布爾算子模糊邏輯中，通過(guò)引進(jìn)公式恒真水平和恒假水平的概念，證明了其廣義完備性。通過(guò)對(duì)布爾算子模糊邏輯的初步研究，還促進(jìn)我們進(jìn)一步修正和改進(jìn)已有的算子模糊邏輯中的某些結(jié)論，對(duì)建立良好的實(shí)用定量模型的方法以做了有益的探索。我們正對(duì)布爾算子模糊邏輯做進(jìn)一步的研究，有望獲得實(shí)質(zhì)性進(jìn)展。 2100433B

工程師們對(duì)模糊邏輯的了解已經(jīng)超過(guò)35年。模糊控制的魅力在于小規(guī)模的微型控制器，因?yàn)檫@一技術(shù)比常規(guī)的PID要求較少的計(jì)算冪和更少的操作存儲(chǔ)量。

模糊控制的基本形式可模擬人工控制過(guò)程。根據(jù)瞬時(shí)溫度背離設(shè)定值（調(diào)節(jié)誤差，e(n)）的程度和溫度改變的速率（或調(diào)節(jié)誤差的背離，(e(n))，人工調(diào)整應(yīng)用于加熱成分的冪。整個(gè)過(guò)程由系統(tǒng)的物理或數(shù)學(xué)性質(zhì)決定。溫度的背離和溫度的改變速率是高？是低？還是中等？模糊控制以同樣的過(guò)程變量狀態(tài)運(yùn)行。

模糊溫度控制器的框圖表明，模糊控制器的輸出是如何在功能加強(qiáng)的傳統(tǒng)的PID控制器的情況下與前饋模塊的輸出相結(jié)合的。類(lèi)似的適配模塊可使解模糊化過(guò)程優(yōu)化（使模糊化輸出變量成為明確的輸出值），并且同時(shí)幫助加熱器模塊更真實(shí)反映加熱過(guò)程。