本文關(guān)鍵詞：基于直覺模糊命題邏輯的（α，，β）-廣義鎖歸結(jié)方法，由筆耕文化傳播整理發(fā)布。

【摘要】：直覺模糊集是可以同時反映事物的可信程度與不可信程度的集合。所以,直覺模糊邏輯比模糊邏輯更廣泛的解釋日常生活中事物或現(xiàn)象的不確定性的模糊現(xiàn)象。歸結(jié)方法是定理機器證明的重要工具。歸結(jié)原理簡潔而又美觀,吸引眾多學(xué)者投入到歸結(jié)原理的研究隊伍中去。由于傳統(tǒng)的直覺模糊邏輯的歸結(jié)原理存在著歸結(jié)過程較復(fù)雜、計算機工作量較大的現(xiàn)象,因此,本文基于經(jīng)典歸結(jié)方法中鎖歸結(jié)方法的思想提出了直覺模糊命題邏輯的(α,β)-廣義鎖歸結(jié)方法。此歸結(jié)方法比直覺模糊邏輯傳統(tǒng)的歸結(jié)方法更易實現(xiàn)。此外,本文在直覺模糊命題邏輯(α,β)-廣義鎖歸結(jié)方法的基礎(chǔ)上,提出了直覺模糊命題邏輯系統(tǒng)的(α,β)-準鎖語義歸結(jié)方法。進一步約束了冗余子句的產(chǎn)生,減少了計算機的工作量。本文的主要研究成果如下:為了簡化直覺模糊命題邏輯的歸結(jié)過程,本文基于直覺模糊命題邏輯歸結(jié)原理的一般形式,提出了子句(α,β)-可滿足和(α,β)-歸結(jié)式的概念,證明了廣義子句與其(α,β)-歸結(jié)式的同可滿足性。在直覺模糊命題邏輯系統(tǒng)中給廣義子句配鎖,規(guī)定在做歸結(jié)時各子句中被消去文字在該子句中的序號最小,由此建立了直覺模糊命題邏輯的(α,β)-廣義鎖歸結(jié)方法,并證明了該方法的可靠性和完備性。給出了直覺模糊命題邏輯的(α,β)-廣義鎖歸結(jié)算法步驟,并通過實例說明該方法的有效性。為了提高直覺模糊命題邏輯的(α,β)-鎖歸結(jié)效率,將準鎖語義歸結(jié)策略應(yīng)用于(α,β)-歸結(jié)原理,得到了直覺模糊命題邏輯的(α,β)-準鎖語義歸結(jié)方法,并證明了該歸結(jié)方法的可靠性與完備性。給出了直覺模糊命題邏輯系統(tǒng)的(α,β)-準鎖語義歸結(jié)和(α,β)-準鎖語義歸結(jié)演繹的概念。討論了直覺模糊命題邏輯系統(tǒng)中的(α,β)-準鎖語義歸結(jié)式和廣義鎖子句的合并規(guī)則。給出了直覺模糊命題邏輯系統(tǒng)的(α,β)-準鎖語義歸結(jié)算法,并通過實例說明了該方法的有效性。
【關(guān)鍵詞】：自動推理 直覺模糊邏輯 (α β)-廣義鎖歸結(jié)方法 (α β)-準鎖語義歸結(jié) 完備性定理
【學(xué)位授予單位】：遼寧師范大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2015
【分類號】：O159
【目錄】：

• 摘要4-5
• Abstract5-8
• 1 緒論8-14
• 1.1 研究背景8-9
• 1.2 國內(nèi)外相關(guān)研究綜述9-12
• 1.2.1 直覺模糊推理的研究現(xiàn)狀9-11
• 1.2.2 歸結(jié)自動推理的研究現(xiàn)狀11-12
• 1.3 本文研究內(nèi)容12
• 1.4 文章結(jié)構(gòu)12-14
• 2 預(yù)備知識14-19
• 2.1 直覺模糊集14
• 2.2 直覺模糊邏輯14-19
• 3 直覺模糊邏輯的(α, β)-廣義鎖歸結(jié)方法19-28
• 3.1 直覺模糊邏輯的(α, β)-歸結(jié)方法19-21
• 3.2 直覺模糊邏輯的(α, β)-廣義鎖歸結(jié)方法21-23
• 3.3 直覺模糊邏輯的(α, β)-廣義鎖歸結(jié)算法23-27
• 3.4 本章小結(jié)27-28
• 4 直覺模糊邏輯的(α, β)-準鎖語義歸結(jié)方法28-37
• 4.1 直覺模糊邏輯的(α,β)-準鎖語義互撞28-29
• 4.2 直覺模糊邏輯的(α, β)-準鎖語義歸結(jié)方法29-32
• 4.3 直覺模糊邏輯的(α, β)-準鎖語義歸結(jié)算法32-36
• 4.4 本章小結(jié)36-37
• 5 總結(jié)與展望37-39
• 參考文獻39-42
• 攻讀碩士學(xué)位期間發(fā)表學(xué)術(shù)論文情況42-43
• 致謝43

【相似文獻】

中國期刊全文數(shù)據(jù)庫 前8條

1 劉敘華,楊玉普;線性半鎖歸結(jié)方法[J];科學(xué)通報;1990年18期

2 孫吉貴,劉敘華;廣義線性半鎖歸結(jié)[J];科學(xué)通報;1992年19期

3 劉敘華,陳斌;廣義RUE-NRF歸結(jié)的配鎖[J];吉林大學(xué)自然科學(xué)學(xué)報;1993年02期

4 劉敘華,歐陽繼紅;自動定理證明中RUE-NRF單元輸入和鎖的演繹[J];吉林大學(xué)自然科學(xué)學(xué)報;1989年02期

5 劉敘華,楊鳳杰;λ-Horn集上的λ-單元鎖歸結(jié)[J];吉林大學(xué)自然科學(xué)學(xué)報;1989年03期

6 劉敘華,楊鳳杰;λ-Horn集上的λ-單元鎖歸結(jié)[J];科學(xué)通報;1989年01期

7 劉敘華;Horn集上的輸入半鎖歸結(jié)原理[J];科學(xué)通報;1985年16期

8 ;[J];;年期

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前2條

1 劉迪;基于直覺模糊命題邏輯的（α，β）-廣義鎖歸結(jié)方法[D];遼寧師范大學(xué);2015年

2 惠驍;命題信念集非修正方法的優(yōu)化策略研究[D];大連海事大學(xué);2014年

  本文關(guān)鍵詞：基于直覺模糊命題邏輯的（α，β）-廣義鎖歸結(jié)方法，由筆耕文化傳播整理發(fā)布。

本文編號：354022