伪NM代数的正规滤子与素滤子

发布时间：2018-03-05 20:34

  本文选题：伪NM代数　切入点：滤子　出处：《西安电子科技大学学报》2007年01期 　论文类型：期刊论文

【摘要】：为建立智能信息处理(近似推理)的数学基础以及逻辑代数自身发展的需要,提出一类新的逻辑代数———伪NM代数.引入了伪NM代数的滤子理论,定义了滤子、生成滤子、正规滤子和素滤子等概念,研究了它们的特征性质,给出了生成滤子的结构,证明了在伪NM代数中素滤子与不可约滤子等价以及极大滤子必是素滤子,建立了伪NM代数的素滤子定理及其推论.它们是NM代数滤子理论相应结果的非交换推广.
[Abstract]:For the establishment of intelligent information processing (approximate reasoning) the mathematical foundation and logical algebra for their own development, this paper presents a new class of logic algebra, NM algebra is introduced. The filter theory of pseudo NM algebras, defined filters, generating filter, normal filters and prime filters such as the concept, research the characteristics of their properties, and gives the structure of generating filter, proved that the pseudo NM algebras in prime filter and irreducible filter equivalence and maximal filters will be prime filter, a prime filter theorem of pseudo NM algebras and inference. They are a non commutative generalization of NM algebra filter theory the corresponding results.

【作者单位】： 武夷学院数学系 西安电子科技大学理学院 宁波大学理学院
【基金】：国家自然科学基金资助项目(60574075) 福建省自然科学基金资助项目(2006J0394)
【分类号】：O141.1

【参考文献】

相关期刊论文 前1条

1 刘用麟;张小红;;伪NM代数及其性质[J];工程数学学报;2006年04期

【共引文献】

相关期刊论文 前10条

1 吴洪博,文秋梅;赋值格中一种混合运算的性质和应用[J];西南交通大学学报;2002年01期

2 袁和军,李骏;模糊推理的摄动性[J];模糊系统与数学;2001年04期

3 刘用麟,刘三阳;R_0-代数的正规MP-理想[J];西安电子科技大学学报;2005年01期

4 程国胜;R_0代数中的滤子与理想[J];模糊系统与数学;2001年01期

5 裴道武;FMT问题的两种三I算法及其还原性[J];模糊系统与数学;2001年04期

6 吴洪博;L_0~*-Lindenbaum代数的结构与性质[J];四川大学学报(自然科学版);2001年03期

7 李永明;对偶Quantale及其性质[J];陕西师范大学学报(自然科学版);2001年01期

8 吴洪博,文秋梅;L~*系统中的模糊演绎定理[J];陕西师范大学学报(自然科学版);2001年01期

9 王国俊;适用于多种蕴涵算子的赋值空间上的测度与积分理论[J];中国科学E辑;2001年01期

10 王家兵,王能超,徐正权,彭宏;一个带有相似性关系的模糊逻辑[J];计算机研究与发展;2004年03期

相关博士学位论文 前10条

1 伊良忠;格蕴涵代数及语言真值不确定性推理研究[D];西南交通大学;2007年

2 刘新;三维空间关系的描述及其定性推理[D];山东科技大学;2007年

3 吴恒洋;概率计算与可能性计算的Domain语义[D];上海师范大学;2007年

4 赖洪亮;Ω-范畴序结构性质的研究[D];四川大学;2007年

5 樊磊;Domain理论中若干问题的研究[D];首都师范大学;2001年

6 李志伟;偏序集上的蕴涵代数[D];首都师范大学;2002年

7 赵光峰;格蕴涵代数与图的升分解问题的研究[D];西南交通大学;2002年

8 马骏;基于格蕴涵代数的格值逻辑系统及其自动推理的研究[D];西南交通大学;2002年

9 斐峥;基于神经网络的自动推理理论及方法的研究[D];西南交通大学;2002年

10 王伟;格值命题逻辑系统LP（X）中基于α-归结原理的自动推理方法的研究[D];西南交通大学;2002年

相关硕士学位论文 前10条

1 何义平;基于SS-三角模的模糊逻辑系统UL~*的若干问题研究[D];南昌大学;2007年

2 韩红娟;模糊关系传递闭包与内部的进一步研究[D];太原理工大学;2007年

3 周丽莉;两种模糊命题逻辑的公式的概率真度[D];辽宁师范大学;2007年

4 折延宏;若干经典命题逻辑问题的拓扑刻画[D];陕西师范大学;2007年

5 吴苏朋;MTL-代数中几类特殊的滤子和Fuzzy滤子[D];陕西师范大学;2007年

6 韩召伟;格值自动机的代数性质与极小化算法[D];陕西师范大学;2007年

7 梁常建;格值正则语言及其截集性质研究[D];陕西师范大学;2007年

8 于鹏;F（S）中的近似推理与三I算法的连续性[D];陕西师范大学;2007年

9 许格妮;偏序集上的S代数及其与若干代数的关系[D];陕西师范大学;2007年

10 韩邦合;计量逻辑学中的近似推理与二值逻辑中命题的条件真度理论[D];陕西师范大学;2007年

【相似文献】

相关期刊论文 前3条

1 刘用麟;刘三阳;张小红;;伪NM代数的正规滤子与素滤子[J];西安电子科技大学学报;2007年01期

2 刘用麟;张小红;;伪NM代数及其性质[J];工程数学学报;2006年04期

3 刘用麟;刘三阳;张小红;;伪NM代数的正规滤子与素滤子[J];西安电子科技大学学报;2007年01期

相关博士学位论文 前1条

1 刘用麟;若干逻辑代数系统结构的研究[D];西安电子科技大学;2005年

，

本文编号：1571778