本文關(guān)鍵詞：互為伴隨的三角模與蘊(yùn)涵算子及蘊(yùn)涵算子的逼近問(wèn)題

  更多相關(guān)文章： 伴隨對(duì) 剩余格 三角模 蘊(yùn)涵算子 R_o─代數(shù)

【摘要】：美國(guó)控制專家L．A．Zadeh于1965年提出了模糊集理論，并成功地 將其應(yīng)用于模糊控制技術(shù)中．模糊控制的關(guān)鍵之處在于模糊規(guī)則的選取和模糊 推理方法的確定．在實(shí)際應(yīng)用中，人們往往是根據(jù)具體問(wèn)題的需要，總結(jié)有關(guān)專 家的經(jīng)驗(yàn)，提出一些模糊控制規(guī)則，并構(gòu)造出相應(yīng)的模糊椎理方法．但這樣得到 的模糊控制帶有濃厚的經(jīng)驗(yàn)色彩，從而沒(méi)有可靠的邏輯基礎(chǔ)．其實(shí)，早在模糊控 制與模糊推理研究以前，帶有不確定色彩的邏輯學(xué)研究就已經(jīng)展開(kāi)．隨著Zadeh 模糊集理論的提出，更加速了非經(jīng)典邏輯的研究與發(fā)展．目前，模糊推理和模糊 邏輯的研究在各自的領(lǐng)域都取得了豐碩的成果，但是二者卻沒(méi)有很好地結(jié)合起 來(lái)． 本文首先注意到，在模糊邏輯中三角模較好地反映了邏輯“與”性質(zhì)，而蘊(yùn) 涵算子的選擇與模糊推理的效果密切相關(guān)，因此互為伴隨的三角模與蘊(yùn)涵算子 的研究對(duì)將模糊推理和模糊邏輯相結(jié)合具有重要而廣泛的意義．比如，[3]中當(dāng) 不利用t-模給出的模糊推理的三I解具有較繁的形式 B*(y)＝sup/x∈Ey{A*(x)∧R_o(A(x),B(Y)},y∈y, 這里 Ey＝{x ∈x|A*(x)十Ro(A(x),B(y))＞1}． 但利用與Ro算子構(gòu)成伴隨對(duì)的t─模(?)上述公式就轉(zhuǎn)化為 B*(y)=sup/x∈x{A*(x)(?)Ro(A(x)),B(y))},y∈Y. 該公式可與利用其他具有伴隨的蘊(yùn)涵算子作工具時(shí)的三I解相統(tǒng)一，本文 的第一部分就基于此，從三角模與蘊(yùn)涵算子出發(fā)研究了其互為伴隨的充要條 件． ·1· 第二部分從阿基米德t一范定義的剩余型蘊(yùn)涵出發(fā)，著重探討了利用這種 特殊的連續(xù)蘊(yùn)涵算子逼近不連續(xù)的蘊(yùn)涵，尤其是R。一算子，R。一算子滿足D一 P條件 RI）～R 9人同時(shí)它的傳遞性明顯優(yōu)于 Lukasiewicz蘊(yùn)涵，雖然它不是連 續(xù)蘊(yùn)涵，但可以通過(guò)構(gòu)造一列連續(xù)的蘊(yùn)涵算子來(lái)逼近它． 第三部分從滿足性質(zhì)a③b＝一k、fo）的剩余格出發(fā)建立了相應(yīng)的形 式系統(tǒng)y’，討論了y’的語(yǔ)義理論及k」完備性． 王國(guó)俊教授在文獻(xiàn)【201中引入了蘊(yùn)涵格概念，以后蘊(yùn)涵格被進(jìn)一步加強(qiáng)為 R。一代數(shù)，本文的第四部分以濾子與模糊濾子為工具，研究了R。一代數(shù)上的同 余關(guān)系的結(jié)構(gòu)，，并給出了RO代數(shù)可用R。一算子表達(dá)的充分條件以及濾子與模 糊濾子之間的聯(lián)系．
【關(guān)鍵詞】：伴隨對(duì) 剩余格 三角模 蘊(yùn)涵算子 R_o─代數(shù)
【學(xué)位授予單位】：陜西師范大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2001
【分類號(hào)】：O159;B815.6
【目錄】：

• <中文摘要>3-4
• <關(guān)鍵詞>4-5
• <英文摘要>5
• <英文關(guān)鍵詞>5-7
• 引言7-10
• 第一章 互為伴隨的三角模與蘊(yùn)涵算子10-20
• 1.1 剩余格10-11
• 1.2 三角模與蘊(yùn)涵算子11-15
• 1.3 三角模與蘊(yùn)涵算子互為伴隨的充要條件15-20
• 第二章 由阿基米德 t- 范導(dǎo)出的蘊(yùn)涵算子20-27
• 2.1 阿基米德 t- 范及其伴隨蘊(yùn)涵20-22
• 2.2 用連續(xù)的蘊(yùn)涵算子逼近不連續(xù)的蘊(yùn)涵算子22-27
• 第三章 命題演算形式系統(tǒng)(?)27-37
• 3.1 具有CPS（N）性質(zhì)的蘊(yùn)涵算子27-29
• 3.2 CPS(N)型剩余格29-30
• 3.3 命題演算的形式系統(tǒng)(?)30-37
• 第四章 R_o─ 代數(shù)上的同余關(guān)系37-43
• 致謝43-44
• <引文>44-45

【引證文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前1條

1 魏美麗;;一類正規(guī)蘊(yùn)涵及其導(dǎo)出算子[J];科學(xué)技術(shù)與工程;2009年09期

中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù) 前1條

1 孫焱平;模糊邏輯中蘊(yùn)涵算子的構(gòu)造[D];南昌大學(xué);2010年

本文編號(hào)：555595