Borel Probabilistic Rough Truth Degree of Formulae in Rough Logic
Author:
Affiliation:

Clc Number:

Fund Project:

  • Article
  • |
  • Figures
  • |
  • Metrics
  • |
  • Reference
  • |
  • Related
  • |
  • Cited by
  • |
  • Materials
  • |
  • Comments
    Abstract:

    This paper introduces the notion of the Borel probabilistic rough truth degree of a formula in a special kind of rough logic, by employing Borel probability measures on the valuation set endowed with the usual product topology. It facilitates a special form of rough logic with integration to quantitative logic. The axiomatic definition of probabilistic rough truth degree is given and its representation theorem is also presented. The proposed notion of Borel probabilistic rough truth degree can be regarded as the quantitative analysis of rough logic, as well as the advancing research of the existing notion of truth degree from rough set perspective. Based upon the fundamental notion of rough truth degree, some graded versions of the existing notions, including the roughness degree, accuracy degree and the rough similarity degree, are also presented. Subsequently, three different kinds of approximate reasoning models are established. The obtained results achieve a combination of rough logic and quantitative logic and provide a possible framework for rough truth based approximate reasoning.

    Reference
    Related
    Cited by
Get Citation

折延宏,贺晓丽.粗糙逻辑中公式的Borel型概率粗糙真度.软件学报,2014,25(5):970-983

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:October 20,2012
  • Revised:June 09,2013
  • Adopted:
  • Online: May 04,2014
  • Published:
You are the firstVisitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063