發(fā)布時(shí)間：2025-03-20 05:56

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

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

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

【部分圖文】：

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

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

本文編號(hào)：4037487