本文關(guān)鍵詞：擾動(dòng)模糊命題邏輯系統(tǒng)的語義，由筆耕文化傳播整理發(fā)布。

文檔介紹：
遼寧師范大學(xué)碩士研究生學(xué)位論文淪文題。目:擾動(dòng)模糊命題邏輯系統(tǒng)的語義研究生:盞艷甲指導(dǎo)教師:陳圖公教授學(xué)科專、№麻用數(shù)學(xué)年級(jí):2002級(jí)遼寧師范大學(xué)研究崔部擾動(dòng)模糊命題邏輯系統(tǒng)的語義擾動(dòng)模糊命題邏輯系統(tǒng)的語義研究生:孟艷平指導(dǎo)教師:陳圖云專業(yè):應(yīng)用數(shù)學(xué)研究方向:數(shù)理邏輯及其對(duì)計(jì)算機(jī)的應(yīng)用摘要:擾動(dòng)模糊命題邏輯系統(tǒng)的產(chǎn)生源于實(shí)際問題的需要,但在該系統(tǒng)中對(duì)王國(guó)俊教授關(guān)于一維邏輯系統(tǒng)形中廣義重言式理論到二維邏輯系統(tǒng)的推廣工作進(jìn)行得并不順利.本文通過修改二維蘊(yùn)涵算子,建立一個(gè)新的擾動(dòng)模糊命題邏輯系統(tǒng)D,將王國(guó)俊教授關(guān)于一維邏輯系統(tǒng)礦中廣義重言式理論推廣到二維相應(yīng)的擾動(dòng)模糊命題邏輯系統(tǒng)中,得到與之類似的結(jié)果.首先,本文給出了邏輯系統(tǒng)D,D中的廠‘義重言式的分類,對(duì)偶地,也討論了邏輯系統(tǒng)D,D中的廣義矛盾式的分類.其次,不僅給出了無限值邏輯系統(tǒng)D,D中的升值算法,還討論了有限擾動(dòng)模糊邏輯系統(tǒng)D。中的公式分類及升級(jí)算法.最后,討論了該系統(tǒng)中的廣義語義MP規(guī)則和廣義語義Hs規(guī)則.本文表明在某些特殊的二維賦值格上,王教授關(guān)于一維賦值格的理論完全可以推廣.關(guān)鍵詞:模糊邏輯;命題邏輯;廠義重言式;升級(jí)算法;廣義語義MP規(guī)則;廣義語義HS規(guī)則引言數(shù)理邏輯已有300多... 內(nèi)容來自轉(zhuǎn)載請(qǐng)標(biāo)明出處.

  本文關(guān)鍵詞：擾動(dòng)模糊命題邏輯系統(tǒng)的語義，由筆耕文化傳播整理發(fā)布。