计量逻辑学相关论文
当今正处于信息爆炸时代,信息具有数据量大,来源广,不确定等新特点.一方面,需要将多种信息进行有效的融合,另一方面需要提取关系到......
在数理逻辑中,一个逻辑公式有真和假之分.它主要是从语构和语义的角度来判断逻辑公式的真与假,并通过完备性将它们的推理统一起来.......
布尔函数作为研究密码学的重要工具得到了广泛的关注.旋转对称布尔函数是一类多输入单输出布尔函数,具有良好的密码学性质，已经被应......
在命题逻辑中经常要研究从某个命题之集Γ={ An|n=1,2,…}(即,理论)到另一个命题A的推演,即,从前提信息之集?推出某个结论A来.但是......
数理逻辑的特点在于符号化与形式化，它所注重的精准的、形式化的逻辑推理是人工智能学科及相关研究中普遍采用的方法;计算数学的特......
在数理逻辑中，一个逻辑公式有真和假之分.它主要是从语构和语义的角度来判断逻辑公式的真与假，并通过完备性将它们的推理统一起来.但......
在软件学中，基于二值逻辑演算理论去求解一个公式集合关于事实集合的所有极大相容子集（即极大缩减）是信念修正理论中的一个核心问题.......
在多值逻辑系统中给出了计量逻辑学中单个公式到Γ结论集的距离公式,在此基础上,给出发散度的简化形式,讨论了计量逻辑学中三种近......
将密码学中满足严格雪崩准则的布尔函数的概念引入到计量逻辑学之中,提出了雪崩逻辑公式的概念,并研究了雪崩逻辑公式的真度及......
首先应用模糊集截集的方法，给出了多值逻辑系统匕中广义重言式的一个等价刻画，并利用模糊集间的标准Hammin距离，定义了公式间的Hammin......
基于计量逻辑学的思想,在（3n＋1）值模糊命题逻辑系统R0L中引入了公式真度的概念,研究了其主要性质;给出了公式真度的积分表示,并证明了......
从判断一个命题正确与否的难易程度入手，在经典的二值逻辑系统中，利用一个命题公式赋值为1与赋值为0的个数，引入了一个反映命题公式清......
本文以模糊集间的Camberra距离为工具,给出了多值ukasiewicz逻辑系统中公式间的Camberra-距离,Camberra-相似度与Camberra-真度的......
在二值命题逻辑系统中,利用势为2的均匀概率测度空间的无穷乘积,通过计算理论Γ的全体模型占整个赋值空间的测度定义了理论Γ的真......
对Lukasiewicz命题逻辑系统中的公式真度理论进行了研究.首先,给出了Lukasiewiczn值命题逻辑系统中一个更为直观的真度定义的等价......
基于经典逻辑系统中的计量逻辑学，探讨了计量逻辑学中的形式化推理问题。结果表明，在注重数值计算的计量逻辑学中同样存在类似于语构......
在二值逻辑系统中，初步给出了计量逻辑学中的误差累计理论。证明了逻辑结论（作为Γ结论）的误差不会超过各前提误差的和。......
给出了n值Ro-命题逻辑系统Ln^＊中一个更为直观的矛盾度定义的等价形式，利用矛盾度定义的等价形式简化了矛盾度的一些重要性质的证明，......
计量逻辑学从基本概念的程度化入手,系统地引入了公式的真度理论和公式间的相似度理论,定义了公式间的伪距离,最终建立起了逻辑度......
本文的目的在于建立模态逻辑的计量化理论,并将其基本方法用于解决模型检验的计量化问题以及简化模型检验的过程.计量逻辑学的提出......
对命题逻辑的相关概念进行量化处理,是命题逻辑研究的一种新方法,是一种有别于语构与语义的研究方法,是研究命题集结构的一个有力......
介绍计量逻辑学的形成、特点及其与模糊逻辑的异同。关于命题逻辑的计量化理论，针对不同的系统论述了真度理论和相似度理论，特别......
