完备剩余格中的全蕴涵推理方法

来源 :数学进展 | 被引量 : 0次 | 上传用户:CHEUNGKWOKKUNG
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
三Ⅰ算法是王国俊教授提出的一种模糊推理方法,较之模糊控制理论中广泛采用的CRI算法更具有严谨性、合理性.本文在完备剩余格中给出了模糊推理RL-型全蕴涵α-MIFMP,α-MIFMT规则,并讨论了完备剩余格中的RL-型全蕴涵α-MI算法,得到了完备剩余格中RL-型全蕴涵α-MIFMP,α-MIFMT的计算公式,并将之应用于G(o)del逻辑系统,Lukasiewicz逻辑系统,Goguen逻辑系统和(-W)逻辑系统.特别是将结果应用于(-W)逻辑系统中得到了R0-型全蕴涵α-三Ⅰ算法计算公式,简化了原有的R
其他文献
植物物种多样性与基因型多样性对群落的结构和功能具有重要的生态作用,近年来植物基因型多样性对植物间相互作用的影响已成为研究者关心的重要科学问题。实验选择退化草原优势种冷蒿(Artemisia frigida)为目标植物,稳定群落建群种羊草(Leymus chinensis)和群落伴生种洽草(Koeleria cristata)为邻居植物,来研究基因型多样性不同的邻居植物对冷蒿生长表现(株高、地上生物
<正>1 Seed Selection Genetic Programming In Genetic Programming,each tree in population shows an algebraic or surmounting ex- pression,and each algebraic or sur
应用形式渐近分析和拉普拉斯变换,我们从三维线性粘弹性方程组得到二维线性粘弹性弯壳的数学模型.
一个n阶符号模式矩阵A称为是谱任意的,如果对任意的实系数n次首1多项式r(x),在A的定性矩阵类Q(A)中至少存在一个实矩阵B,使得B的特征多项式是r(x).文中证明了当n为奇数时n阶谱任意符号
本文研究一类含有阻尼项带有时滞细胞神经网络的全局渐进稳定性和一致稳定性的性质,通过构造适当的李雅普诺夫函数及利用分析的有关知识,给出了全局渐进稳定性和一致稳定的判
目的探讨血浆纤维蛋白原(FIB)在肺部良性疾病及晚期肺癌中的水平差异及其临床意义。方法回顾性分析142例肺部良性疾病患者(良性组)及190例晚期肺癌患者(肺癌组)血浆FIB水平。结果肺