Graded Method of Lattice-Valued Logic System Based on Residuated Lattice Semantics

ZUO Wei-bing

doi:10.3969/j.issn.0372-2112.2017.08.006

您当前的位置：

首页 >

文章列表页 >

Graded Method of Lattice-Valued Logic System Based on Residuated Lattice Semantics

更新时间：2025-07-16

- Graded Method of Lattice-Valued Logic System Based on Residuated Lattice Semantics
- Acta Electronica Sinica Vol. 45, Issue 8, Pages: 1842-1848(2017)
- 作者机构：
  
  1. 华北水利水电大学数学与信息科学学院,河南,郑州,450046
  2. 华北水利水电大学数学与信息科学学院,河南,郑州,450046
- 作者简介：
- 基金信息：
  
  Basic and Frontier Technology Research Program of Henan Province (No.152300410112)
- DOI：10.3969/j.issn.0372-2112.2017.08.006
  CLC： O141.1O153.1
- Published Online：25 August 2017，
  
  Published：2017
- 稿件说明：
移动端阅览
ZUO Wei-bing. Graded Method of Lattice-Valued Logic System Based on Residuated Lattice Semantics[J]. Acta Electronica Sinica, 2017, 45(8): 1842-1848.
DOI：

ZUO Wei-bing. Graded Method of Lattice-Valued Logic System Based on Residuated Lattice Semantics[J]. Acta Electronica Sinica, 2017, 45(8): 1842-1848. DOI： 10.3969/j.issn.0372-2112.2017.08.006.

摘要

基于剩余格的赋值态理论，通过在剩余格全体赋值态集和全体公式集上分别建立概率测度，利用积分方法提出了剩余格语义上公式的概率真度，进而在剩余格语义上建立了概率逻辑度量空间，将计量逻辑学中近似推理方法推广到剩余格语义上，为剩余格语义的概率计量化提供了一种可行的方法.

Abstract

Based on evaluation state theory of residuated lattice and by defining probability measure in set of all evaluation states of residuated lattice and set of all formulate respectively

the probability truth degree of formula in residuated lattices semantics is introduced using the integral method

then the probability logic metric space is established in residuated lattices semantics

the approximate reasoning of quantitative logic methods have been entended to residuated lattices semantics

the feasible graded method of residuated lattices semantics is provided.

关键词

Keywords

references

Views

336

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Graded Method of Lattice-Valued Logic Based on MV-Algebra Semantics

Probability Truth Degrees of Formulas in MTL-Algebras Semantics

Graded Method of Boolean Semantics

A Fast Approximate Reasoning Method in Hierarchical DSmT ( B)

A Fast Approximate Reasoning Method in Hierarchical DSmT(A)

Related Author

ZUO Wei-bing

Jean Dezert

WU Xue-jian

YANG Wei-dong

LI Xin-de

WU Xue-jian

MENG Zheng-da

Related Institution

Department of Mathematics and Information Science North China Vniversity of Water Resources and Electric Power Zhengzhou Henan China

Department of Mathematics and Information Science, North China Vniversity of Water Resources and Electric Power

Department of Mathematics and Information ScienceNorth China Institute of Water Conservancy and Hydroelectric PowerZhengzhouHenan 450046China

Department of Mathematics and Information Science,North China Institute of Water Conservancy and Hydroelectric Power

ONERA(The French Aerospace Lab)29 Av.de la Division LeclercChatillon 92320France

⁰