共查询到14条相似文献,搜索用时 46 毫秒
1.
在重新定义补运算和构造新蕴涵算子的基础上,证明了偶序对〈R,~R〉不仅可以构成蕴涵格、格蕴涵代数、剩余格,而且可构成正则剩余格和MV-代数。 相似文献
2.
3.
熊天义 《淮北煤炭师范学院学报(自然科学版)》1996,(3)
蕴涵是各种逻辑系统中一种最基本和常用的逻辑运算,它有古典、G■del、Lukasiewicz等蕴涵之别.本文引入最后一种,即Lukasiewicz蕴涵的概念,并研究了它的一些基本性质和应用. 相似文献
4.
朱华 《河南科技大学学报(自然科学版)》2006,27(3):83-85
格蕴涵代数是一种重要的逻辑代数,可以分别刻画真值的可比较性和不可比较性,从而形象地描述人类的思维活动。因此,构造新的格蕴涵代数对人工智能的研究具有重要意义。提出了格蕴涵同态像的概念,证明了格蕴涵同态像是格蕴涵代数;并通过已有的格蕴涵同态映射,得到构造格蕴涵代数的新方法。 相似文献
5.
格蕴涵代数的素滤子 总被引:4,自引:0,他引:4
孟彪龙 《西北大学学报(自然科学版)》1998,28(3):189-192
格蕴涵代数中素滤子的概念被引入。建立了素滤子的基本性质和素滤子定理。作为推论,给出了格蕴涵代数的某些结构性定理。 相似文献
6.
7.
研究了一类模糊逻辑代数系统--交换s代数.给出了交换s代数一系列基本性质,证明了交换5代数关于其上的偏序关系≤构成格最后,证明了在交换s代数中定义x(+)y=x'→y,则X是一个格蕴涵代数,在格蕴涵代数L中,定义x(+)y=x'→y,则L是一个交换s代数. 相似文献
8.
9.
为智能信息处理、人工智能理论提供一个可靠的逻辑基础,特别是含有模糊性和不可比较性的不确定性信息处理,提出了一类伪逻辑代数——伪格蕴涵代数,它是格蕴涵代数的非交换推广.详细地探讨了伪格蕴涵代数的基本性质,给出了伪格蕴涵代数的等价特征. 相似文献
10.
11.
在格蕴涵代数中,首先提出了零化子的概念,证明了零化子是理想和sl理想.然后,讨论了零化子的特殊性质.最后,讨论了零化子与理想、sl理想和零化子的格蕴涵同态像之间的关系. 相似文献
12.
In order to study uncertainty reasoning and automatic reasoning with linguistic terms, in this paper, the set of basic linguistic truth values and the set of modifiers are defined, according to common sense; partially orderings are defined on them. Based on it, a lattice implication algebra model L18 of linguistic terms is built; furthermore, its some basic properties are discussed. 相似文献
13.
朱怡权 《宁夏大学学报(自然科学版)》2005,26(3):216-218,224
借助于格的原子与分子的性质,研究了一些低阶格蕴涵代数的构造问题.证明了在同构的意义下,4阶格蕴涵代数和6阶格蕴涵代数分别只有2个.这些结果将有助于对相应的逻辑系统与模糊推理的研究. 相似文献
14.
给出了模糊形式背景下一种由Lukasiewicz蕴涵算子构造的模糊概念格的定义方式,讨论了它的性质,并给出了计算模糊概念的算法。最后,给出了一个数值例子,说明了在该定义下形成的模糊概念格。 相似文献