云彩店邀请码|半壳|优胜
随着信息科学与人工智能研究的不断发展,模糊逻辑与多值逻辑已取得十分丰硕的成果.逻辑代数作为命题逻辑系统的语义理论已形成了一个重要的代数分支和研究方向.继吴望名教授提出Fuzzy蕴涵代数后,徐扬教授提出了格蕴涵代数,王国俊教授建立了R0-代数,吴洪博教授通过对R0-代数的研究,提出了BR0-代数以及WBR0-代数.
基于以上理论的研究,本文的结构和主要内容安排如下:
第1章? ?预备知识.本章给出了文章中将要用到的格,交半格,FI-代数,正则FI-代数,格蕴涵代数,BR0-代数以及WBR0-代数的基本概念和结论.
第2章? ?正则FI-代数与WBR0-代数.首先对正则FI-代数作了进一步的研究,给出它的一种改进的定义形式.其次,给出了WBR0-代数的基本性质.最后讨论了这两种代数之间的关系,并举例加以说明.
第3章? ?BR0-代数,WBR0-代数与格蕴涵代数.首先给出BR0-代数的交半格表示形式,并将BR0-代数的交半格表示形式中部分条件进行弱化,从而得到了BR0-代数的一种极为简洁的定义形式.其次,给出WBR0-代数的交半格简化形式.再次,利用WBR0-代数的简化形式,例举了一个非BR0-代数的WBR0-代数.最后,提出可交换BR0-代数与可交换WBR0-代数的概念,并对它们与格蕴涵代数的内在联系进行了讨论.
来源:半壳优胜鲸鱼幸运星转载请保留出处和链接!
本文链接:http://87cpy.com/247054.html
本站部分内容来源网络如有侵权请联系删除