DocumentCode :
2155882
Title :
Quasi-truth Degree of Formula in Lukasiewicz 3-valued Logic System
Author :
Zuo, Weibing
Author_Institution :
Coll. of Math. & Inf. Sci., North China Univ. of Water Conservancy & Hydroelectric Power, Zhengzhou, China
Volume :
2
fYear :
2010
fDate :
26-28 Feb. 2010
Firstpage :
229
Lastpage :
233
Abstract :
For the approximate reasoning method is extended to general probability space, we define three-valued logic (p,q,r) measure in discrete probability space and quasi-truth degree of formula in Lukasiewicz 3-valued logic system which is popularized from truth degree of formula. We also prove that the set of quasi-truth degree of all formulas in the range of [0,1] is dense and give the general expression of quasi-truth degree when (p,q,r)=(1/6,2/6,3/6) and (p,q,r)=(1/7,2/7,4/7). Finally, we define similarity degree between formulas and a kind of pseudo-distance in the set of all formulas, so provide a possible structure of approximate reasoning theory.
Keywords :
inference mechanisms; multivalued logic; probability; Lukasiewicz 3-valued logic system; approximate reasoning method; discrete probability space; quasi-truth degree; Cost accounting; Educational institutions; Extraterrestrial measurements; Genetic expression; Information science; Logic; Mathematics; Power measurement; Q measurement; Water conservation; approximate reasoning; quasi-truth degree; similarity degree; three-valued logic (p,q,r) measure;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computer and Automation Engineering (ICCAE), 2010 The 2nd International Conference on
Conference_Location :
Singapore
Print_ISBN :
978-1-4244-5585-0
Electronic_ISBN :
978-1-4244-5586-7
Type :
conf
DOI :
10.1109/ICCAE.2010.5451477
Filename :
5451477
Link To Document :
بازگشت