基于語(yǔ)言真值格值一階邏輯的不確定性推理研究.pdf

1、本文將語(yǔ)言真值格蘊(yùn)涵代數(shù)引入到格值一階邏輯中，對(duì)語(yǔ)言真值格蘊(yùn)涵代數(shù)的一些代數(shù)結(jié)構(gòu)、基于語(yǔ)言真值格值一階邏輯的不確定性推理的理論與方法、基于語(yǔ)言真值分層格值一階邏輯的不確定性推理的理論與方法進(jìn)行了研究，并取得如下四個(gè)方面的研究成果：
　　 ㈠關(guān)于格蘊(yùn)涵代數(shù)的研究。⑴在格蘊(yùn)涵多項(xiàng)式的基礎(chǔ)上，重新給出了格蘊(yùn)涵代數(shù)不等式的定義，提出了幾類格蘊(yùn)涵代數(shù)不等式解集的結(jié)構(gòu)特征，并得到了有些解集可構(gòu)成濾子和理想的結(jié)構(gòu)；⑵提出了WLI-理想的定義，

2、給出了WLI-理想以及由WLI-理想所生成拓?fù)淇臻g的性質(zhì)，得到了滿足第二可數(shù)性公理的充分必要條件；⑶提出了賦范格H蘊(yùn)涵代數(shù)、蘊(yùn)涵距離d→、()-距離d()、＾-距離d＾的定義，給出了賦范蘊(yùn)涵滿射、賦范格H蘊(yùn)涵同態(tài)、賦范格H蘊(yùn)涵同構(gòu)以及賦范同構(gòu)的性質(zhì)，并證明了收斂數(shù)列的有界性和蘊(yùn)涵距離是有界的結(jié)論.
　　 ㈡關(guān)于語(yǔ)言真值格蘊(yùn)涵代數(shù)的研究。⑴給出了語(yǔ)言真值格蘊(yùn)涵代數(shù)中對(duì)偶分子的推理性質(zhì)，證明了對(duì)偶分子在一定程度上對(duì)算子∨、∧、→具有

3、閉性；⑵提出了語(yǔ)言真值格蘊(yùn)涵代數(shù)中蘊(yùn)涵不可約元素的定義，給出了它的推理性質(zhì).
　　 ㈢關(guān)于語(yǔ)言真值格語(yǔ)言真值格值一階邏輯系統(tǒng)Lv(n×2)F(X)上的不確定性推理研究。⑴提出了基于語(yǔ)言真值格值一階邏輯系統(tǒng)Lv(n×2)F(X)的不確定性推理理論與方法；⑵基于語(yǔ)言真值格值一階邏輯系統(tǒng)Lv(n×2)F(X)，給出了帶廣義量詞的推理規(guī)則，并證明了這些推理規(guī)則的合理性；⑶提出了兩種推理模型中的不確定性推理理論與方法.
　　 ㈣關(guān)

4、于基于語(yǔ)言真值分層格值一階邏輯系統(tǒng)LV(n×2)fl的不確定性推理研究。⑴基于語(yǔ)言真值分層格值一階邏輯系統(tǒng)LV(n×2)fl，給出了推理規(guī)則在(α0，β0)≤＾θ∈Lv(n×2)(θ()θ')(θ≠(an，t))水平下的不確定性推理理論與方法，并證明了這些推理方法的合理性；⑵提出了基于語(yǔ)言真值分層格值一階邏輯系統(tǒng)LV(n×2)fl的不確定性推理模型的正則條件以及基于語(yǔ)言真值分層格值一階邏輯系統(tǒng)LV(n×2)fl在蘊(yùn)涵不可約元素集下的不確