几类广义模糊集的关系

经过近五十年的发展,模糊集在理论与应用两个领域的研究都已经取得长足的进展,特别地,在模糊决策等应用领域,涌现了几类重要的广义模糊集,包括区间值模糊集,直觉模糊集,区间值直觉模糊集,II型模糊集,Vague集,灰集等。本文简要介绍关于这些广义模糊集之间关系的研究成果,以及国外关于直觉模糊集术语问题的争议。     

形式系统T^*(n)的完备性

模糊逻辑命题演算形式系统T ^*自1997年被提出以来,在模糊逻辑与模糊推理的理论与应用发挥了重要的作用,系统T^*的完备性直到最近才由作者给出证明,本文进一步研究系统T^*的扩张在n元R0链Wn上的完备性问题,通过构造公式列,得到系统T^*的扩张到｛T^*(n)｝,使用代数方法证明了对于任何n≥3,系统T^*(n)关于Wn是完备的。     

形式演绎系统T中的运算与演绎定理

对著名的形式演绎系统T做了进一步的研究，得到一些新定理，在系统T中引入新的二元运算，讨论了这各运算的性质，并由此得到了形式系统T中的演绎定理。     

限制等价函数与模糊相似度

模糊相似度作为度量模糊集之间相似程度的重要工具,已经在理论研究与应用领域发挥了十分重要的作用,而限制等价函数与模糊相似度具有紧密的联系。本文对于限制等价函数的性质与构造方法展开进一步讨论,研究限制等价函数与自同构,t-模,以及t-余模之间的关系,进而研究由限制等价函数构造的模糊相似度的性质。我们的结果表明,这种由限制等价函数构造的模糊相似度具有相当好的性质。     

模糊推理的基本理论

模糊推理已经在多个领域得到成功的应用,同时,模糊推理的理论研究也取得较大的进展.本文针对模糊推理研究文献比较杂乱和零散的情况,系统地构建模糊推理的理论体系.从模糊推理的理论研究和一些实际应用提取出五个基本模型,简要评述模糊推理的三个重要方法,仔细讨论评判模糊推理方法优劣的五个准则,进一步明确与模糊推理有关的一些概念及相互关系,统一有关的术语与记号,综述相关的研究成果,同时给出一些新的观点和结果.     

基于三角范数的模糊逻辑中的三Ⅰ方法

三I推理方法是一种新的模糊推理方法,通过已有的研究成果表明,在许多方面它优于传统的CRI推理方法,它将成为模糊系统和人工智能的理论和应用研究中一个比较理想的推理机制。最近,国外学者提出了一个新的模糊逻辑形式系统,叫做Monoidal t-norm based logics(简记为MTL),已经证明这个形式系统是所有基于左连续三角范数的模糊逻辑的共同形式化。本文基于这类逻辑将三I推理方法形式化,从而在这些逻辑系统中为三推理方法找到了可靠的逻辑依据。     

广义剩余蕴涵北大核心

本文基于一般的聚合算子,提出一类新的模糊蕴涵,称之为广义剩余蕴涵.广义剩余蕴涵是模糊逻辑中十分重要的剩余蕴涵的自然推广.我们进一步讨论这类蕴涵的基本性质,并且探究广义剩余蕴涵与由模糊合取生成的蕴涵之间的关系,并证明这两类蕴涵为不同的蕴涵.这些结果在模糊逻辑与模糊决策之间建立了新的联系.     

系统(￡)*n的逻辑性质及其应用

证明了系统(￡)*n中的可满足性定理,紧致性定理和可判定性定理,完善了系统(￡)*n的理论体系,并将这些性质应用到计量逻辑学中,给出了∑Γ-真度和条件真度存在的充要条件.     

The Semantical Completeness of the Extensions Ln^＊ to the System L^＊ ＊

The terminology of “fuzzy logic” has been formed and employed with different meanings by a large number of researchers soon after Zadeh published his initiate paper (see [1]), but perhaps the most serious work on fuzzy logic is the Pavelka‘s series papers (see [2]) which provided a systematical theory of fuzzy logic mathematically and profoundly, and hence has been accepted by scholars as a standard theory in developing their researches on fuzzy logic.     

模糊命题演算系统■~*的简化与独立性

模糊逻辑命题演算系统■*在模糊逻辑与模糊推理的结合研究中得到了成功的应用。本文进一步研究系统■*的语法结构,得到了一些有趣的新结果,特别是给出了它的一个简化形式,并证明了这个简化公理系统的独立性。