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

左卫兵

doi:10.3969/j.issn.0372-2112.2015.02.014

您当前的位置：

首页 >

文章列表页 >

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

学术论文 | 更新时间：2025-07-16

- MTL代数语义上逻辑公式的概率真度
- Probability Truth Degrees of Formulas in MTL-Algebras Semantics
- 电子学报 2015年43卷第2期页码：293-298
- 作者机构：
  
  1. 华北水利水电大学数学与信息科学学院,河南,郑州,450046
  2. 华北水利水电大学数学与信息科学学院,河南,郑州,450046
- 作者简介：
- 基金信息：
  
  国家自然科学基金 (No.11201145);河南省教育厅自然科学基金 (No.13A110719);河南省教育厅人文社会科学研究项目 (No.2013-QN-295)
- DOI：10.3969/j.issn.0372-2112.2015.02.014
  中图分类号： O141.1O189.2
- 纸质出版：2015
- 稿件说明：
移动端阅览
左卫兵. MTL代数语义上逻辑公式的概率真度[J]. 电子学报, 2015,43(2):293-298.

ZUO Wei-bing. Probability Truth Degrees of Formulas in MTL-Algebras Semantics[J]. Acta Electronica Sinica, 2015, 43(2): 293-298.
左卫兵. MTL代数语义上逻辑公式的概率真度[J]. 电子学报, 2015,43(2):293-298. DOI： 10.3969/j.issn.0372-2112.2015.02.014.

ZUO Wei-bing. Probability Truth Degrees of Formulas in MTL-Algebras Semantics[J]. Acta Electronica Sinica, 2015, 43(2): 293-298. DOI： 10.3969/j.issn.0372-2112.2015.02.014.

摘要

基于L-赋值理论

通过在MTL代数赋值格和全体公式集上分别建立概率测度

利用积分方法提出了MTL代数语义上公式的概率真度.证明了概率真度的MP规则、HS规则及交推理规则;同时引入公式间的概率相似度和伪距离

建立了概率逻辑度量空间.将计量逻辑学中的相关理论推广到基于MTL代数语义的格值逻辑上

使得在格值逻辑上进行程度化推理成为可能.

Abstract

Based on L-evaluation theory and by defining probability measure in MTL-algebra evaluation lattice and set of all formulas respectively

the concept of probability truth degree of formulas in MTL-algebras semantics is introduced by the integral method.The MP rule

HS rule and meet inference rules of probability truth degree are proved.At the meantime

the concept of probability similarity degree and pseudo-distances between formulas are introduced and the probability logic metric space is built.The theory of quantitative logic is expanded to lattice-valued logic based on MTL-algebra semantics

which makes it possible in graded reasoning in lattice-valued logic.

关键词

Keywords

references

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

基于MV代数语义的格值逻辑的程度化方法

基于剩余格语义的格值逻辑系统的程度化方法

Boole语义的程度化方法