排序方式: 共有121条查询结果,搜索用时 375 毫秒
1.
2.
利用赋值集的随机化方法,在n值逻辑系统Rn提出了公式的DRn-真度的概念。给出了两公式间的DRn-相似度与伪距离的概念,建立了DRn-逻辑度量空间。 相似文献
3.
以Π系统为背景,针对由单个原子生成的公式,解决了王国俊教授提出的函数决定公式的问题(VDF问题),即满足什么条件的函数可由逻辑公式导出,或逻辑公式的真值函数的特征如何;进而按照逻辑等价的关系将由单原子生成的公式集进行细致地分类;最后又给出了由单个原子生成的公式的真度分布情况。 相似文献
4.
以Godel系统为背景,针对由单个或两个原子生成的公式,解决了公式的真度分布问题.得到任一由单个或两个原子生成的公式的真度必为0,1/6,2-6,1/2,4/6,5/6,1之一.进而按照真度将由单原子或两个廉子生成的公式集进行了细致的分类. 相似文献
5.
提出了基于蕴涵算子族G-λ-∏的模糊推理的思想,这将有助于提高推理结果的可靠性。针对蕴涵算子族G-λ-∏给出了模糊推理的FMP模型及FMT模型的三I支持算法、α-三I支持算法。 相似文献
6.
首先给出了一个新的蕴涵算子族:G-λ-R0(λ∈[0,1])(它包括Gsdel(简称RG)算子与R0算子).然后重点讨论了G-λ-R0(λ∈[0,1])族算子的伴随算子及其正则性.结果表明,在该算子族中,每一个算子都具有伴随算子且具有正则性.从而说明了此算子是较理想的蕴涵算子.最后讨论了基于此蕴涵算子族的三Ⅰ支持算法. 相似文献
7.
利用赋值集的随机化方法,在三值逻辑L3,中提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式问的DL3一相似度与伪距离的概念,并建立了DL3,一逻辑度量空间,证明了此空间没有孤立点. 相似文献
8.
研究了基于蕴涵算子Lp模糊推理的FMP反向三I支持算法及α-反向三I支持算法,给出了FMP模型的反向三I算法及α-反向三I算法的计算公式。 相似文献
9.
提出了基于蕴涵算子族L-λ-Ro的模糊推理的思想,这将有助于提高推理结果的可靠性.针对蕴涵算子族L-λ-Ro给出了FMT模型的三I约束算法、α一三I约束算法.给出了FMT模型的三I约束算法、α一三I约束算法计算公式. 相似文献
10.
提出了基于蕴涵算子族L-λ-R0的模糊推理的思想,这将有助于提高推理结果的可靠性。针对蕴涵算子族L-λ-R0给出了模糊推理的FMP模型及FMT模型的α-三I约束算法。 相似文献