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

左卫兵

doi:10.3969/j.issn.0372-2112.2013.10.026

您当前的位置：

首页 >

文章列表页 >

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

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

- 基于MV代数语义的格值逻辑的程度化方法
- Graded Method of Lattice-Valued Logic Based on MV-Algebra Semantics
- 电子学报 2013年41卷第10期页码：2035-2040
- 作者机构：
  
  1. 华北水利水电大学数学与信息科学学院,河南,郑州,450043
  2. 华北水利水电大学数学与信息科学学院,河南,郑州,450043
- 作者简介：
- 基金信息：
  
  河南省自然科学基金 (No.112300410040);河南省教育厅自然科学基金 (No.2011A110012,No.13A110719);河南省高等学校青年骨干教师资助计划 (No.2011GGJS-097)
- DOI：10.3969/j.issn.0372-2112.2013.10.026
  中图分类号： O141.1O189.2
- 纸质出版：2013
- 稿件说明：
移动端阅览
左卫兵. 基于MV代数语义的格值逻辑的程度化方法[J]. 电子学报, 2013,41(10):2035-2040.

ZUO Wei-bing. Graded Method of Lattice-Valued Logic Based on MV-Algebra Semantics[J]. Acta Electronica Sinica, 2013, 41(10): 2035-2040.
左卫兵. 基于MV代数语义的格值逻辑的程度化方法[J]. 电子学报, 2013,41(10):2035-2040. DOI： 10.3969/j.issn.0372-2112.2013.10.026.

ZUO Wei-bing. Graded Method of Lattice-Valued Logic Based on MV-Algebra Semantics[J]. Acta Electronica Sinica, 2013, 41(10): 2035-2040. DOI： 10.3969/j.issn.0372-2112.2013.10.026.

摘要

基于MV代数(Many-Valued algebra)语义

通过在MV代数赋值格和全体命题集上分别建立概率测度

利用积分方法提出了一种格值逻辑上命题的概率真度.由此可诱导出命题集上的伪距离

进而在格值逻辑上建立了概率逻辑度量空间并展开程度化推理.本文将计量逻辑学中近似推理方法推广到格值逻辑上

为格值逻辑的程度化提供了一种可行的方法.

Abstract

Based on the notion of MV-algebra semantics

probability measure is set up in MV-algebra evaluation lattice and set of all propositions

and a probability truth degree of propositions in lattice-valued logic is proposed with integral.Thus pseudo-metric in set of all propositions is induced

probability logic metric space is established in lattice-valued logic

and graded reasoning is developed.In summary

approximate reasoning method in quantitative logic is expanded to lattice-valued logic

and it is feasible in graded in lattice-valued logic.

关键词

Keywords

references

浏览量

下载量

CSCD

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

提交

工具集

关联资源

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

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

Boole语义的程度化方法

一种快速分层递阶DSmT近似推理融合方法(B)

一种快速分层递阶DSmT近似推理融合方法(A)