-
题名模糊命题逻辑系统的计量化
被引量：1
- 1
-
-
作者
李修清
李燕
-
机构
桂林航天工业学院理学部
桂林航天工业学院信息工程系
-
出处
《模糊系统与数学》
CSCD
北大核心
2016年第4期68-75,共8页
-
基金
广西壮族自治区科研项目(201106LX709)
-
文摘
在模糊命题逻辑系统中提出了公式的随机真度的概念,证明了模糊命题逻辑系统中有效推理的随机真度关系定理。运用随机真度关系定理证明了逻辑算子,→的连续性,给出了公式间距离的计算方法。最后,在系统L*中提出了三种近似推理模式,并讨论了它们之间的关系。
-
关键词
随机真度
必要度
有效推理
随机逻辑度量空间
-
Keywords
random Truth Degree
Essentialness Degree
Valid Inference
random logic metric space
-
分类号
O142
[理学—数学]
-
-
题名概率逻辑学基本定理的推广及其应用
- 2
-
-
作者
李燕
-
机构
桂林航天工业学院信息工程系
-
出处
《计算机工程与应用》
CSCD
北大核心
2017年第1期54-56,76,共4页
-
基金
广西壮族自治区教育厅科研项目(No.201106LX709)
-
文摘
利用赋值集的随机化方法,在n值命题逻辑系统中提出了公式的随机不可靠度概念,证明了一个有效推理结论的随机不可靠度不大于各前提的随机不可靠度与其必要度的乘积之和。通过推广的概率逻辑学基本定理,证明了随机逻辑度量空间中MP规则和HS规则成立。
-
关键词
随机真度
随机不可靠度
随机伪距离
随机逻辑度量空间
-
Keywords
random truth degree
random uncertainty degree
random pseudo-metric
random logic metric space
-
分类号
O142
[理学—数学]
-
