Goguen公理化扩张系统的Γ-k随机真度理论及性质

发布时间：2018-05-11 14:51

  本文选题：Goguen命题逻辑系统 + Γ-k随机真度　； 参考：《电子学报》2017年11期

【摘要】：本文首先对n值Goguen命题逻辑进行公理化扩张Goguen_(~,Δ),记为∏_(~,Δ).利用赋值集的随机化方法,给出公式在k(k取~或Δ)连接词下相对于局部有限理论Γ的Γ-k随机真度的定义;讨论了∏_(~,Δ)中Γ-k随机真度的MP规则、HS规则等相关性质;接着,在Γ-k中定义了两公式间的Γ-k随机相似度与Γ-k随机伪距离,得到了公式在连接词下相对于局部有限理论Γ的Γ-k随机相似度与Γ-k随机伪距离所具有的一些良好性质;最后,在∏_(~,Δ)中介绍了任意理论Γ相对于特定理论Γ_0的相对随机发散度和相对随机相容度概念,得到了相对随机发散度与相对随机相容度之间联系的关系式.
[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.
【作者单位】： 延安大学数学与计算机科学学院;
【基金】：国家自然科学基金(No.11471007) 陕西省自然科学基金(No.2014JM1020) 延安大学研究生创新基金(No.YCX201612)
【分类号】：O141

【相似文献】

相关期刊论文 前10条

1 张兴芳;张安英;韩红霞;;模糊谓词逻辑中基于有限解释的公式的条件α-真度理论[J];模糊系统与数学;2008年02期

2 张兴芳,孟广武;模糊谓词逻辑公式的有限和可数解释真度理论[J];聊城大学学报(自然科学版);2004年04期

3 王国俊,秦晓燕,周湘南;一类二值谓词逻辑中公式的准真度理论[J];陕西师范大学学报(自然科学版);2005年01期

4 张兴芳;王国俊;孟广武;;一阶模糊谓词逻辑公式的区间解释真度理论[J];模糊系统与数学;2006年02期

5 李友雨;张兴芳;李成允;;L*系统中由单个原子生成公式的真度分布[J];计算机工程与应用;2010年10期

6 于鹏;;真度方程组及其应用[J];计算机工程与应用;2012年07期

7 王国俊;;一类一阶逻辑公式中的公理化真度理论及其应用[J];中国科学:信息科学;2012年05期

8 秦晓燕;徐扬;刘熠;;二值谓词逻辑中公式的向量真度[J];模式识别与人工智能;2013年08期

9 张安英;李德胜;张兴芳;于西昌;;基于一阶模糊逻辑公式的有限解释真度的推理理论[J];聊城大学学报(自然科学版);2005年04期

10 李友雨;张兴芳;李成允;;公式真度的大小之比较[J];模糊系统与数学;2011年02期

相关会议论文 前1条

1 王廷明;吴伟民;;基于主范式的二值命题逻辑公式的真度[A];第一届中国智能计算大会论文集[C];2007年

相关硕士学位论文 前10条

1 郝国平;几类模糊逻辑系统中真度及近似推理研究[D];延安大学;2015年

2 贺锦瑞;两种命题逻辑系统中的真度研究[D];延安大学;2016年

3 侯文艳;软集在关联规则挖掘中的应用[D];西南交通大学;2017年

4 朱乃调;增加两类算子的G(?)del公理化扩张系统计量化的研究[D];延安大学;2017年

5 高晓莉;Goguen公理化扩张系统的真度理论研究[D];延安大学;2017年

6 张东晓;逻辑公式的语构真度和构造性三I算法[D];陕西师范大学;2006年

7 高香妮;命题逻辑系统中理论的真度概念及其应用[D];陕西师范大学;2010年

8 周丽莉;两种模糊命题逻辑的公式的概率真度[D];辽宁师范大学;2007年

9 李慧玲;多值命题逻辑和直觉模糊命题逻辑公式的概率α-真度[D];辽宁师范大学;2007年

10 范欣;几种逻辑代数的剩余格刻画及命题逻辑系统中条件真度的比较[D];陕西师范大学;2011年

，

本文编号：1874403