剩余格相关论文
不确定性在现实生活中无处不在,将概率论和多值命题逻辑交叉融合来建立不确定性表示与推理模型是不确定性数学领域多年来的研究热......
模态逻辑和行为等价在并发系统的规约和验证中起着重要作用。前者可用于模型检查,特别是用于指定要验证的属性。后者可用于状态聚......
逻辑代数作为模糊命题系统的语义理论已形成了一个重要的代数分支.在非经典逻辑中,由J. Pavelka引入的丰富剩余格是一种非常重要的......
文章首先讨论了剩余格上模糊滤子的相关性质,得到剩余格上模糊滤子的一些结论,在此基础上,考虑了由剩余格的一个模糊集合如何来生......
各种逻辑代数是做为非经典逻辑的语义系统被提出的,其中剩余格是一类最基本的模糊逻辑代数,几乎所有的子结构逻辑都是以它为基础来......
本文主要研究了几种基于覆盖的粗糙集（简称覆盖粗糙集）模型.第3章是我们的第一项主要工作,研究了基于覆盖的概率粗糙集（简称覆盖概率......
模糊推理是模糊控制的理论基础,鲁棒性是评判模糊推理的重要标准.在讨论鲁棒性时,扰动参数的选取极为关键.我们常用的扰动参数大多......
本文的主要研究工作来源于河南省重点科技攻关项目(No.092102210149)“基于区间结构的柔性化控制模型及其系统研究”与河南省教育......
模糊逻辑理论中,剩余格是应用较广泛的逻辑代数结构.为了进一步研究剩余格的性质,本文从多个方面对其进行了比较深入的再研究.首先......
科学技术的进步与现代数学的发展密不可分,特别是包含多值逻辑与模糊逻辑等在内的非经典数理逻辑在人工智能等领域中发挥着不可替......
模糊逻辑研究的一个重要方向是研究其逻辑代数系统.逻辑代数系统中一般以偏序集和一些运算为模型来建立逻辑与代数的桥梁,用代数方......
Domain理论起源于上个世纪六十年代末,主要研究偏序集上的序关系和拓扑结构，并成为函数式程序语言的指称语义.然而，随着计算机与网络......
1965年，L.A.Zadeh教授提出模糊集的概念，标志着模糊数学这门学科的诞生，也为模糊逻辑的产生奠定了基础.1973年，Zadeh教授又首先将模糊......
本文研究粗糙集代数与非经典逻辑代数的关系，将粗糙集理论应用于MV-代数和R-代数，讨论其滤子的粗糙性并研究同态映射之下滤子的性质．......
多值逻辑与当今的一些前沿学科如模糊控制，人工智能，神经网络和计算机科学等有着密切的联系．不同的多值逻辑系统对应着不同的多值逻辑......
在研究非经典数理逻辑的语构理论时(特别是讨论逻辑系统完备性时), 通常要考查与之相关的代数系统的结构, 比如Lukasiewicz连续值......
剩余格是具有广泛应用的一类模糊逻辑代数系统，同样BCK-代数，BR-代数也是非常重要的代数系统。本文主要研究了BCK-代数，剩余格，BR-代数......
自从布尔代数作为经典二值逻辑所对应的代数系统被提出以来，各种不同逻辑系统所相应的代数系统受到研究人员的广泛关注，并取得了大量......
剩余格是与数理逻辑联系十分紧密的一类代数结构.它不仅为几乎所有的子结构逻辑建立相应的代数语义提供基础，而且推广了具有广泛应......
本文研究模糊逻辑算子及它的一些应用.具体内容如下：
在第2章中，我们首先列出本文需要的t-模、t-余模、模糊蕴涵算子和剩余格等......
本文对模糊关系的分解和剩余格上半线性空间的基进行了深入探讨.首先,在[0,1]格上对模糊关系的一系列分解问题作了研究.对模糊关系......
研究了与H(a)jek的模糊命题演算系统BL相对应的BL代数,提出了仅涉及运算*和→的NBL代数概念并探讨了其有关性质,证明了BL代数与N-B......
逻辑度量研究是近似推理理论的一个重要组成部分.首先在四种常见n值逻辑系统中,利用概率测度的方法,引入了逻辑公式概率真度的概念......
讨论P-有界分配格的理想集代数与剩余格的关系.证明了在适当选取蕴涵算子及相应的剩余算子之后,P-有界分配格的理想集代数就成为剩......
研究了一般剩余格(未必可换)与布尔代数的关系,给出剩余格成为布尔代数的一系列充要条件.同时,进一步将这些结果推广到只含有蕴涵......
粗糙集理论是由Pawlak提出的一种表示与处理数据表中信息的形式化工具.作为粗糙集概念的推广,一种基于完备剩余格的L-模糊粗糙集已......
引进了基于一般剩余格的G-代数-G(RL)-代数的概念,并且分别给出了G-滤子和(全序)G(RL)-代数的一系列特征刻画,同时还证明了任何正......
对基于剩余格L的L-广形式背景引入了L-可定义集概念,研究L-可定义集的性质及其与L-粗糙概念之间的关系.培出L-广可定义集的刻画;得......
研究一种特殊的刺余格--幂等刺余格,证明满足幂等性的一般刺余格必是可换剩余格,即不存在非可换的幂等剩余格.讨论幂等剩余格的基......
在剩余格上引入了(∈,∈vq)-模糊滤子的概念,初步讨论了它的一些性质和等价条件,与之对应地讨论了((∈)(∈),vq)-模糊滤子的性质,......
期刊
对给定的可除剩余格L及a∈L，作者通过一个自然的构造使得主下集↓＋a={x∈L｜x≤a}成为一个可除剩余格La．进一步有，如果L是预线性的或者广......
研究了全序E-酉逆剩余格,给出了这类剩余格的一些重要性质和特征....
本文在[0,1]上左连续t模和右连续蕴含的基础上讨论了区间数I([0,1])上的t模及蕴含,得到了(I([0,1]),T,θT)构成一个剩余格.引入了......
研究了王国俊教授建立的模糊命题演算的形式演绎系统L^＊和与之在语义上相匹配的R0-代数以及吴洪博教授提出的基础R0-代数和基础L^＊系......
利用蕴涵运算,在完备剩余格上定义了蕴涵闭包算子,给出了它的若干等价刻画及其表示定理。......
在有界交换整剩余格上引入了一类新的滤子——n-重MTL-滤子，并给出了它的一系列的刻画。...
在剩余格上引入了n-重蕴含滤子、n-重MV滤子和n-重布尔滤子，给出它们的一系列刻画定理。通过新的刻画定理得到了这些滤子之间的关系......
三I算法是针对模糊推理FMP与FMT模型的一种新的推理方法.剩余型蕴涵算子是一类广泛的蕴涵算子,具有较好的性质.讨论了剩余型蕴涵算......
为了拓展剩余格的n-重滤子理论,利用犹豫模糊集的方法和原理,引入了剩余格的犹豫模糊n-重蕴涵滤子、犹豫模糊n-重正蕴涵滤子、犹豫......
根据命题逻辑系统BL与基础逻辑代数BL在语义方面相匹配的特征,将基础逻辑系统BL中的部分公理代数化,建立一种新的代数结构QBL-代数......
区间集是表达模糊信息的一种有效方法，蕴涵算子的研究是逻辑研究的关键，在区间集上构造蕴涵具有重要的研究价值。在区间集上构造了一......
将犹豫模糊集概念应用于剩余格的滤子理论中,提出了剩余格的犹豫模糊滤子、犹豫模糊蕴涵滤子、犹豫模糊正定蕴涵滤子、犹豫模糊MV-......
基于剩余格的赋值态理论,通过在剩余格全体赋值态集和全体公式集上分别建立概率测度,利用积分方法提出了剩余格语义上公式的概率真......
首先讨论了Ockham代数与剩余格的关系，引入了强Ockham代数的概念，并讨论了它的基本性质．然后，将著名的风蕴涵和风算子推广到Ockham代数......
