DocumentCode
2040324
Title
A quantitative method of n-Valued R0 propositional logic
Author
Lan, Qian ; Li, Jun
Author_Institution
Sch. of Civil Eng., Lanzhou Univ. of Technol., Lanzhou, China
Volume
1
fYear
2010
fDate
10-12 Aug. 2010
Firstpage
65
Lastpage
68
Abstract
By means of infinite product of uniformly distributed probability spaces of cardinal n the concept of pure truth degrees of propositions in the n-valued R0 logic system is introduced in the present paper. Inference rules of pure truth degrees are obtained. Moreover, similarity degrees among formulas are proposed and a pseudo-metric is defined therefrom on the set of formulas, and hence a possible framework suitable for developing approximate reasoning theory in n-valued R0 propositional logic is established.
Keywords
fuzzy set theory; inference mechanisms; truth maintenance; approximate reasoning; distributed probability spaces; fuzzy set theory; inference rule; n-valued R0 propositional logic; pseudometric; pure truth degree; quantitative method; Calculus; Cognition; Cost accounting; Fuzzy set theory; Fuzzy sets; Measurement; approximate reasoning; pure truth degree; similarity degree;
fLanguage
English
Publisher
ieee
Conference_Titel
Fuzzy Systems and Knowledge Discovery (FSKD), 2010 Seventh International Conference on
Conference_Location
Yantai, Shandong
Print_ISBN
978-1-4244-5931-5
Type
conf
DOI
10.1109/FSKD.2010.5569753
Filename
5569753
Link To Document