基于格值邏輯的語言真值語義歸結(jié)自動推理研究.pdf

1、基于格值邏輯系統(tǒng)的智能信息處理是人工智能的一個重要研究方向，能夠?qū)胁豢杀容^性信息進(jìn)行有效地刻畫;另外人們對事物進(jìn)行推理、判斷與決策時經(jīng)常用語言值進(jìn)行描述，因而基于語言值的智能信息處理理論與方法，也是目前較為活躍的一個研究領(lǐng)域。
　　本文在已有關(guān)于基于經(jīng)典邏輯的歸結(jié)自動推理以及基于格值邏輯的歸結(jié)自動推理的基礎(chǔ)上，對基于格值邏輯的歸結(jié)自動推理理論、方法、算法與程序進(jìn)行了系統(tǒng)深入的研究，并取得了以下幾個方面的研究成果:
　　第

2、一部分 格值命題邏輯系統(tǒng)（Ln×L2）P(X)中廣義文字的α-歸結(jié)性。
　　基于格值命題邏輯系統(tǒng)（Ln×L2）P(X)的真值域的結(jié)構(gòu)特性，對歸結(jié)水平α為對偶分子的情形，給出了(Ln×L2)P(X)中0-IESF、1-IESF、2-IESF與其它廣義文字之間的α-歸結(jié)性。
　　第二部分 格值邏輯系統(tǒng)的α-語義歸結(jié)自動推理。
　　得到了格值命題邏輯系統(tǒng)LP(X)中幾類廣義子句集的性質(zhì)，并建立了這幾類廣義子句集的α-語義歸結(jié)

3、方法，給出了其可靠性與條件完備性，相應(yīng)地，給出了語言真值格值命題邏輯系統(tǒng)LV(n×2）P(X)中的α-語義歸結(jié)與基于Lukasiewicz蘊(yùn)涵代數(shù)的格值命題邏輯LnP(X)中相應(yīng)歸結(jié)水平的語義歸結(jié)的等價轉(zhuǎn)化性;建立了格值一階邏輯系統(tǒng)LF(X)的α-語義歸結(jié)方法，并給出了其可靠性與條件完備性，相應(yīng)地，給出了語言真值格值一階邏輯系統(tǒng)LV(n×2）F(X)中α-語義歸結(jié)與基于Lukasiewicz蘊(yùn)涵代數(shù)的格值一階邏輯LnF(X)中相應(yīng)歸結(jié)水

4、平的語義歸結(jié)之間的等價轉(zhuǎn)化性。
　　第三部分 格值邏輯系統(tǒng)的α-廣義語義歸結(jié)自動推理。
　　建立了格值命題邏輯系統(tǒng)LP(X)中基于一般廣義子句集的α-廣義語義歸結(jié)，并給出了其可靠性與條件完備性，相應(yīng)地，給出了語言真值格值命題邏輯系統(tǒng)LX(n×2）P(X)中的α-廣義語義歸結(jié)與基于Lukasiewicz蘊(yùn)涵代數(shù)的格值命題邏輯LnP(X)中相應(yīng)歸結(jié)水平的廣義語義歸結(jié)的等價轉(zhuǎn)化性;建立了格值一階邏輯系統(tǒng)LF(X)中基于一般廣義子句

5、集的α-廣義語義歸結(jié)方法，并給出了其可靠性與條件完備性，相應(yīng)地，給出了語言真值格值一階邏輯系統(tǒng)L V(n×2）F(X)中基于一般廣義子句集的α-廣義語義歸結(jié)與基于Luka-siewicz蘊(yùn)涵代數(shù)的格值一階邏輯LnF(X)中相應(yīng)歸結(jié)水平的廣義語義歸結(jié)之間的等價轉(zhuǎn)化性。
　　第四部分 格值邏輯系統(tǒng)中歸結(jié)方法的相容性。
　　建立了格值一階邏輯系統(tǒng)LF(X)中α-語義歸結(jié)方法與刪除策略的相容性以及格值一階邏輯系統(tǒng)LF(X)中α-廣義