Theory of truth degrees in three valued formed system RSL

Authors:
Huan Liu;Yingcang Ma;Xuezhen Dai
Affiliations:
School of Science, Xi'an Polytechnic University, Xi'an, China;School of Science, Xi'an Polytechnic University, Xi'an, China;School of Science, Xi'an Polytechnic University, Xi'an, China
Venue:
RSKT'12 Proceedings of the 7th international conference on Rough Sets and Knowledge Technology
Year:
2012

Citing 6
Cited 0

Rough sets through algebraic logic

Fundamenta Informaticae - Special issue: to the memory of Prof. Helena Rasiowa
A logic for rough sets

Theoretical Computer Science
Rough Sets: Theoretical Aspects of Reasoning about Data

Rough Sets: Theoretical Aspects of Reasoning about Data
Logic for Rough Truth

Fundamenta Informaticae
Quantitative logic

Information Sciences: an International Journal
Rough Truth Degrees of Formulas and Approximate Reasoning in Rough Logic

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

By means of the function induced by a logical formula A, the concept of truth of the logical formula A is introduced in three valued formed system RSL, and some reasoning rules of truth degree based on the logic system are given. Moreover, the similarity degree and pseudo-distance between two formulas are defined by using the truth degree concept, and their properties are discussed. This offers a theory framework for approximate reasoning in three valued formed system RSL.