模糊時(shí)序命題邏輯系統(tǒng)的語(yǔ)義.pdf

1、時(shí)序邏輯是一種特殊的模態(tài)邏輯，它不僅是程序語(yǔ)義描述的有力工具，而且在知識(shí)的形式表示方面表現(xiàn)出越來(lái)越多的優(yōu)越性.但遺憾的是對(duì)于時(shí)序邏輯的研究多限于賦值為0和1的經(jīng)典時(shí)序邏輯，而正如同將經(jīng)典邏輯模糊化得到模糊邏輯一樣，將時(shí)序邏輯模糊化得到模糊時(shí)序邏輯也是一個(gè)值得研究的課題.本文首先對(duì)泛代數(shù)的理論進(jìn)行推廣，提出廣義泛代數(shù)的概念；將時(shí)序邏輯系統(tǒng)MPTL模糊化，定義了模糊算子□，◇和，討論了模糊時(shí)序邏輯FMPTL的語(yǔ)義，再由邏輯等價(jià)出發(fā)，討論一些

2、含模態(tài)詞的公式的化簡(jiǎn)問(wèn)題；然后從有限模糊時(shí)序邏輯代數(shù)及其子代數(shù)出發(fā)，研究了有限模糊時(shí)序邏輯的廣義重言式；在此基礎(chǔ)上進(jìn)一步研究了賦值格為[0，1]的模糊時(shí)序命題系統(tǒng)M的廣義重言式的性質(zhì)及其分類(lèi)，得到了與王國(guó)俊教授類(lèi)似的結(jié)果；又給出了部分賦值的廣義重言式的定義，在其中討論了重言式的類(lèi)類(lèi)互異定理和升級(jí)算法；再證明了有限模糊時(shí)序邏輯系統(tǒng)中廣義重言式的重言式表示定理；最后研究了系統(tǒng)M中的廣義語(yǔ)義MP規(guī)則和廣義語(yǔ)義HS規(guī)則.并且為了簡(jiǎn)化問(wèn)題，本文只