New Type of Rough Probabilistic Truth Degree of Formulae in Rough Logic

ZUO Wei-bing; LI Hui-hui; QIAN Li

doi:10.3969/j.issn.0372-2112.2019.05.026

您当前的位置：

首页 >

文章列表页 >

New Type of Rough Probabilistic Truth Degree of Formulae in Rough Logic

更新时间：2025-07-16

- New Type of Rough Probabilistic Truth Degree of Formulae in Rough Logic
- Acta Electronica Sinica Vol. 47, Issue 5, Pages: 1174-1179(2019)
- 作者机构：
  
  华北水利水电大学数学与统计学院,河南,郑州,450046
- 作者简介：
- 基金信息：
  
  Basic and Frontier Technology Research Program of Henan Province (No.152300410112)
- DOI：10.3969/j.issn.0372-2112.2019.05.026
  CLC： TP181
- Published Online：25 May 2019，
  
  Published：2019
- 稿件说明：
移动端阅览
ZUO Wei-bing, LI Hui-hui, QIAN Li. New Type of Rough Probabilistic Truth Degree of Formulae in Rough Logic[J]. Acta Electronica Sinica, 2019, 47(5): 1174-1179.
DOI：

ZUO Wei-bing, LI Hui-hui, QIAN Li. New Type of Rough Probabilistic Truth Degree of Formulae in Rough Logic[J]. Acta Electronica Sinica, 2019, 47(5): 1174-1179. DOI： 10.3969/j.issn.0372-2112.2019.05.026.

摘要

本文以任意预粗糙代数为赋值格的粗糙逻辑为研究对象，基于格赋值理论，通过在预粗糙代数赋值格和全体公式集上分别建立概率测度，利用积分方法提出了粗糙逻辑中公式的一种新的粗糙概率真度.证明了粗糙概率真度的MP规则、HS规则和交推理规则，同时引入了公式的精确度和粗糙度的概念.基于粗糙概率真度，提出公式间的9种粗糙相似度和伪距离，进而提出3种近似推理模式，研究了相关性质.将计量逻辑学中的相关理论推广到以预粗糙代数为赋值格的粗糙逻辑上，为基于粗糙概率真度的程度化推理提供了一种可能的框架.

Abstract

In this paper

based on lattice evaluation theory and by defining probality measure in pre-rough algebra evaluation lattice and set of all formulae respectively

the new type of rough probabilistic truth degree of formulae in rough logic is introduced by the integral method.The MP rule

HS rule and meet inference of rough probabilistic truth degree are proved

the concept of accuracy degree and roughness degree of fomulae are introduced also.At the meantime

the concept of rough similarity degree and pseudo-distances between formulae are introduced and three different kinds of approximate reasoning models are estabished.The theory of quantitative logic is expanded to rough logic

which makes it possible in graded reasoning in rough logic.

关键词

Keywords

references

Views

240

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

A Fast Approximate Reasoning Method in Hierarchical DSmT ( B)

A Fast Approximate Reasoning Method in Hierarchical DSmT(A)

An DSmT Approximate Reasoning Method on the Condition of Non-zero Multiple Focal Elements

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

Graded Method of Boolean Semantics

Related Author

Jean Dezert

WU Xue-jian

YANG Wei-dong

LI Xin-de

WU Xue-jian

MENG Zheng-da

HUANG Xin-han

DEZERT Jean

Related Institution

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

Key Laboratory of Measurement and Control of CSE (School of AutomationSoutheast University)Ministry of EducationNanjingJiangsu 210096China

ONERA(The French Aerospace Lab),29 Av.de la Division Leclerc,Chatillon

Key Laboratory of Measurement and Control of CSE (School of Automation,Southeast University),Ministry of Education

Department of Control Science and Control EngineeringHuazhong University of Science and TechnologyWuhanHubei 430074China

⁰