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

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

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