G?del n值公理化扩张系统的真度理论

发布时间：2021-02-05 20:42

　　通过添加新的连接词Δ,在G?del n值命题逻辑系统中,给出了公式的条件真度的定义,并验证了在该系统下条件真度的一些基本性质,并在此基础上建立了度量空间.接着,在增加了Δ算子的G?del n值命题逻辑系统中给出了公式平均真度的定义,讨论了在该条件下平均真度的一些重要性质,并给出了偏差的定义及相关性质.然后,借助诱导函数的定义,在G_^,Δ中首先给出公式的k绝对真度的定义、推理规则及性质;其次,在此基础上又定义了公式的k绝对相似度、k绝对伪距离,并且讨论了两者具有的一些良好性质;最后,给出了k绝对真度的近似推理理论,并给予证明(k任取^,Δ;G_^,Δ为增加连接词^和Δ下的G?del n值命题逻辑系统).最后,利用赋值集随机化的方法,在G_^,Δ中定义了公式在t连接词下相对于局部有限理论Γ的Γ-t随机真度,并讨论了Γ-t真度的推理规则和一些重要性质. 

【文章来源】：延安大学陕西省

【文章页数】：53 页

【学位级别】：硕士

【文章目录】：
摘要
abstract
前言
第一章 预备知识
    1.1 G?del公理化扩张系统的基本概念
Δ和SBL
sup>" <="" sup="">>    1.2 模糊命题逻辑系统SBL的公理化扩张SBL_Δ和SBL_<sup></li>
第二章 条件真度及近似推理
    2.1 条件真度定义及性质
    2.2 基于条件推理的近似推理理论
第三章 平均真度及偏差
    3.1 平均真度的定义及其性质
    3.2 有限理论的偏差
第四章 k绝对真度理论
    4.1 命题公式k绝对真度的定义及其性质
    4.2 公式间的k绝对相似度和k绝对伪距离
n）中的近似推理">    4.3 （F（S）,ρ_n）中的近似推理
第五章 Γ-t随机真度
    5.1 命题公式的Γ-t随机真度的定义及其性质
总结
参考文献
致谢
攻读硕士学位期间已发表论文


【参考文献】：
期刊论文
[1]G?del n值命题逻辑系统中的Δ真度[J]. 朱乃调,惠小静,高晓莉,高姣.  模糊系统与数学. 2016(06)
[2]命题逻辑系统R0L3n+1中公式的Γ-真度及性质[J]. 吴洪博,周建仁.  计算机学报. 2015(08)
[3]Lukasiewicz命题逻辑中公式的Γ-真度理论和极限定理[J]. 吴洪博.  中国科学:信息科学. 2014(12)
[4]基于真值的SBL～公理化扩张系统的计量化[J]. 惠小静.  中国科学:信息科学. 2014(07)
[5]Lukasiewicz逻辑系统中理论的平均真度及偏差[J]. 李骏,李小兵.  计算机工程与应用. 2016(04)
[6]真度的均值表示形式在逻辑系统Ln中的应用[J]. 于鸿丽,吴洪博.  模糊系统与数学. 2014(03)
[7]粗糙逻辑中公式的Borel型概率粗糙真度[J]. 折延宏,贺晓丽.  软件学报. 2014(05)
[8]Lukasiewicz命题逻辑系统中真度的等价定义及相关性质[J]. 周建仁,吴洪博.  工程数学学报. 2013(04)
[9]模糊逻辑系统中广义有效推理的真度递减定理[J]. 惠小静.  模糊系统与数学. 2013(04)
[10]n值Gdel命题逻辑系统中的F度累积理论[J]. 惠小静.  模糊系统与数学. 2013(02)



本文编号：3019547