排序方式: 共有36条查询结果,搜索用时 0 毫秒
11.
剩余格与正则剩余格的特征定理 总被引:53,自引:2,他引:53
本文进一步研究了具有广泛应用的一类模糊逻辑代数系统——剩余格,并引入了正则剩余格的概念,对剩余格与正则剩余格的定义进行了讨论,给出了剩余格与正则剩余格的特征定理,其中包含剩余格与正则剩余格的等式特征,从而这两个格类都构成簇.本文还讨论了剩余格与正则剩余格公理系统的独立性,以及它们与相近代数结构的关系. 相似文献
12.
基于逻辑相似度和剩余蕴涵,研究了五蕴涵推理方法(QIP)和相似度推理方法(FSI)的鲁棒性,给出了在四个常用蕴涵下QIP的鲁棒性的具体结果,以及基于修正的Kleene蕴涵的FSI的鲁棒性结论,并且对这两种推理方法的鲁棒性进行了初步的比较. 相似文献
13.
裴道武 《高校应用数学学报(A辑)》2012,27(3)
模糊推理已经在多个领域得到成功的应用,同时,模糊推理的理论研究也取得较大的进展.本文针对模糊推理研究文献比较杂乱和零散的情况,系统地构建模糊推理的理论体系.从模糊推理的理论研究和一些实际应用提取出五个基本模型,简要评述模糊推理的三个重要方法,仔细讨论评判模糊推理方法优劣的五个准则,进一步明确与模糊推理有关的一些概念及相互关系,统一有关的术语与记号,综述相关的研究成果,同时给出一些新的观点和结果. 相似文献
14.
模糊相似度作为度量模糊集之间相似程度的重要工具,已经在理论研究与应用领域发挥了十分重要的作用,而限制等价函数与模糊相似度具有紧密的联系。本文对于限制等价函数的性质与构造方法展开进一步讨论,研究限制等价函数与自同构,t-模,以及t-余模之间的关系,进而研究由限制等价函数构造的模糊相似度的性质。我们的结果表明,这种由限制等价函数构造的模糊相似度具有相当好的性质。 相似文献
15.
三I推理方法是一种新的模糊推理方法,通过已有的研究成果表明,在许多方面它优于传统的CRI推理方法,它将成为模糊系统和人工智能的理论和应用研究中一个比较理想的推理机制。最近,国外学者提出了一个新的模糊逻辑形式系统,叫做Monoidal t-norm based logics(简记为MTL),已经证明这个形式系统是所有基于左连续三角范数的模糊逻辑的共同形式化。本文基于这类逻辑将三I推理方法形式化,从而在这些逻辑系统中为三推理方法找到了可靠的逻辑依据。 相似文献
16.
本文基于一般的聚合算子,提出一类新的模糊蕴涵,称之为广义剩余蕴涵.广义剩余蕴涵是模糊逻辑中十分重要的剩余蕴涵的自然推广.我们进一步讨论这类蕴涵的基本性质,并且探究广义剩余蕴涵与由模糊合取生成的蕴涵之间的关系,并证明这两类蕴涵为不同的蕴涵.这些结果在模糊逻辑与模糊决策之间建立了新的联系. 相似文献
17.
形式演绎系统T中的运算与演绎定理 总被引:20,自引:10,他引:10
对著名的形式演绎系统T做了进一步的研究,得到一些新定理,在系统T中引入新的二元运算,讨论了这各运算的性质,并由此得到了形式系统T中的演绎定理。 相似文献
18.
证明了系统(£)*n中的可满足性定理,紧致性定理和可判定性定理,完善了系统(£)*n的理论体系,并将这些性质应用到计量逻辑学中,给出了∑Γ-真度和条件真度存在的充要条件. 相似文献
19.
形式系统L*(n)的完备性 总被引:9,自引:0,他引:9
模糊逻辑命题演算形式系统 L*自 1 997年被提出以来 ,在模糊逻辑与模糊推理的理论与应用中发挥了重要的作用 .系统 L* 的完备性直到最近才由作者给出证明 .本文进一步研究系统 L*的扩张在 n元 R0 链 Wn 上的完备性问题 ,通过构造公式列 ,得到系统 L*的扩张列 { L* (n) } ,使用代数方法证明了对于任何n≥ 3 ,系统 L* (n)关于 Wn 是完备的 相似文献
20.
对著名的形式演绎系统 L* 做了进一步的研究 ,得到一些新定理。在系统 L* 中引入新的二元运算 ,讨论了这种运算的性质 ,并由此得到了形式系统 L* 中的演绎定理 相似文献