排序方式: 共有4条查询结果,搜索用时 0 毫秒
1
1.
许格妮 《计算机工程与应用》2010,46(36):53-55
将经典二值命题逻辑L中公式的真度概念推广到势为2的非均匀概率空间上;当p∈(0,1)时,证明了全体公式的真度值之集在[0,1]中没有孤立点;利用真度定义公式间的p-相似度和伪距离,进而定义了p-逻辑度量空间,证明了该空间没有孤立点,并在此空间中提出了三种不同类型的近似推理模式。 相似文献
2.
研究了一类模糊逻辑代数系统——交换s代数.给出了交换s代数一系列基本性质,证明了交换s代数关于其上的偏序关系≤构成格.最后,证明了在交换s代数中定义xy=x′→y,则X是一个格蕴涵代数,在格蕴涵代数L中,定义y=x′→y,则L是一个交换s代数. 相似文献
3.
s代数是与格上三角余模相关的一种代数.以s代数概念为基础,对其性质进行了讨论,并给出了它与其他逻辑代数间的关系,证明了s代数是一个Heyting代数.最后讨论了s代数构成BL代数的充要条件,从而为研究不同的逻辑代数以及它们之间的关系奠定了一定的理论基础. 相似文献
4.
1