导读:本文包含了格值命题逻辑论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:逻辑,命题,系统,度量,算子,距离,空间。
格值命题逻辑论文文献综述
王勇勇,惠小静[1]（2018）在《增加Δ算子的G?del n值命题逻辑系统理论的平均真度》一文中研究指出在添加了Δ算子G?deln值命题逻辑系统中,给出了G?del n值命题逻辑系统中有限理论的平均真度的定义,给出了该系统下的一些重要结论并给予证明,验证了在该系统下平均真度的一些基本性质,为进一步在该系统下研究平均真度奠定了基础。(本文来源于《计算机工程与应用》期刊2018年19期）
张超权,刘晓辉[2]（2018）在《叁值命题逻辑系统中公式的随机真度的向量化》一文中研究指出从向量的角度对叁值命题逻辑系统进行了讨论,将公式间相关的计算转化成向量的内积运算,以此为基础对公式间的随机伪距离进行了讨论,得出了逻辑连接词在(F(S),ρp)中是连续的结论。(本文来源于《桂林航天工业学院学报》期刊2018年01期）
洪智勇,刘熠,秦克云[3]（2017）在《分层格值命题逻辑系统中几类推理规则的讨论》一文中研究指出在基于格值逻辑的不确定性推理的研究中,推理规则的选取是其重要研究内容之一。基于分层格值命题逻辑系统,提出了几类既包含有语义又含有语法的推理规则,且这些推理规则具备协调水平的特性;同时也证明了这几类推理规则在一定程度上有闭性。(本文来源于《计算机工程与应用》期刊2017年24期）
李顺琴,王泽阳[4]（2017）在《n值命题逻辑系统L_n~*中公式Γ-的绝对真度理论》一文中研究指出在n值R_0-命题逻辑系统L_n~*中,给出公式关于有限理论的一个更为直观的Γ-绝对真度概念,讨论它的一些重要性质和推理规则,并利用Γ-绝对真度定义公式间的Γ-绝对相似度和伪距离。(本文来源于《贵州大学学报(自然科学版)》期刊2017年05期）
朱乃调,惠小静,高晓莉,高姣[5]（2016）在《G?del n值命题逻辑系统中的Δ真度》一文中研究指出在G?del n值命题逻辑系统中添加了Δ算子,给出了G?del n值命题逻辑系统的Δ真度的定义及等价形式,讨论了在该系统下Δ真度的一些基本性质,论证了Δ真度的推理规则。(本文来源于《模糊系统与数学》期刊2016年06期）
朱乃调,惠小静,高晓莉[6]（2016）在《Gdel n值命题逻辑系统中命题公式的t真度及近似推理》一文中研究指出通过增加两类算子~和Δ对Gdel n值命题逻辑系统进行公理化扩张Gdel(~,Δ),简记为G(~,Δ)。在Gdel~(~,Δ)中提出了命题公式的t真度的定义(t任取~,Δ),讨论了t真度的MP规则、HS规则、交推理规则、并推理规则以及它的一些相关性质;得到了命题公式间的t相似度和t伪距离的概念以及它们的一些相关性质;最后在t逻辑度量空间中提出了3种不同的近似推理模式,并证明了3种近似推理模式间的等价性。(本文来源于《计算机科学》期刊2016年S2期）
李顺琴,王小霞[7]（2016）在《n值命题逻辑系统L_n~*中真度的等价定义及性质》一文中研究指出将真度定义的均值表示形式推广到n值Ro-命题逻辑系统L_n~*中,给出了系统L_n~*中真度定义的等价形式,并利用该等价形式简化了真度的若干重要性质的证明,得到了真度的对称性定理。(本文来源于《延安大学学报(自然科学版)》期刊2016年03期）
李骏,蒙頔[8]（2016）在《二值命题逻辑中公式列的收敛性》一文中研究指出在二值命题逻辑系统中给出公式列按真度收敛的定义,研究公式列按度量收敛、按赋值收敛及按真度收敛的性质,给出叁种收敛各自的充分必要条件,在公式列是有限原子的条件下证明公式列按度量收敛、按赋值收敛及按真度收敛是相互等价的.(本文来源于《兰州理工大学学报》期刊2016年04期）
朱乃调,惠小静,高晓莉,高姣[9]（2017）在《G?del n值命题逻辑系统的真度理论》一文中研究指出首先在G?del n值命题逻辑系统中添加了新的连接词Δ,～,给出了G?del n值命题逻辑系统中命题公式间的真度、相似度和伪距离的定义;讨论了在该系统下它们的一些相关性质,并给出了相应的证明。(本文来源于《计算机工程与应用》期刊2017年11期）
张超权,李修清[10]（2017）在《叁值命题逻辑系统中理论的随机发散度的分布》一文中研究指出在叁值命题逻辑系统的随机逻辑度量空间(F(S),ρ_p)中,指出理论的p-随机发散度是和随机叁值分布序列p=(p_1,p_2,…)的具体取值密切相关的,证明了全体原子公式之集S的p-随机发散度随着叁值分布序列p的不同取值可以充满整个(0,1]实数区间。(本文来源于《计算机工程与应用》期刊2017年01期）
格值命题逻辑论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
从向量的角度对叁值命题逻辑系统进行了讨论,将公式间相关的计算转化成向量的内积运算,以此为基础对公式间的随机伪距离进行了讨论,得出了逻辑连接词在(F(S),ρp)中是连续的结论。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
格值命题逻辑论文参考文献
[1].王勇勇,惠小静.增加Δ算子的G?deln值命题逻辑系统理论的平均真度[J].计算机工程与应用.2018
[2].张超权,刘晓辉.叁值命题逻辑系统中公式的随机真度的向量化[J].桂林航天工业学院学报.2018
[3].洪智勇,刘熠,秦克云.分层格值命题逻辑系统中几类推理规则的讨论[J].计算机工程与应用.2017
[4].李顺琴,王泽阳.n值命题逻辑系统L_n~*中公式Γ-的绝对真度理论[J].贵州大学学报(自然科学版).2017
[5].朱乃调,惠小静,高晓莉,高姣.G?deln值命题逻辑系统中的Δ真度[J].模糊系统与数学.2016
[6].朱乃调,惠小静,高晓莉.Gdeln值命题逻辑系统中命题公式的t真度及近似推理[J].计算机科学.2016
[7].李顺琴,王小霞.n值命题逻辑系统L_n~*中真度的等价定义及性质[J].延安大学学报(自然科学版).2016
[8].李骏,蒙頔.二值命题逻辑中公式列的收敛性[J].兰州理工大学学报.2016
[9].朱乃调,惠小静,高晓莉,高姣.G?deln值命题逻辑系统的真度理论[J].计算机工程与应用.2017
[10].张超权,李修清.叁值命题逻辑系统中理论的随机发散度的分布[J].计算机工程与应用.2017
论文知识图
