本文關(guān)鍵詞：n值邏輯系統(tǒng)中命題的絕對(duì)真度及其隨機(jī)化理論，由筆耕文化傳播整理發(fā)布。

蘭州理工大學(xué) 碩士學(xué)位論文 n值邏輯系統(tǒng)中命題的絕對(duì)真度及其隨機(jī)化理論 姓名：李建生 申請(qǐng)學(xué)位級(jí)別：碩士 專業(yè)：運(yùn)籌學(xué)與控制論 指導(dǎo)教師：嚴(yán)克明;李駿 座機(jī)電話號(hào)碼 摘 要 無(wú)論是二值邏輯還是多值邏輯，都注重形式推理而不大關(guān)心數(shù)值計(jì)算．?dāng)?shù)理邏輯 側(cè)重嚴(yán)密的邏輯推理，而缺乏數(shù)值計(jì)算的靈活性和廣泛的應(yīng)用范圍．通過(guò)把數(shù)值計(jì)算 引入到數(shù)理邏輯中，就可以建立起符號(hào)化與數(shù)值計(jì)算之間的聯(lián)系． “指派真值”的做法或多或少已經(jīng)反映出了數(shù)理邏輯概念的程度化思想．程度化 的思想也正是人腦智能的反映．王國(guó)俊教授從邏輯理論基本概念的程度化入手，提出 了計(jì)量邏輯學(xué)，通過(guò)把數(shù)值計(jì)算融入到數(shù)理邏輯系統(tǒng)中，使得數(shù)理邏輯更加靈活，應(yīng) 用也更加廣泛． 計(jì)量邏輯學(xué)研究的邏輯系統(tǒng)主要包括經(jīng)典的二值命題邏輯系統(tǒng)L、．Lul【asiewicz多 值邏輯系統(tǒng)Ln以及命題演算系統(tǒng)幺l王國(guó)俊教授在文獻(xiàn)【9】中通過(guò)引入邏輯公式的的 真度7- A ，進(jìn)一步，引入了公式間的相似度和偽距離，從而建立了一套基于程度化理 論的近似推理框架． 本文的研究目的和主要工作： 1．對(duì)于邏輯系統(tǒng)的代數(shù)結(jié)構(gòu)的研究，是一個(gè)重要的研究課題，，已成為非經(jīng)典邏輯 系統(tǒng)基礎(chǔ)研究和應(yīng)用研究的重要方向之一．本文將主要研究剩余格在幾類常見邏輯系 統(tǒng)中的基本應(yīng)用和特征性質(zhì)． 2．文獻(xiàn) 81基于測(cè)度論的思想，通過(guò)將賦值集向測(cè)度空間中的可測(cè)子集的轉(zhuǎn)化，利 用均勻概率空間的無(wú)窮

  本文關(guān)鍵詞：n值邏輯系統(tǒng)中命題的絕對(duì)真度及其隨機(jī)化理論，由筆耕文化傳播整理發(fā)布。