正则FBR0-代数的弱t-模及其应用.pdfVIP

CN 43—1258／TP 计算机工程与科学 第 37卷第 1期 2015年 1月 ISSN 1O07—13OX ComputerEngineering8LScience Vo1．37，No．1，Jan．2015 文章编号 ：1007-130X(2015)01—0099—05 正则 FBR0一代数的弱 t一模及其应用 牛超慧，吴洪博 (陕西师范大学数学与信息科学学院，陕西 西安 710062) 摘 要 ：吴望名教授建立的FI一代数 (模糊蕴涵代数)是重要 的基础逻辑代数 ，且通过弱化WBR。一代数 建立的FBR。一代数与FI一代数有相同的代数结构 。对FBR0-代数进行 了较细致的研 究。首先，证 明了正则 的FBR。一代数与RBR。一代数有相同的代数结构；其 次，讨论 了正则 FBR。代数 中弱 t一模 的基本性质 ；最 后 ，给 出了正则FBR。一代数的弱 t一模表示形式。 关键词 ：逻辑代数；正则 FBR0-代数 ；RBR0-代数 ；伴随对 ；弱 t模 中图分类号：o141．1 文献标志码 ：A doi：10．3969／i．issn．10O7—13OX．2015．01．015 W eak t-norm ofregularFBRo。。algebrasand itsapplication NIU Chao—hui，W U Hong—bo (CollegeofMathematicsandInformationScience，ShaanxiNormalUniversity，Xi’an710062，China) Abstract：FBRo—algebras(fuzzyBRo—algebras)，which arebuiltup byweakening theconditionsof WBRo-algebras，havethesamealgebraicstructurewithFI—algebras(fuzzyimplicationalgebras)which areimportantandbasiclogicalgebrasproposedbyprofessorW uW ang—ming．FBR。一algebraisstudiedin detail．Firstly，itisprovedthatregularFBR0一algebrashavethesamealgebraicstructurewith RBRo—a卜 gebras．Secondly，thebasicpropertiesofweakt-norm ofregularFBR0一algebrasarediscussed．Finally，a representationofregularFBRo—algebrasisgivenintheform ofweakt-norm． Keywords：logicalgebra；regularFBR0一algebras；RBR0一algebras；adjointpairs；weakt-norm 加广泛应用的逻辑代数 wBR0一代数。 1 引言 目前在 WBR0-代数的研究方面 已经取得一些 成果[8叫 。文献-19]讨论 了WBR。一代数 的正则性 作为非经典数理逻辑 的一个重要分支 ，模糊逻 并建立了WBR。一代数与其他逻辑代数的联系。文 辑是人工智能与信息科学等许多领域 中推理机制 献Elo]给出了WBR。一代数的 ^一半格的表示形式 。 的基础，逻辑代数作为模糊逻辑的语义部分成为 文献[11]将 WBR。一代数的条件继续弱化后建立了 一 个重要的研究方向。文献[1]引入了模糊蕴涵代