排序方式: 共有44条查询结果,搜索用时 0 毫秒
1.
2.
解决了模糊逻辑系统L^*与Luk中理论相容度的计算问题。首先给出了L^*中理论相容度的计算公式;然后,引入了逻辑公式的核,理论的核的新概念,从而,得到了模糊逻辑系统Luk中理论相容度的计算公式;最后,给出了理论不相容的两个新的充要条件。 相似文献
3.
4.
一阶模糊谓词逻辑公式的解释模型真度理论及其应用 总被引:5,自引:0,他引:5
基于一阶模糊谓词逻辑公式的有限和可数解释真度的理论,引入了一阶模糊谓词逻辑公式的解释模型及解释模型真度的概念,并讨论了它们的一系列性质及其在近似推理中的应用. 相似文献
5.
研究了基于蕴涵算子以θp模糊推理的三Ⅰ算法与反向三Ⅰ算法的支持度理论,分析了支持度的性质,得到了α-三Ⅰ算法的FMP(FMT)计算公式与α-反向三Ⅰ算法的FMP(FMT)计算公式。 相似文献
6.
讨论命题模糊逻辑系统П和God中理论相容度与下真度的计算问题。引入逻辑公式的核、零核及理论的核的新概念,得到命题模糊逻辑系统Ⅱ和God中理论相容度与下真度的计算公式,给出理论不相容的新的充要条件。 相似文献
7.
8.
10.
在L-fuzy拓扑学中引入了层稠密集、层第一纲集、层Baire空间、层浓度、及层可分空间等概念,研究了它们的基本性质,讨论了它们与分明拓扑学中相应概念的关系. 相似文献