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