本文選題：Goguen命題邏輯系統(tǒng) + Γ-k隨機(jī)真度��； 參考：《電子學(xué)報(bào)》2017年11期

【摘要】：本文首先對(duì)n值Goguen命題邏輯進(jìn)行公理化擴(kuò)張Goguen_(~,Δ),記為∏_(~,Δ).利用賦值集的隨機(jī)化方法,給出公式在k(k取~或Δ)連接詞下相對(duì)于局部有限理論Γ的Γ-k隨機(jī)真度的定義;討論了∏_(~,Δ)中Γ-k隨機(jī)真度的MP規(guī)則、HS規(guī)則等相關(guān)性質(zhì);接著,在Γ-k中定義了兩公式間的Γ-k隨機(jī)相似度與Γ-k隨機(jī)偽距離,得到了公式在連接詞下相對(duì)于局部有限理論Γ的Γ-k隨機(jī)相似度與Γ-k隨機(jī)偽距離所具有的一些良好性質(zhì);最后,在∏_(~,Δ)中介紹了任意理論Γ相對(duì)于特定理論Γ_0的相對(duì)隨機(jī)發(fā)散度和相對(duì)隨機(jī)相容度概念,得到了相對(duì)隨機(jī)發(fā)散度與相對(duì)隨機(jī)相容度之間聯(lián)系的關(guān)系式.
[Abstract]:In this paper, the axiomatic extension of n-valued Goguen propositional logic is given. By using the method of randomization of assignment sets, the definition of 螕 -k random truth degree relative to the local finite theory 螕 is given in terms of ~ or 螖) connectives in terms of KK, and the related properties of MP rule and HS rule of 螕 -k random truth degree are discussed. In 螕 -k, we define the 螕 -k random similarity and 螕 -k random pseudo distance between the two formulas, and obtain some good properties of the formula relative to the 螕 -k random similarity and 螕 -k random pseudo distance of the local finite theory 螕 under the connective. The concepts of relative random divergence degree and relative random compatibility degree of any theory 螕 relative to a particular theory 螕 0 are introduced in the paper. The relations between relative random divergence degree and relative random compatibility degree are obtained.
【作者單位】： 延安大學(xué)數(shù)學(xué)與計(jì)算機(jī)科學(xué)學(xué)院;
【基金】：國(guó)家自然科學(xué)基金(No.11471007) 陜西省自然科學(xué)基金(No.2014JM1020) 延安大學(xué)研究生創(chuàng)新基金(No.YCX201612)
【分類(lèi)號(hào)】：O141

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

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

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

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

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

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

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

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

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

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

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

相關(guān)會(huì)議論文 前1條

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

相關(guān)碩士學(xué)位論文 前10條

1 郝國(guó)平;幾類(lèi)模糊邏輯系統(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);增加兩類(lèi)算子的G(?)del公理化擴(kuò)張系統(tǒng)計(jì)量化的研究[D];延安大學(xué);2017年

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

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

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

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

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

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

，

本文編號(hào)：1874403