人工智能領(lǐng)域中的一個極具有挑戰(zhàn)性的研究方面是自動推理(定理機器證明),歸結(jié)自動推理是自動推理的重要研究方向之一,其研究成果已被應(yīng)用到很多重要領(lǐng)域,如人工智能、邏輯編程、問題求解、軟件模型檢測與測試、安全協(xié)議、程序自動驗證、應(yīng)答系統(tǒng)等方面。現(xiàn)實世界中經(jīng)常遇到一些由于其多因素而產(chǎn)生不可比較性的問題,這類帶有不可比較性信息的問題往往很復(fù)雜�；诟裉N涵代數(shù)的格值邏輯系統(tǒng)的歸結(jié)自動推理是解決這類問題的有效方法之一。本文在其他學(xué)者的工作基礎(chǔ)上,依據(jù)經(jīng)典邏輯的歸結(jié)推理方法,對基于格蘊涵代數(shù)的格值邏輯系統(tǒng)的α-多元線性歸結(jié)自動推理的理論、方法、算法、程序展開研究。取得的研究成果主要有以下五個方面:第一部分,在基于Lukαsiewicz蘊涵代數(shù)Ln的格值命題邏輯系統(tǒng)LnP(X)中,得到了一類3階不可分極簡式(3-IESF)所有可能的形式,針對其中一類特別重要的3-IESF,給出了它與n-IESF(0≤n≤3)之間的α -可歸結(jié)性。第二部分,在基于格值邏輯系統(tǒng)的α-多元歸結(jié)原理的基礎(chǔ)上,針對廣義文字所有分類的分界廣義文字,給出了它們之間任意三個廣義文字的α-可歸結(jié)性,進(jìn)一步得到了格值邏輯系統(tǒng)中的α-多元歸結(jié)...

【文章頁數(shù)】：182 頁

【學(xué)位級別】：博士

【部分圖文】：

圖４－２從＾到ａ－？的ａ－多元有序線性極小歸結(jié)演繹流程圖??ｉ５＇Ｊ?４．３．３?ｉ＾Ｃ，?＝ｘ－＾３；，?Ｃ２?＝（ｘ＾ｚｙ?ｖ（５＾－／），?Ｃ３＝ｙ＇＼／（ｙ－＾ｚ）＼／｛ｓ＾｛ａ４，ｂ＾Ｙ??

Ａ?＝?＾ｐ（ｏｇ－ａ）?（Ｄ３，Ｃ５）?＝?ａ〇??為了更直觀的看到歸結(jié)演繹過程，接下來給出ａ－多元有序線性極小歸結(jié)演繹??的演繹流程圖，如圖４－２：??｛（Ｘ?一：）’ｖ（ｓ—??（ｎ）?ｖ（ｎ２）?ｖ（〇■廣０?｝??？ｒ—ｖ?ｍ??（ａ７＾ｑ）ｖａ??Ｘ?（ｓ＾ｒｙ??（....

本文編號：4037487