模糊邏輯系統(tǒng)中的形式化證明.pdf

1、眾所周知，模糊邏輯是由經(jīng)典邏輯和多值邏輯推廣而來的.如今，模糊邏輯在現(xiàn)實生活中的各個領(lǐng)域獲得了廣泛的應(yīng)用，尤其是在人工智能領(lǐng)域、自動控制以及聚類分析領(lǐng)域.這些突出的成就使得其在研究不確定性問題中成為了最重要的研究方法與手段.近年來，模糊邏輯系統(tǒng)中的形式化證明也成為了模糊邏輯的一個新的研究熱點.
　　在模糊邏輯的眾多研究方向之中有兩個最重要的研究方向，那就是語義學(xué)方向與語構(gòu)學(xué)方向.不論國內(nèi)還是國外在模糊邏輯的研究中關(guān)注的更多的是語義

2、學(xué)方面的研究.例如證明真值函數(shù)的完備性、代數(shù)問題的研究等都是基于語義學(xué)方面的研究.雖然模糊邏輯取得了斐然的研究成果，但是在語構(gòu)學(xué)方面的研究還是相對較少.本文嘗試通過對模糊邏輯系統(tǒng)中的形式化證明，即模糊命題形式系統(tǒng)的等價性證明來填補模糊邏輯在語構(gòu)學(xué)方面研究較少的這一缺陷.
　　本文的主要研究工作可分為以下三個部分：
　　1.介紹了模糊邏輯系統(tǒng)中形式證明的構(gòu)造論及其證明論，并且在此基礎(chǔ)上對幾種常見的形式系統(tǒng)之間的聯(lián)系進行了分析.