IL型三I算法及其还原性和R<,0>代数中的滤子格.pdf

IL型三I算法及其还原性和‰代数中的滤子格 罗清君 摘要模糊推理与模糊逻辑是目前模糊系统理论中十分活跃的研究分支，而逻辑 代数系统又是模糊逻辑的一个重要的研究方向．本文主要就当蕴涵算子为蕴涵格 中的蕴涵算子时的三I算法和凰代数中的MP滤子和商展开讨论，取得了一些 有意义的研究成果． 念，并于1973年提出了模糊推理的合成推理的方法，即CRI算法121．由于模糊推 理适合于含有模糊性的不确定性推理并且贴近人类的思维模式阳l，所以模糊推 理一经提出，就受到了广泛的关注，很快就涌现出一大批理论性与应用性的研究 成果mJ．然而，模糊推理远较经典逻辑学中的二值推理复杂．从理论的角度看， Zadeh的CRI算法及其演变的推理机制也似乎有若干值得推敲之处．王国俊教授 对CRI算法详细研究之后，指出CRI算法缺乏严格的逻辑基础．为尝试给模糊 推理奠定比较严格的逻辑基础，而在{7】中提出了一种较CRI算法更优的全蕴涵 三I算法，受到学术界的广泛关注，并得到了充实与发展【8—2q．为适应模糊推理 的需要，王国俊教授又引入了蕴涵格…的概念．本文的第二章正是基于全蕴涵 三I算法，讨论当蕴涵算子取蕴涵格中的蕴涵算子(称为IL型蕴涵)时的三I算 法和三IMT算法以及它们的还原性．因为IL型蕴涵算子较正则蕴涵算子为更一 般的蕴涵算子，所以IL型三I算法是基于正则蕴涵三I算法的进一步的推广． 1997年王国俊教授基于模糊逻辑与经典逻辑本质区别的分析提出了一种新 代数系统一场代数f23】．自系统c+和岛代数提出以来，关于这方面的研究已迅 速展开[24-291．完备性标志着语构理论与语义理论的和谐统一，所以具有完备性 的逻辑系统才是好的逻辑系统+为证明口系统的完备性，f251在凰代数中引入 了MP滤子的概念．关于风代数的MP滤子的研究已有一些成果出现[30-洲．本 文的第三章把风代数的全体MP滤子作为一个整体进行研究．首先，讨论MP 滤子的一些基本的性质，并在全体MP滤子之集上引入运算V与A，证明了全体 MP滤子之集按包含序构成有界完备分配格．同时在全体MP滤子之集上定义运 算7和一，并给出了全体MP滤子之集成为凰代数的若干条件．其次，讨论墙 代数的全体MP滤子之集的素元与它的素滤子之间的关系，继而给出全体MP滤 子之集的素元的等价刻画定理．再者，分别在R0代数的全体素滤子之集和全体 极大滤子之集上构造拓扑，使得全体素滤子之集成为紧致的％空间，全体极大 滤子之集成为紧致的Hausdorff空间．最后，利用素滤子在风代数上作等价关系 得到凰代数的一种新型商代数．这为更好地揭示风代数的结构和性质奠定了 基础． 关键词三I算法蕴涵格岛代数滤子拓扑空间 andIts Filter IL—typeTriple-IAlgorithm Reductor，and Lattices On疡Algebra Luo Qing-Jun Abstract and are attractiveresearch Today,fuzzyreasoningfuzzylogicvery branchesof isan researchof fuzzysystem，whilelogicalalgebraimportanttopicfuzzy ofthe isto present intothe logic．Thepurpose paper godeep trilpe-Ialgorithms where the isthe ina implicationoperatori