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

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

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

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

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