Title :
Quasi-truth Degree of Formula in Godel 3-Valued Logic System
Author_Institution :
Coll. of Math. & Inf. Sci., North China Univ. of Water Conservancy & Hydroelectric Power, Zhengzhou, China
Abstract :
The truth degree of formula is an important research content of Quantitative Logic, approximate reasoning based on the truth degree is a new reasoning mode. In this paper, we define three-valued logic (p, q, r) measure in discrete probability space and quasi-truth degree of formula 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 when (p, q, r)=(1/6,1/3,1/2) and give the general expression of quasi-truth degree. 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; probabilistic logic; ternary logic; 3-valued logic system; approximate reasoning theory; discrete probability space; pseudo distance; quantitative logic; quasitruth degree; Algebra; Atomic measurements; Cost accounting; Extraterrestrial measurements; Logic; Power engineering computing; Q measurement; Roentgenium; Sea measurements; Underwater communication; approximate reasoning; q; quasi-truth degree; r) measure; similarity degree; three-valued logic (p;
Conference_Titel :
Innovative Computing & Communication, 2010 Intl Conf on and Information Technology & Ocean Engineering, 2010 Asia-Pacific Conf on (CICC-ITOE)
Conference_Location :
Macao
Print_ISBN :
978-1-4244-5634-5
Electronic_ISBN :
978-1-4244-5635-2
DOI :
10.1109/CICC-ITOE.2010.74
