MTL代数语义上逻辑公式的概率真度

• 作者: 左卫兵
• 来源期刊: 电子学报
• 学科: 数学
• 关键词: MTL代数 L-赋值 概率真度 概率逻辑度量空间 程度化推理
• 年，卷（期）: 2015,（2）
• 页码范围: 293-298
• 页数: 6页
• 分类号: O141.1|O189.2
• 字数: 7237字
• 语种: 中文
• DOI: 10.3969/j.issn.0372-2112.2015.02.014

摘要

基于L-赋值理论，通过在MTL代数赋值格和全体公式集上分别建立概率测度，利用积分方法提出了MTL代数语义上公式的概率真度。证明了概率真度的MP规则、HS规则及交推理规则；同时引入公式间的概率相似度和伪距离，建立了概率逻辑度量空间。将计量逻辑学中的相关理论推广到基于MTL代数语义的格值逻辑上，使得在格值逻辑上进行程度化推理成为可能。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	左卫兵	华北水利水电大学数学与信息科学学院	64	158	7.0	9.0