本文關(guān)鍵詞：Goguen公理化擴(kuò)張系統(tǒng)的真度理論研究

  更多相關(guān)文章： Goguen命題邏輯系統(tǒng) 計(jì)量邏輯 真度 隨機(jī)真度 發(fā)散度 相容度 近似推理

【摘要】：摘要:通過增加新的連接詞～,△對(duì)n值Goguen命題邏輯系統(tǒng)進(jìn)行公理化擴(kuò)張,得到Π～,△.在該系統(tǒng)中給出公式的k真度、k相似度與k偽距離的定義.證明了k真度的MP規(guī)則、HS規(guī)則等性質(zhì).說明了把命題公式中的部分原子命題分別與它的對(duì)合否定互換,公式的k真度不變.接著,在Π～,△中給出公式的k隨機(jī)真度、k隨機(jī)相似度與k隨機(jī)偽距離間的計(jì)算公式.論證了k隨機(jī)真度的MP規(guī)則、HS規(guī)則等基本性質(zhì).同時(shí)介紹了三種近似推理模式以及討論了三種推理模式之間的等價(jià)性.然后,借助公式的誘導(dǎo)函數(shù),在Π～,△中給出公式在k連接詞下相對(duì)于局部有限理論r的Γ-k真度、Γ-k相似度與Γ-k偽距離的概念.得到了Γ-k真度的交并運(yùn)算規(guī)則、MP規(guī)則、HS規(guī)則等基本理論.最后,利用賦值集的隨機(jī)化方法,在Π～,△中提出公式在k連接詞下相對(duì)于局部有限理論r的Γ-k隨機(jī)真度、Γ-k隨機(jī)相似度與Γ-k隨機(jī)偽距離.引入了任意理論r相對(duì)于特定理論Γ0的相對(duì)隨機(jī)發(fā)散度和相對(duì)隨機(jī)相容度,建立了相對(duì)隨機(jī)發(fā)散度與相對(duì)隨機(jī)相容度之間的關(guān)系式.
【學(xué)位授予單位】：延安大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2017
【分類號(hào)】：O141

【相似文獻(xiàn)】

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

1 張興芳;張安英;韓紅霞;;模糊謂詞邏輯中基于有限解釋的公式的條件α-真度理論[J];模糊系統(tǒng)與數(shù)學(xué);2008年02期

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

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

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

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

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

7 程雅靜;;計(jì)量邏輯中真度的均值表示形式及應(yīng)用研究[J];現(xiàn)代經(jīng)濟(jì)信息;2013年10期

8 吳鳳干;;直覺模糊命題邏輯公式的真度[J];金陵科技學(xué)院學(xué)報(bào);2006年04期

9 于西昌;王大全;張興芳;;四個(gè)命題模糊邏輯系統(tǒng)中公式真度的大小之比較[J];聊城大學(xué)學(xué)報(bào)(自然科學(xué)版);2007年01期

10 隋云云;;幾個(gè)三值命題邏輯系統(tǒng)中命題的條件真度[J];濰坊學(xué)院學(xué)報(bào);2009年04期

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

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

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

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

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

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

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

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

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

3 侯文艷;軟集在關(guān)聯(lián)規(guī)則挖掘中的應(yīng)用[D];西南交通大學(xué);2017年

4 朱乃調(diào);增加兩類算子的G(?)del公理化擴(kuò)張系統(tǒng)計(jì)量化的研究[D];延安大學(xué);2017年

5 高曉莉;Goguen公理化擴(kuò)張系統(tǒng)的真度理論研究[D];延安大學(xué);2017年

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

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

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

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

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

，

本文編號(hào)：1292832