格蕴涵代数的LI-理想格及其素元刻画.pdfVIP

高校应用数学学报 2014，29(4)：475—482 格蕴涵代数的 一理想格及其素元刻画 刘春辉 (赤峰学院数学与统计学院，内蒙古赤峰 024001) 摘 要：运用格理论的原理和方法对格蕴涵代数L的 一理想概念作进一步研究．首先 在 的全体 一理想之集 f()上定义了格运算 和 ，蕴涵运算 以及伪补运算④， 证明了( J()，c，，， ，{O)，)构成一个完备HeytiIlg代数的结论．其次，利用运 算④的性质给出了( ()，c，，， ，④，{0)，)成为Boolean4~数的若干充要条件． 最后，借助于 的素 一理想之特性获得了格( j()，c，，，{O)，L)中素元的若干等 价刻画． 关键词：格值逻辑；格蕴涵代数；LI一理想；完备Heyting代数；Boolean代数；素元 中图分类号：0141．1；O153．1 文献标识码：A 文章编号：1000—4424(2014)04—0475．08 §1 引 言 智能信息处理是人工智能领域的重要研究方向之一．作为处理确定性现象之基础的经典二 值逻辑系统，是处理确定性信息的一种十分有效的工具，然而它却无法直接有效地去刻画人类 带有不确定性信息的思维活动．于是，来 自于计算机科学、人工智能、数学及相应应用领域的 研究人员纷纷提出了各种不同形式的逻辑系统，试图为智能控制中的不确定性推理建立合适的 逻辑基础．从而极大地推动和促进 了非经典数理逻辑理论的产生和发展．作为对经典逻辑有效 扩充而形成的多值逻辑是非经典数理逻辑的一个极其重要的研究分支，它为基于经典逻辑的推 理和模型提供了一个变化形式[1]．Goguen、Pavelka~DNovak对格值逻辑系统的研究工作[4‘】表 明，格值逻辑在多值逻辑理论体系中扮演着一个十分重要的角色[55]．它将已有多值逻辑的链型真 值域拓广为较一般的格，进而更有效地描述人类思维、判断和决策的不确定性．为了对格值逻 辑系统做更广泛的研究，同时给不确定信息处理理论提供可靠的逻辑基础，徐扬教授于1993年 将格和蕴涵代数相结合提出了格蕴涵代数的概念并给出了它的若干有趣的性质[6】|随后，他与 秦克云又提出了格H蕴涵代数的概念7【】1研究表明格H蕴涵代数是与Boolean代数等价的代数类． 自此，徐扬教授及其众多的合作者对格蕴涵代数的结构和性质 以及基于格蕴涵代数的格值逻 辑系统进行 了深入的研究，取得了较为丰硕的研究成果[8-12】，并最终形成该领域 的代表性著作 {{Lattice—ValuedLogic)) 1【引． 收稿 日期：2014—04—28 修回日期：2014—07-02 基金项目：国家自然科学基~60774073) 476 高校 应 用数 学 学 报 第29卷第4期 众所周知，在考察格蕴涵代数的结构特征时，各类具有特殊性质的理想扮演着重要的角色． 因此，格蕴涵代数的理想及其模糊化问题备受学者们的关注f14-181．其中，文献f14，151引入了格 蕴涵代数的L一理想概念，并讨论了它们的性质、刻画及其与格理想间的关系．文献i161又引入了 格蕴涵代数的儿 一理想和素 Jr一理想等概念，并对它们的性质进行了细致的讨论．以此为基础，本 文运用格理论的原理和方法对格蕴涵代数的 一理想理论作进一步研究，深入讨论了格蕴涵代数 的全体 一理想之集在集合包含序下的格论性质及其素元的特征，获得了一些有意义的结果． §2预备知识 定义2．1[。] 设(，V，^，，0，)是一个带有逆序对合对应 的有余格，和0分别为 的最大 元和最小元，一：L×L— 是 上的二元运算．称(，V，^，，一，O，，)是一个格蕴涵代数，简称 为 一 个格蕴涵代数，若Vx，y，z∈L有 (II)x一 (y—z)=y一 (x— )； (I2)x— ： ； (I3)x y=y_．÷x； (I4)x y=y x：I x= ； (I5)(—y)一y=(y—x)一 ； (L1)(xVy)一z=(x— z)八(y— )；