宋庆燕
- 作品数：4 被引量：90H指数：3
- 供职机构：陕西师范大学数学与信息科学学院数学研究所更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：理学更多>>
- 命题逻辑公式集上的正则相似关系被引量：3
- 2002年
- 研究了命题逻辑公式集(F(S))上的正则相似关系.在经典二值命题逻辑中引入了正则相似度概念,利用公式的真度概念给出了一种正则相似度,进而导出了全体公式集上的一种伪距离,并且证明了它与另外两种伪距离是等价的.
- 宋庆燕杨兴忠
- 关键词：伪距离二值命题逻辑
- 一种新型的三I算法及其逻辑基础被引量：70
- 2003年
- 在Fuzzy推理中提出了“过半可信”原则,并证明了R_0-型三角模恰为可实现这一原则的三角模。在此基础上,将Fuzzy推理中的大、小前提作了修正从而摒弃了不可信的推理成分,提出了一种新型的三Ⅰ算法(TripleⅠ)。研究了逻辑系统中的形式化推理机制,基于根的理论为新型三Ⅰ算法奠定了严格的逻辑基础。
- 王国俊宋庆燕
- 关键词：三I算法逻辑系统数理逻辑
- Boole代数上的度量结构及其在命题逻辑中的应用被引量：19
- 2004年
- 设B是一个Boole代数, Ω是从B到Boole代数{0,1}的全体同态之集,μ是Ω上的概率测度.本文基于μ在B中引入了元素的尺寸概念以及元素对之间的相似度概念,并由此在B上建立了度量结构.作为应用,本文改进了新近提出的命题逻辑中的近似推理理论.
- 王国俊宋庆燕宋玉靖
- 关键词：命题逻辑
- 命题逻辑公式集上的正则相似关系和一种新型的三I算法
- Zadeh L.A.于1973年提出了Fuzzy推理的思想并给出了著名的CRI算法。由于Fuzzy推理适用于含有模糊性的不确定性推理并且贴近人类的思维模式，所以Fuzzy推理一经提出，就受到了广泛的关注，很快就涌现出一大...
- 宋庆燕
- 文献传递
