首页> 中文学位 >剩余格与基于剩余格的几类代数系统的关系
【6h】

剩余格与基于剩余格的几类代数系统的关系

代理获取

目录

文摘

英文文摘

引言

第一章剩余格

§1.1剩余格与正则剩余格

§1.2关于剩余格的一些重要的附加条件

§1.3正规剩余格与BL-代数

第二章几类蕴涵代数系统与剩余格

§2.1 MV-代数与剩余格

§2.2格蕴涵代数与剩余格

§2.3 Heyting代数与剩余格

§2.4 FI代数与剩余格

§2.5蕴涵格与剩余格

§2.6 Boole代数与剩余格

§2.7R0-代数与剩余格

§2.8几类蕴涵代数系统之间的相互关系

第三章R0-代数的Fuzzy MP滤子

§3.1R0-代数的基本性质

§3.2R0-代数的MP滤子与Fuzzy MP滤子

§3.3R0-代数的素MP滤子与Fuzzy素MP滤子

第四章RL型蕴涵与Fuzzy推理的三I算法

§4.1 RL型蕴涵与正则RL型蕴涵

§4.2 RL型三I算法及其还原性

§4.3 RL型三I MT算法及其还原性

§4.4正则RL型三I算法与三I MT算法的对偶形式

总结

参考文献

附表剩余格、几类代数系统之间的关系

致谢

攻读硕士学位期间的研究成果

展开▼

摘要

该文研究若干类逻辑代数系统包括MV-代数、格蕴涵代数、Fuzzy蕴涵代数、Heyting代数、Boole代数、蕴涵格、R<,0>-代数等与剩余格的关系以及这些代数系统相互之间的关系.同时还研究R<,0>-代数的Fuzzy MP滤子、RL型蕴涵与Fuzzy推理的三Ⅰ算法等问题.这些内容是非经典逻辑与Fuzzy推理研究中较为关注的问题.全文分四章,分别就这些问题进行了研究.这些条件附加在剩余格上可以得到一些重要的剩余格类.如正规剩余格就是满足上述全部附加条件的剩余格;BL-代数就是满足(B)、(C)组全部条件的剩余格;次BL-代数就是满足(C)组条件的剩余格,而满足(B)组条件的剩余格称为次正规的.该文系统研究并弄清了这些附加条件相互之间的关系,证明了它们中的每一条都蕴涵着分配性,从而知道了正规剩余格、次正规剩余格、BL-代数、次BL-代数相互之间的关系,并且它们都是分配格.该文第二章分别讨论了MV-代数、格蕴涵代数、Heyting代数、Fuzzy蕴涵代数、蕴涵格、Boole代数、(弱)R<,0>-代数与剩余格的关系,证明了MV-代数、格蕴涵代数、正规Fuzzy蕴涵代数都是与正规剩余格等价的代数系统;弱R<,0>-代数是与正则的次BL-代数等价的代数系统;Boole代数是正规剩余格;Heyting代数是次正规剩余格;得到了蕴涵格和正则Fuzzy蕴涵代数成为(正则)剩余格的充分必要条件.在该章最后一节,讨论了以上各类代数相互之间的关系.王国俊教授提出并研究了模糊逻辑命题演算的形式系统该文第三章引入了R<,0>-代数Fuzzy MP滤子与Fuzzy素MP滤子的概念,得到了R<,0>-代数的Fuzzy MP滤子与Fuzzy素MP滤子的若干等价刻画;由此又得到了R<,0>-代数的(非Fuzzy的)MP滤子与素MP滤子的一些等价刻画.该文第四章讨论了RL型蕴涵与Fuzzy推理的三Ⅰ算法,给出了RL型蕴涵与正则RL型蕴涵的概念和特征;系统讨论了基于RL型蕴涵的三Ⅰ算法、三ⅠMT算法及其还原性,得到了这些算法的一般表达式以及它们为还原算法的一些充分条件,同时指出基于正则RL型蕴涵的三Ⅰ算法与三ⅠMT算法的表达式具有对偶形式.

著录项

相似文献

  • 中文文献
  • 外文文献
  • 专利
代理获取

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号