排序方式: 共有2条查询结果,搜索用时 4 毫秒
1
1.
命题逻辑公式集上的正则相似关系 总被引:1,自引:0,他引:1
研究了命题逻辑公式集(F(S))上的正则相似关系。在经典二值命题逻辑中引入了正则相似度概念,利用公式的真度概念给出了一种正则相似度,进而导出了全体公式集上一种伪距离,并且证明了它与另外两种伪距离是等价的。 相似文献
2.
一种新型的三Ⅰ算法及其逻辑基础 总被引:20,自引:1,他引:19
在Fuzzy推理中提出了"过半可信"原则,并证明了R0-型三角模恰为可实现这一原则的三角模.在此基础上,将Fuzzy推理中的大、小前提作了修正从而摒弃了不可信的推理成分,提出了一种新型的三Ⅰ算法(Triple Ⅰ)*.研究了逻辑系统(l) *中的形式化推理机制,基于根的理论为新型三Ⅰ算法奠定了严格的逻辑基础. 相似文献
1