Title :
Randomized Truth Degree of Propositions in Classical Logic System
Author :
Zuo, Weibing ; Lou, Yan
Author_Institution :
Coll. of Math. & Inf. Sci., North China Univ. of Water Conservancy & Hydroelectric Power, Zhengzhou, China
Abstract :
Defines two-valued logic p-measure in probability space whose power is 2 and randomized truth degree of propositions in classical logic system which is popularized from truth degree of propositions (see Wang Guojun in Science in China (series A) 45(9): 1106-1116, 2002). This paper also testifies that the set of randomized truth degree of all formulas in the range of is dense when p = 1/3, and gives the general expression of formula randomized truth degree. It defines similarity degree between formulas using randomized truth degree, and reduces a kind of pseudo-distance in the set of all formulas, so provides a possible structure of proximity reasoning theory.
Keywords :
formal logic; inference mechanisms; random processes; classical logic system; probability space; proximity reasoning theory; randomized truth degree proposition; two-valued logic p-measure; Artificial intelligence; Educational institutions; Extraterrestrial measurements; Fuzzy logic; Fuzzy set theory; Fuzzy sets; Information science; Mathematics; Probabilistic logic; Time measurement;
Conference_Titel :
Information Engineering and Computer Science, 2009. ICIECS 2009. International Conference on
Conference_Location :
Wuhan
Print_ISBN :
978-1-4244-4994-1
DOI :
10.1109/ICIECS.2009.5365170
