基于直覺模糊命題邏輯的（α,β）——廣義鎖歸結(jié)方法.pdf

1、直覺模糊集是可以同時反映事物的可信程度與不可信程度的集合。所以，直覺模糊邏輯比模糊邏輯更廣泛的解釋日常生活中事物或現(xiàn)象的不確定性的模糊現(xiàn)象。歸結(jié)方法是定理機器證明的重要工具。歸結(jié)原理簡潔而又美觀，吸引眾多學(xué)者投入到歸結(jié)原理的研究隊伍中去。由于傳統(tǒng)的直覺模糊邏輯的歸結(jié)原理存在著歸結(jié)過程較復(fù)雜、計算機工作量較大的現(xiàn)象，因此，本文基于經(jīng)典歸結(jié)方法中鎖歸結(jié)方法的思想提出了直覺模糊命題邏輯的（α，β)-廣義鎖歸結(jié)方法。此歸結(jié)方法比直覺模糊邏輯傳統(tǒng)

2、的歸結(jié)方法更易實現(xiàn)。此外，本文在直覺模糊命題邏輯（α，β)-廣義鎖歸結(jié)方法的基礎(chǔ)上，提出了直覺模糊命題邏輯系統(tǒng)的（α，β)-準鎖語義歸結(jié)方法。進一步約束了冗余子句的產(chǎn)生，減少了計算機的工作量。本文的主要研究成果如下:
　　為了簡化直覺模糊命題邏輯的歸結(jié)過程，本文基于直覺模糊命題邏輯歸結(jié)原理的一般形式，提出了子句（α，β)-可滿足和（α，β)-歸結(jié)式的概念，證明了廣義子句與其（α，β)-歸結(jié)式的同可滿足性。在直覺模糊命題邏輯系統(tǒng)中給

3、廣義子句配鎖，規(guī)定在做歸結(jié)時各子句中被消去文字在該子句中的序號最小，由此建立了直覺模糊命題邏輯的（α，β)-廣義鎖歸結(jié)方法，并證明了該方法的可靠性和完備性。給出了直覺模糊命題邏輯的(α，β)-廣義鎖歸結(jié)算法步驟，并通過實例說明該方法的有效性。
　　為了提高直覺模糊命題邏輯的(α，β)-鎖歸結(jié)效率，將準鎖語義歸結(jié)策略應(yīng)用于（α，β)-歸結(jié)原理，得到了直覺模糊命題邏輯的（α，β)-準鎖語義歸結(jié)方法，并證明了該歸結(jié)方法的可靠性與完備性。