排序方式: 共有35条查询结果,搜索用时 8 毫秒
31.
模糊推理全蕴涵算法及其还原性 总被引:15,自引:0,他引:15
模糊推理是模糊控制的逻辑基础,然而通用的模糊推理CRI算法却缺乏严格的逻辑依据,近期问世的模糊推理全蕴涵三I算法有效地改进了CRI算法。本文研究了全蕴涵三I算法的一般计算公式及其还原性问题,并且得到了一些新的算法,也提出了一些新的观点,文献中已有的结果大多数是本文结果的特例。从而为模糊推理提供了一种新方法。 相似文献
32.
模糊推理三I算法的逻辑基础 总被引:14,自引:9,他引:5
在模糊推理理论中,近期问世的三I推理方法以逻辑蕴涵运算取代传统的合成运算,从根本上改进了传统的合成推理规则(即CRI方法)。本文基于模糊命题逻辑的形式演绎系统L^*和模糊谓词逻辑的一阶系统K^*,构建了一个完备的多型变元一阶系统Kms^*,并且将三I算法完全纳入了模糊逻辑的框架之中,从而为模糊推理奠定了严格的逻辑基础。 相似文献
33.
一阶形式系统K*及其完备性 总被引:5,自引:0,他引:5
模糊命题演算的形式系统L*已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L*相应的一阶逻辑理论,建立了一阶形式系统K*,并证明了这个系统的完备性. 相似文献
34.
强正则剩余格值逻辑系统L~N及其完备性 总被引:7,自引:0,他引:7
正则剩余格是一类重要的模糊逻辑代数系统,而常见的模糊逻辑形式系统大多数带有非联接词,并且相应的Lindenbaum代数都是正则剩余格.本文以强正则剩余格为语义,建立了一个一般的命题演算形式系统LN,并且证明了这个系统的完备性.几种常见的带有非联接词的模糊逻辑形式系统都是系统LN的扩张. 相似文献
35.
Kleene逻辑函数—一类广义模糊逻辑函数 总被引:2,自引:0,他引:2
裴道武 《纯粹数学与应用数学》1995,11(A01):136-138
引进了一类广义模糊逻辑函数-Kleene逻辑函数,讨论了这类函数的基本性质,并在这个函数类与正则三值逻辑函数之间建立起同构关系。 相似文献