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

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

• 摘要4-5
• Abstract5-7
• 前言7-9
• 第一章 預(yù)備知識(shí)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 公式真度的等價(jià)形式與公式間的相似度19-23
• 3.2 公式間的偽距離及F(S) 中運(yùn)算關(guān)于? 的連續(xù)性23-30
• 第四章 四值G?del命題邏輯系統(tǒng)中公式的概率真度理論30-45
• 4.1 公式的概率真度30-39
• 4.2 公式間的相似度和概率邏輯度量空間39-45
• 總結(jié)45-46
• 參考文獻(xiàn)46-49
• 致謝49-50
• 攻讀碩士學(xué)位期間已發(fā)表論文50

【相似文獻(xiàn)】

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

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

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

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

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

5 于鵬;;真度方程組及其應(yīng)用[J];計(jì)算機(jī)工程與應(yīng)用;2012年07期

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

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

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

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

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

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

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

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

1 本報(bào)評論員;標(biāo)準(zhǔn)要高 要求要嚴(yán)[N];邢臺(tái)日報(bào);2014年

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

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

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

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

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

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

4 崔艷林;逼真度與仿真效用及仿真代價(jià)的關(guān)系研究[D];北京郵電大學(xué);2014年

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

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

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

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

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

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

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

，

本文編號：465534