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
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;
Conference_Titel :
Computer Science and Automation Engineering (CSAE), 2011 IEEE International Conference on
Conference_Location :
Shanghai
Print_ISBN :
978-1-4244-8727-1
DOI :
10.1109/CSAE.2011.5952710
