本文關鍵詞：兩種命題邏輯系統(tǒng)中的真度研究，由筆耕文化傳播整理發(fā)布。

【摘要】：在三值?ukasiewicz命題邏輯系統(tǒng)中,將T-真度和絕對真度相結合,給出T-絕對真度的概念,討論了若干性質(zhì).利用T-絕對真度定義了公式間的T-絕對相似度與偽距離,并證明了邏輯運算的連續(xù)性.借助三值?ukasiewicz命題邏輯系統(tǒng)中公式的向量表示形式,給出公式真度的定義.在此基礎上,給出公式間相似度和偽距離的計算公式,論證了相關的性質(zhì).通過勢為4的非均勻概率空間的無窮乘積,在四值G?del命題邏輯系統(tǒng)中引入公式的概率真度,證明了概率真度值之集在[0,1]中不存在孤立點.定義了概率相似度和偽距離,建立了概率邏輯度量空間,證明了此空間中不存在孤立點.
【關鍵詞】：命題邏輯系統(tǒng) 真度 相似度 偽距離 邏輯度量空間
【學位授予單位】：延安大學
【學位級別】：碩士
【學位授予年份】：2016
【分類號】：O141.1
【目錄】：

• 摘要4-5
• Abstract5-7
• 前言7-9
• 第一章 預備知識9-12
• 1.1 ?ukasiwicz命題邏輯系統(tǒng)9-10
• 1.2 G?del命題邏輯系統(tǒng)10-12
• 第二章 三值 ?ukasiewicz命題邏輯系統(tǒng)中公式的T - 絕對真度理論12-19
• 2.1 公式的T - 絕對真度12-15
• 2.2 公式間的T - 絕對相似度和偽距離15-19
• 第三章 三值 ?ukasiewicz命題邏輯系統(tǒng)中公式的向量表示形式19-30
• 3.1 公式真度的等價形式與公式間的相似度19-23
• 3.2 公式間的偽距離及F(S) 中運算關于? 的連續(xù)性23-30
• 第四章 四值G?del命題邏輯系統(tǒng)中公式的概率真度理論30-45
• 4.1 公式的概率真度30-39
• 4.2 公式間的相似度和概率邏輯度量空間39-45
• 總結45-46
• 參考文獻46-49
• 致謝49-50
• 攻讀碩士學位期間已發(fā)表論文50

【相似文獻】

中國期刊全文數(shù)據(jù)庫 前10條

1 張興芳,孟廣武;模糊謂詞邏輯公式的有限和可數(shù)解釋真度理論[J];聊城大學學報(自然科學版);2004年04期

2 王國俊,秦曉燕,周湘南;一類二值謂詞邏輯中公式的準真度理論[J];陜西師范大學學報(自然科學版);2005年01期

3 張興芳;王國俊;孟廣武;;一階模糊謂詞邏輯公式的區(qū)間解釋真度理論[J];模糊系統(tǒng)與數(shù)學;2006年02期

4 李友雨;張興芳;李成允;;L*系統(tǒng)中由單個原子生成公式的真度分布[J];計算機工程與應用;2010年10期

5 于鵬;;真度方程組及其應用[J];計算機工程與應用;2012年07期

6 王國俊;;一類一階邏輯公式中的公理化真度理論及其應用[J];中國科學:信息科學;2012年05期

7 秦曉燕;徐揚;劉熠;;二值謂詞邏輯中公式的向量真度[J];模式識別與人工智能;2013年08期

8 張安英;李德勝;張興芳;于西昌;;基于一階模糊邏輯公式的有限解釋真度的推理理論[J];聊城大學學報(自然科學版);2005年04期

9 李友雨;張興芳;李成允;;公式真度的大小之比較[J];模糊系統(tǒng)與數(shù)學;2011年02期

10 李璧鏡;;模態(tài)邏輯公式的真度理論[J];計算機工程與應用;2013年03期

中國重要會議論文全文數(shù)據(jù)庫 前1條

1 王廷明;吳偉民;;基于主范式的二值命題邏輯公式的真度[A];第一屆中國智能計算大會論文集[C];2007年

中國重要報紙全文數(shù)據(jù)庫 前1條

1 本報評論員;標準要高 要求要嚴[N];邢臺日報;2014年

中國博士學位論文全文數(shù)據(jù)庫 前1條

1 高健;飛行模擬器動感模擬系統(tǒng)逼真度研究[D];哈爾濱工業(yè)大學;2013年

中國碩士學位論文全文數(shù)據(jù)庫 前10條

1 郝國平;幾類模糊邏輯系統(tǒng)中真度及近似推理研究[D];延安大學;2015年

2 賀錦瑞;兩種命題邏輯系統(tǒng)中的真度研究[D];延安大學;2016年

3 張東曉;邏輯公式的語構真度和構造性三I算法[D];陜西師范大學;2006年

4 崔艷林;逼真度與仿真效用及仿真代價的關系研究[D];北京郵電大學;2014年

5 楊蓉;逼真度視角下的仿真效用與仿真代價的均衡研究[D];北京郵電大學;2014年

6 陳靜;基于逼真度的建模與仿真過程管理方法及應用[D];北京郵電大學;2015年

7 高香妮;命題邏輯系統(tǒng)中理論的真度概念及其應用[D];陜西師范大學;2010年

8 周麗莉;兩種模糊命題邏輯的公式的概率真度[D];遼寧師范大學;2007年

9 李慧玲;多值命題邏輯和直覺模糊命題邏輯公式的概率α-真度[D];遼寧師范大學;2007年

10 范欣;幾種邏輯代數(shù)的剩余格刻畫及命題邏輯系統(tǒng)中條件真度的比較[D];陜西師范大學;2011年

  本文關鍵詞：兩種命題邏輯系統(tǒng)中的真度研究，由筆耕文化傳播整理發(fā)布。

，

本文編號：465534