逻辑度量空间相关论文
模糊逻辑作为非经典逻辑的一个重要分支在人工智能、信息科学和计算机科学等方面有着十分广泛的应用.Zadeh认为模糊逻辑有广义和狭......
数理逻辑是研究形式推理的数学学科,有了数理逻辑,我们就可以研究如何从已知前提推出所需的结论。目前,数理逻辑已经广泛的应用于......
本文针对n值(?)ukasiewicz命题逻辑系统中公式的不同真度形式展开了研究.首先,提出了公式的t真度、t相似度与t伪距离的定义,证明了......
近年来，模糊控制技术在应用方面取得了举世瞩目的成功.然而，作为其核心的模糊推理在数学基础上却并未无懈可击.所以，以研究模糊推理的......
探讨了逻辑度量空间的结构,证明了在经典逻辑度量空间上存在一种反射变换ψ,且ψ保持逻辑等价关系不变,并且是同态映射;ψ自然导出......
取赋值格为[0，1]，用积分工具引入了公式的真度和相似度的概念，并从而在公式集F上建立了伪距离，为近似推理提供了一种可能的框架......
利用赋值集的随机化方法,在四值非线性序集逻辑系统L24中提出了公式的随机真度和随机距离,建立了非线性序集逻辑系统上的随机逻辑......
引入了平衡逻辑公式的概念,证明了和一个平衡逻辑公式等价的逻辑公式是平衡逻辑公式.并且n元平衡逻辑公式中等价类关于(一),ν,Λ,......
证明论域x上的全体模糊集之集上的两种度量是等价的。讨论这种度量空间中孤立点的分布情况，并将这些结论推广到格值模糊集之集上。......
利用赋值集的随机化方法，在三值逻辑L3中提出了公式的随机真度，证明了所有公式的随机真度之集在[0，1]中没有孤立点；给出了两公式间的DL......
在n值Lukasiewicz命题逻辑系统中引入了公式集F（S）上真度函数的公理化定义,给出了真度函数的若干重要性质,利用真度函数从形式上定义......
在复平面C（[0，1]）上建立了四种逻辑代数，讨论了其性质，并且定义了C（[0，1]）上的逻辑度量，得到了四种逻辑度量空间，最后证明了在复平面上存在一......
将n值R0-命题逻辑系统Ln^＊中的矛盾式概念程度化，引入了矛盾度的概念，并且讨论了公式的矛盾度的若干重要性质，进而用矛盾度定义了公式......
在标准乘积代数[0，1]上引入了一个逻辑度量ρ，详细讨论了其性质；并对度量空间（[0，1]ρ）的结构及其性质进行了详细的讨论，得到一些好的结果......
王国俊在多值逻辑系统中提出了公式的真度等概念并初步建立了计量逻辑学理论.但其研究的多值命题逻辑是线性赋值格结构且真度是赋......
利用概率分布,给出命题逻辑公式的真度概念,建立了逻辑度量空间。给出不可靠度概念,在我们建立的逻辑度量空间里,得出了一个有效推......
在二值命题逻辑系统中给出公式列按真度收敛的定义,研究公式列按度量收敛、按赋值收敛及按真度收敛的性质,给出三种收敛各自的充分......
利用赋值集的随机化方法,在五值非线性序集逻辑系统L25中提出了公式的随机真度和随机距离,建立了其上的随机逻辑度量空间,它是计量......
在4种逻辑代数中分别建立了逻辑度量,讨论了其性质,并对它们之间的关系进行了详尽地讨论;又对4个逻辑度量空间的结构及其性质进行......
基于B-赋值理论,利用赋值集的随机化方法,在以有限Boole代数为赋值格的命题逻辑中提出公式的B-随机真度,建立有限Boole语义中的随......
给出了乘积代数的定义,讨论了其性质,并建立了乘积代数的度量,对逻辑度量空间的结构及其性质进行了讨论,得到了一些好的结果.......
基于多值Lukasiewicz命题逻辑系统Ln中的计量逻辑学理论。研究了逻辑理论在逻辑意义下的性质与其在拓扑意义下的性质之间的联系，并......
王国俊教授在多值逻辑系统中提出了公式的真度等概念并初步建立了计量逻辑学理论,但其研究的多值命题逻辑是线性赋值格结构。在四......
在n值R0命题逻辑系统中给出了公式列按真度收敛的定义，研究了公式列按度量收敛、按赋值收敛及按真度收敛的性质，给出了三种收敛各自......
计量逻辑是研究逻辑理论程度化的一个重要研究方向。按照研究对象的不同,可以分为计量命题逻辑与计量一阶逻辑。其中关于计量命题......
王国俊教授相继提出基于均匀概率测度空间的无穷可数乘积与(0,1)中的随机数列下的计量逻辑学及其随机化理论,如今已在包括Lukasiew......
对命题逻辑的相关概念进行量化处理,是命题逻辑研究的一种新方法,是一种有别于语构与语义的研究方法,是研究命题集结构的一个有力......
数理逻辑的特点在于形式化和符号化,它和计算数学有着截然不同的风格,前者注重形式推理,而后者注重数值计算;前者强调严格论证,而......
在G(?)del n值命题逻辑系统中,通过添加Δ算子,给出了命题公式的Δ真度及其等价形式,论证了Δ真度的MP规则和HS规则等一些基本性质......
在三值?ukasiewicz命题逻辑系统中,将T-真度和绝对真度相结合,给出T-绝对真度的概念,讨论了若干性质.利用T-绝对真度定义了公式间......
基于三值Lukasiewicz命题逻辑系统Luk3中的计量逻辑学理论,研究了逻辑理论在逻辑意义下的性质与其在拓扑意义下的性质之间的联系,......
基于有限迁移系统中全体无穷初始路径之集上的某种均匀概率测度，定义迁移系统TS对于LTL公式(ω)的满足度，并指出该概念是“TS满......
将次范整线性空间理论用于研究经典逻辑度量空间（[F（S）],ρ）.构造出了（[F（S）],ρ）中的一类等距变换,证明了这类等距变换之集构成一个群;进......
介绍计量逻辑学的形成、特点及其与模糊逻辑的异同。关于命题逻辑的计量化理论，针对不同的系统论述了真度理论和相似度理论，特别......
近年来,模糊控制技术在应用方面取得了举世瞩目的成功。然而,作为其核心的模糊推理在数学基础上却并未无懈可击。所以,以研究模糊......
