DocumentCode
547347
Title
A graded method for reasoning about n-valued R0 propositional logic
Author
Lan, Qian ; Ma, Teng
Author_Institution
Sch. of Civil Eng., Lanzhou Univ. of Technol., Lanzhou, China
Volume
3
fYear
2011
fDate
10-12 June 2011
Firstpage
418
Lastpage
421
Abstract
The concept of pure truth degrees of propositions in the n-valued R0 logic system is introduced by means of infinite product of uniformly distributed probability spaces of cardinal n. Similarity degrees among formulas are proposed and a pseudo-metric is defined therefrom on the set of formulas. In the end, two kinds of approximate reasoning scheme are given and hence another possible framework suitable for developing graded reasoning in n-valued R0 propositional logic is established.
Keywords
fuzzy logic; fuzzy set theory; inference mechanisms; probability; uncertainty handling; approximate reasoning scheme; cardinal space; distributed probability; graded method; infinite product; n-valued R0 propositional logic system; pseudo-metric; Artificial intelligence; Atomic measurements; Cognition; Cost accounting; Fuzzy sets; approximate reasoning; pure truth degree; similarity degree;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Science and Automation Engineering (CSAE), 2011 IEEE International Conference on
Conference_Location
Shanghai
Print_ISBN
978-1-4244-8727-1
Type
conf
DOI
10.1109/CSAE.2011.5952710
Filename
5952710
Link To Document