本文關(guān)鍵詞：基于不均勻概率的模糊模態(tài)邏輯，由筆耕文化傳播整理發(fā)布。

網(wǎng)站位置：7彩論文代寫網(wǎng) >> 哲學論文 >> 邏輯學論文 >> 瀏覽文章

對于重言基于不均勻概率的模糊模態(tài)邏輯如何寫論文

論文導讀：含有◇_α和口_(1-α)的模糊模態(tài)邏輯體系15-22第三章 基本模態(tài)邏輯的模糊語義22-313.1 賦值格為的模糊模態(tài)邏輯22-233.2 賦值格為W_n的模糊模態(tài)邏輯極為上的廣義模態(tài)重言式23-31第四章 小結(jié)與展望31-32參考文獻32-34致謝34-35              

摘要：隨著模態(tài)邏輯在思維科學、計算機科學等領域內(nèi)的運用日益廣泛,討論模糊模態(tài)邏輯就顯得很有作用.許多學者使用不同的辦法探討了模糊模態(tài)邏輯,如對模態(tài)算子進行模糊化定義,對模態(tài)詞的歸約,對直覺模糊模態(tài)邏輯的探討等.本論文從基本模態(tài)邏輯體系為基礎,引入模糊模態(tài)算子的概念,通過在模型M=(W,R,V)的論域W上引入不均勻概率P給出模糊模態(tài)算子的新的語義,證明了模糊模態(tài)算子的對偶性質(zhì),將模糊模態(tài)算子納入模態(tài)邏輯體系中去,并賦予適當?shù)墓�理集和推理�?guī)則,形成比模態(tài)邏輯體系具有更強的表達和推理能力的模糊模態(tài)邏輯體系.本論文還討論了賦值格為Wn的模糊模態(tài)邏輯,給出了賦值格為wn的廣義模態(tài)重言式的定義,并對廣義模態(tài)重言式進行了分類,證明了可達廣義模態(tài)重言式類類不空定理和廣義模態(tài)重言式的類類互異定理等.這些探討,不僅使我們對廣義模態(tài)重言式有更深刻的了解,而且為模糊模態(tài)邏輯的探討提供了新的探討辦法,注入新的活力.第一章作為預備,主要簡介有關(guān)模態(tài)邏輯從及概率的幾點簡單知識.第二章以日常生活中經(jīng)常出現(xiàn)的諸如“有點可能”,“非�？赡堋钡让枋鋈胧�,提出了兩個新的模態(tài)詞“α-可能”和“p-必定”.借助于新的模態(tài)模型,給出了模糊模態(tài)算子口8和◇α的語義論述并得到了若干有用的結(jié)論.將模糊模態(tài)算子納入模態(tài)邏輯體系中,得到一個比模態(tài)邏輯體系具有更強的表達和推理能力的模糊模態(tài)邏輯體系.第三章在模態(tài)邏輯體系關(guān)于賦值V的語義基礎上,將賦值格[0,1]離散化為Wn.重點討論了滿足V(cp,w)≥α的廣義模態(tài)重言式的概念,并對Wn中的廣義模態(tài)重言式進行了分類,證明了廣義模態(tài)重言式的類類互異定理,給出了廣義模態(tài)重言式的模態(tài)重言式表示定理.第四章概括本論文的主要結(jié)果,并對可繼續(xù)探討的不足做一下簡單的預想. 關(guān)鍵詞：不均勻概率論文 模糊模態(tài)邏輯論文 模態(tài)算子論文 廣義重言式論文
本論文由整理提供,需要論文服務可從關(guān)系客服人員哦。

摘要3-4

Abstract4-5

符號說明5-6

第一章 引言與預備6-11

1.1 引言6-8

1.2 預備知識8-11

第二章 模糊模態(tài)邏輯體系11-22

2.1 模糊模態(tài)算子◇_α和□_β11-15

2.2 含有◇_α和口_(1-α)的模糊模態(tài)邏輯體系15-22

第三章 基本模態(tài)邏輯的模糊語義22-31

3.1 賦值格為[0,1]的模糊模態(tài)邏輯22-23

3.2 賦值格為W_n的模糊模態(tài)邏輯極為上的廣義模態(tài)重言式23-31

第四章 小結(jié)與展望31-32

參考文獻32-34

致謝34-35

上一論文：試議邏輯以《邏輯指要》看章士釗的邏輯思想序言范文

下一論文：探討生態(tài)程顥思想與生態(tài)美學建構(gòu)的中國資源論文網(wǎng)

論文寫作技巧

  本文關(guān)鍵詞：基于不均勻概率的模糊模態(tài)邏輯，，由筆耕文化傳播整理發(fā)布。